NOTE: use Perl; is on undef hiatus. You can read content, but you can't post it. More info will be forthcoming forthcomingly.
All the Perl that's Practical to Extract and Report
Stories, comments, journals, and other submissions on use Perl; are Copyright 1998-2006, their respective owners.
ML (Score:1)
For good performance (esp. memory usage), the compiler needs
static typing. For the programmer, static typing
necessitates type inference. Static typing without type
inference leads to the irritating verbosity of C or Java.
I'd love to see a type-inferenced version of C, actually,
for those programs where ocaml is too high-level -- for
example, kernels.
Reply to This