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).
Perfection for a full-blown language seems to me like a dead end.
Perfection for an internal language, and a framework to work on type
systems seems to me achievable.
For other issues, like JIT compile-time/run-time issues, there are
pieces of the framework already usable, such as LLVM. We need a modular
way to hook that in a "perfect" compiler-developement-framework. Not
necessarily much more. Syntactic niceties can be built on top, provided
that such a framework in done well enough.
To me, that's kind of a sexy idea.
As to type classes, I do like to Agda way.
--
Guillaume Yziquel
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev
