On Mon, Apr 9, 2012 at 9:59 PM, Guillaume Yziquel < [email protected]> wrote:
> Le Monday 09 Apr 2012 à 21:31:32 (+0800), Bennie Kloosteman a écrit : > > It seems to me sometimes we try to achieve almost perfection at the > > outset . but what is already there is sufficient , functional > > , useful but not mature. Javascript serves as a good example from > > humble beginnings its becoming quite serviceable now, we have some > > "dont do this" habits , decent libs like jquery , refined language > > specs and decent compilers. > > Achieving almost perfection seems to me a requirement for an internal > language representation. Type systems need to be perfect from the > outset, and any type refinement should also aim at perfection. The big > issue > to me is that all these internal aspects need to be perfect, while the > language around it need not be. This brings me to thing that what is > needed is not necessarily a language, but a "perfect" modular framework > for building a language (and not necessarily a compiler, though > compiling issues like bit management need to be thought out very well). > I agree but i wasn't referring to the type system ( which is type classes with some addition and work) but in the corner cases like the support for virtual and overlaps with OO and even conflicting types ( which Haskell lives with) Ben
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
