anybody have a feel of how hard it is generally hand-wavingly speaking
to add type inference to a language (i have in mind an oo/functional
one, actually, probably not just functional) later? as in, i'm not
smart enough to do the type inference implementation (which probably
tells you i shouldn't be thinking of making a language in the first
place, but i'm ignoring that during this fantasy thinking stage) but
don't want to create something which utterly precludes it, because i
really value it. doesn't have to be HM, could be flow based a la
Scala.
i do believe that overall creating a language is bloody hard, to
balance all the things you want to accomplish. so i don't expect i'd
really get anywhere, but on the other hand day in day out i'm always
frustrated by every other language on earth ;-)
|
