kouzdra (kouzdra) wrote in ru_declarative,
kouzdra
kouzdra
ru_declarative

MLton

А никто не имел дела с этим:
What is MLton?

MLton is an open-source, whole-program, optimizing Standard ML compiler.
...
Features:
...
Untagged and unboxed native integers, reals, and words.

In MLton, integers and words are 8 bits, 16 bits, 32 bits, and 64 bits and arithmetic does not have any overhead due to tagging or boxing. Also, reals (32-bit and 64-bit) are stored unboxed, avoiding any overhead due to boxing.

Unboxed native arrays.

In MLton, an array (or vector) of integers, reals, or words uses the natural C-like representation. This is fast and supports easy exchange of data with C. Monomorphic arrays (and vectors) use the same C-like representations as their polymorphic counterparts.
А то я когда-то очень давно на него смотрел - но тогда он был откровенно недоношенным, а щас на нем даже какие-то не очень тривиальные проекты вроде пишут.

Выделенные фичи в общем-то привлекательны.
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 3 comments