Stories
Slash Boxes
Comments
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

The Fine Print: The following comments are owned by whoever posted them. We are not responsible for them in any way.
 Full
 Abbreviated
 Hidden
More | Login | Reply
Loading... please wait.
  • by mary.poppins (3530) on 2004.03.11 15:38 (#29319) Homepage Journal
    ML, particularly ocaml [inria.fr].

    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.