Re: [koneki-dev] The Record-block/Type-block

[Fabien Fleutot <fleutot+koneki@xxxxxxxxx>]

On Thu, Mar 1, 2012 at 8:59 AM, Hadriel Kaplan <hadrielk@xxxxxxxxx> wrote:

But due to poor design [...] some APIs have many different enum lists/types they put in the same sub-table/global.

Indeed, there are scary stuff in the wild :) However I'd argue that:

• given how ambitious the project is, at the very least supporting such questionable designs shouldn't be a priority;
• if writing correct code enables better IDE support, then a couple of people will start writing better code, and the world will be a slightly better place;
• it would be very great if, in the future, a lot of typing information was inferred from the code rather than mandatorily written down in the comments. The messier the type system, the harder inference becomes. I'd rather leave the door open for inference than help people write unidiomatic code!