From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.5 required=5.0 tests=SPF_SOFTFAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id A11C2BC37 for ; Thu, 11 Jun 2009 16:04:23 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnQBADirMEqB1w3NkWdsb2JhbACYPwEBAQEJCwoHEgW2XIQKBQ X-IronPort-AV: E=Sophos;i="4.42,202,1243807200"; d="scan'208";a="29327702" Received: from nougat.ucs.ed.ac.uk ([129.215.13.205]) by mail3-smtp-sop.national.inria.fr with ESMTP; 11 Jun 2009 16:04:22 +0200 Received: from nutty.inf.ed.ac.uk (nutty.inf.ed.ac.uk [129.215.33.33]) by nougat.ucs.ed.ac.uk (8.13.8/8.13.4) with ESMTP id n5BE4LxD011521 for ; Thu, 11 Jun 2009 15:04:21 +0100 (BST) Received: from haggis.inf.ed.ac.uk (haggis.inf.ed.ac.uk [129.215.24.23]) by nutty.inf.ed.ac.uk (8.13.8/8.13.8) with ESMTP id n5BE4L5m024055 for ; Thu, 11 Jun 2009 15:04:21 +0100 Message-ID: <4A310EE5.7070704@inf.ed.ac.uk> Date: Thu, 11 Jun 2009 15:04:21 +0100 From: Lucas Dixon User-Agent: Thunderbird 2.0.0.19 (X11/20090107) MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: The state of ML: multi-threaded, saved state and support platforms X-Enigmail-Version: 0.95.7 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Edinburgh-Scanned: at nougat.ucs.ed.ac.uk with MIMEDefang 2.60, Sophie, Sophos Anti-Virus, Clam AntiVirus Content-Disposition: inline X-Scanned-By: MIMEDefang 2.60 on 129.215.13.205 X-Spam: no; 0.00; ocaml:01 ocaml:01 lucas:98 dixon:98 lucas:98 threads:01 sml:01 supported:02 native:03 lastly:04 shared:06 inria:06 correct:08 i'm:09 i'm:09 Hello, 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 SML.NET: ? 4. I'm also interested in interoperability: what systems can OCaml easily interoperate with? What about the other systems? Thanks, lucas -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.