Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
The state of ML: multi-threaded, saved state and support platforms
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2009-06-11 (14:04)
From: Lucas Dixon <ldixon@i...>
Subject: The state of ML: multi-threaded, saved state and support platforms

I have just been trying to figure out what the state of the various ML
implementations  is.

1. Which implementations have native system threads with shared memory?

PolyML is the only one I know of, are there others? (OCaml does not have
this as I understand it... do correct me if I'm wrong)

2. The ability to have a saved state was a neat feature of earlier ML
systems, is PolyML also the only actively maintained system which
supports this?  Or does OCaml have something similar I'm not aware of?

3. Lastly, can you help me get a good picture of the state of support
for ML systems:

OCaml: is this still supported by INRIA? what is the level of support?

MLton: ?

PolyML: unofficial support

MLKit: ?

F#: Miscrosoft


4. I'm also interested in interoperability: what systems can OCaml
easily interoperate with? What about the other systems?


The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.