Linux compiler for ML?

Unknown

unread,

Aug 31, 2012, 4:18:54 PM8/31/12

to

Harper seems very enthusiatic about ML.
But I'm getting tired of these claims of 'because language X has nice
algebraic properties, it's suitable for proving correctness'; without
ANY examples to prove the claim.

The wikipedia [there seem to be several] is unduly informal/chatty ?!

Is there a free/online linux-based version, with good documentation?

== TIA.

Paul Rubin

unread,

Aug 31, 2012, 4:40:51 PM8/31/12

to

Unknown <d...@gmail.com> writes:
> Harper seems very enthusiatic about ML.

> Is there a free/online linux-based version, with good documentation?

There's a lot of them. Did you try a web search? Did you look at at
the Standard ML web site (http://standardml.org/) linked from Harper's
site? It has links to several implementations.

There is also OCaml, a dialect considered by some to be more user
friendly. You can find it with a web search.

Florian Weimer

unread,

Sep 1, 2012, 9:46:25 AM9/1/12

to

* Unknown:

> Is there a free/online linux-based version, with good documentation?

The main contenders are SML/NJ, PolyML and MLton. Development
activity varies, and the implementations have vastly difference
performance characteristics.

Objective Caml is a different language. I'm not sure if it meets
Harper's approval (mutable string literals, comparison operators which
aren't type-safe, etc.).

Torben �gidius Mogensen

unread,

Sep 4, 2012, 4:13:25 AM9/4/12

to

Florian Weimer <f...@deneb.enyo.de> writes:

> * Unknown:
>
>> Is there a free/online linux-based version, with good documentation?
>
> The main contenders are SML/NJ, PolyML and MLton. Development
> activity varies, and the implementations have vastly difference
> performance characteristics.

There is also Moscow ML, which is a light-weight ML system. It may not
generate as fast code as the other compilers, but it compiles faster.

Additionally, there is the ML Kit compiler. It is best known for
supporting region-based memory management as an alternative to (or
combined with) garbage collection. There is a variant of the Kit
compiler that generates Javascript, so you can run programs in a
browser.

> Objective Caml is a different language. I'm not sure if it meets
> Harper's approval (mutable string literals, comparison operators which
> aren't type-safe, etc.).

Also, Harper definitely does not approve of the object-oriented features
of O'Caml.

Torben

M. Strobel

unread,

Apr 25, 2013, 5:20:07 AM4/25/13

to

Am 31.08.2012 22:40, schrieb Paul Rubin:
> Unknown <d...@gmail.com> writes:
>> Harper seems very enthusiatic about ML.
>> Is there a free/online linux-based version, with good documentation?
>
> There's a lot of them. Did you try a web search? Did you look at at
> the Standard ML web site (http://standardml.org/) linked from Harper's
> site? It has links to several implementations.

standardml.org: Last modified: Fri Jul 18 11:12:59 PDT 2002

This lines up nicely with my prompt answer...

/Str.

Friedrich Dominicus

unread,

Apr 25, 2013, 8:12:16 AM4/25/13

to

"M. Strobel" <sorry_no_...@nowhere.dee> writes:

> Am 31.08.2012 22:40, schrieb Paul Rubin:
>> Unknown <d...@gmail.com> writes:
>>> Harper seems very enthusiatic about ML.
>>> Is there a free/online linux-based version, with good documentation?
>>
>> There's a lot of them. Did you try a web search? Did you look at at
>> the Standard ML web site (http://standardml.org/) linked from Harper's
>> site? It has links to several implementations.
>
> standardml.org: Last modified: Fri Jul 18 11:12:59 PDT 2002

maybe it's stable ;-)

>
> This lines up nicely with my prompt answer...

How about Ocaml instead?

Regards
Friedrich

--
Please remove just-for-news- to reply via e-mail.

M. Strobel

unread,

Apr 25, 2013, 4:15:16 PM4/25/13

to

Am 25.04.2013 14:12, schrieb Friedrich Dominicus:
> "M. Strobel" <sorry_no_...@nowhere.dee> writes:
>
>> Am 31.08.2012 22:40, schrieb Paul Rubin:
>>> Unknown <d...@gmail.com> writes:
>>>> Harper seems very enthusiatic about ML.
>>>> Is there a free/online linux-based version, with good documentation?
>>>
>>> There's a lot of them. Did you try a web search? Did you look at at
>>> the Standard ML web site (http://standardml.org/) linked from Harper's
>>> site? It has links to several implementations.
>>
>> standardml.org: Last modified: Fri Jul 18 11:12:59 PDT 2002
> maybe it's stable ;-)
>

q.e.d.

>>
>> This lines up nicely with my prompt answer...
> How about Ocaml instead?
>

Yes, Sir! And finally some informatics articles in french.

/Str.