From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 7188DBBAF for ; Mon, 9 Aug 2010 08:37:38 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: At4BACc/X0zRVdi0kGdsb2JhbACTUIxsCBUBAQEBCQkMBxEDH6hUiRCCEYUiLohUAQEDBYU1BIRPhGw X-IronPort-AV: E=Sophos;i="4.55,340,1278280800"; d="scan'208";a="65175755" Received: from mail-qy0-f180.google.com ([209.85.216.180]) by mail1-smtp-roc.national.inria.fr with ESMTP; 09 Aug 2010 08:37:37 +0200 Received: by qyk31 with SMTP id 31so6610651qyk.18 for ; Sun, 08 Aug 2010 23:37:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:received:date:message-id :subject:from:to:cc:content-type; bh=GhrK3UhpKog3aM3UBOxrWI5HRdd+VUwMOyA9Y9MHaJw=; b=mbVRgYiGDziBWbmAUYX3BOZv9T9SiykBi4We8iWmmwXYf9ZQVnPNKoLSSsyTDfbB0d +ZOJlPEIbBTkNxBatLYzxhQ0BIBZTExcxtCq5PC4Gf5Ls762RKfpLJDsGI/cSXyNN2T/ g7etmees82KH9915z+5iBIsbMXBKFNzBShlKo= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:cc:content-type; b=IC722jzJqYWV4W4Dwy78rc5BAgKFN85bO8j2LUOXMqfQuAE9NnYpM17ElqwNNvaFvc 4Ihtaa6XpnoPVNZL2nHI+9Xj7ZFD+FiIBlXDmtoVOZuIJh+sWRYbF5WVBGS/TF4VqhWN dkQvL3bJUNWtj9b+medhu2BoVy+JwHVXR+K/w= MIME-Version: 1.0 Received: by 10.224.122.234 with SMTP id m42mr8042146qar.235.1281335856870; Sun, 08 Aug 2010 23:37:36 -0700 (PDT) Received: by 10.229.217.71 with HTTP; Sun, 8 Aug 2010 23:37:36 -0700 (PDT) Date: Mon, 9 Aug 2010 16:37:36 +1000 Message-ID: Subject: Re: [Caml-list] interest in a much simpler, but modern, Caml? From: ivan chollet To: caml-list@yquem.inria.fr Cc: jeremy1@gmail.com Content-Type: multipart/alternative; boundary=00c09f89939b963994048d5e405a X-Spam: no; 0.00; ocaml:01 jocaml:01 runtimes:01 ocaml:01 runtime:01 jocaml:01 runtimes:01 runtime:01 caml-list:01 caml:02 caml:02 namely:02 namely:02 simpler:05 implement:06 --00c09f89939b963994048d5e405a Content-Type: text/plain; charset=ISO-8859-1 I have noted that there are now many implementation of OCaml. Namely : - caml light - jocaml - mincaml - your implementation ? etc. which means there is a lot of interest in implementing tools and runtimes for ML. I'm just saying this because I was planning to implement another VM for ML to address my own needs. Well, now I'm thinking that the community should start a project like Parrot (with JIT optionally) but dedicated to ML. The existing ocaml runtime is amazing but it's definitely not very community friendly and is in my opinion a bit hard to understand given the scarcity of design documents. A real community project with real documentation might be interesting for teaching purposes but also in production environments. If enough people are interested, I'll be happy to contribute or to start such a project. What do you think? --00c09f89939b963994048d5e405a Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable I have noted that there are now many implementation of OCaml. Namely :
= - caml light
- jocaml
- mincaml
- your implem= entation ?
etc.

which means there is a l= ot of interest in implementing tools and runtimes for ML.=A0
I'm just saying this because I was planning to implement another V= M for ML to address my own needs.
Well, now I'm thinking that= the community should start a project like Parrot (with JIT optionally) but= dedicated to ML. The existing ocaml runtime is amazing but it's defini= tely not very community friendly and is in my opinion a bit hard to underst= and given the scarcity of design documents. A real community project with r= eal documentation might be interesting for teaching purposes but also in pr= oduction environments.
If enough people are interested, I'll be happy to contribute or to= start such a project.
What do you think?


--00c09f89939b963994048d5e405a--