From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 097CABBAF for ; Wed, 11 Aug 2010 15:19:35 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av4BAJtAYkxKfVIukGdsb2JhbACUPoteCBUBAQEBCQkMBxEDH6B7iyEBBY8nAQSFOoRfhBM X-IronPort-AV: E=Sophos;i="4.55,352,1278280800"; d="scan'208";a="55307698" Received: from mail-ww0-f46.google.com ([74.125.82.46]) by mail3-smtp-sop.national.inria.fr with ESMTP; 11 Aug 2010 15:19:34 +0200 Received: by wwb18 with SMTP id 18so76147wwb.3 for ; Wed, 11 Aug 2010 06:19:34 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=domainkey-signature:received:received:from:to:cc:references :in-reply-to:subject:date:organization:message-id:mime-version :content-type:content-transfer-encoding:x-mailer:thread-index :content-language; bh=rf6fb/5Lz5q8Fr1cjVxrltjBDUOM7jFMdIk1zVBk6RQ=; b=Ati3OwPFEj5YnKyYTfNpEQvXR33PFLInMliMir7rOq6sn11UqPh/Iz+nar4QJiCQ9a keS1RCGVVdhZv+nj34/jA5UdLBjcXHHw4870K7hXI0MtJlwvaH6oL7utDl0y8wXnmbBF MtI2FUqmCUaAoiBeprm9CuHbikdnkf3aQD94A= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=gamma; h=from:to:cc:references:in-reply-to:subject:date:organization :message-id:mime-version:content-type:content-transfer-encoding :x-mailer:thread-index:content-language; b=qTrlKyeAZLy7tMF/NsQeTCMI8k0wSTTrl8S4b6+YOrJHz5/ieD7tnsIPqaJa3Tbtwu 1MtkDnGoEHfjadbcJ+yuWB4WHHYVbKiaf9JY4g5w3kVD2ivxZhyzmBhwlSnZhEjnSeHp ptUKFTNefngSE6fHno7LOJTTjapMchmUNzt6w= Received: by 10.227.128.82 with SMTP id j18mr16512331wbs.36.1281532774447; Wed, 11 Aug 2010 06:19:34 -0700 (PDT) Received: from WinEight ([87.113.155.108]) by mx.google.com with ESMTPS id a1sm81540wbb.2.2010.08.11.06.19.33 (version=SSLv3 cipher=RC4-MD5); Wed, 11 Aug 2010 06:19:33 -0700 (PDT) From: Jon Harrop To: "'ivan chollet'" , Cc: References: In-Reply-To: Subject: RE: [Caml-list] interest in a much simpler, but modern, Caml? Date: Wed, 11 Aug 2010 14:19:06 +0100 Organization: Flying Frog Consultancy Message-ID: <03fc01cb3957$c79e2800$56da7800$@com> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-Mailer: Microsoft Office Outlook 12.0 Thread-Index: Acs3jW0RrWcQWK9TSamOdZqs8P6BKQByFXUQ Content-Language: en-gb X-Spam: no; 0.00; ocaml:01 jocaml:01 runtimes:01 ocaml:01 runtime:01 kloc:01 compilation:01 native-code:01 cheers:01 3.5:98 garbage:01 wrote:01 caml-list:01 caml:02 caml:02 Ivan wrote: > 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.=A0 I'm not sure 3.5 implementations over 25 years is a "lot" of interest = but maybe if you add HLVM... ;-) > Well, now I'm thinking that the community should start a project like Parrot (with JIT optionally) > but dedicated to ML. I already did something like this called HLVM: http://www.ffconsultancy.com/ocaml/hlvm/ > 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. Feel free to ask me anything about HLVM's design. We have a dedicated mailing list: https://lists.forge.ocamlcore.org/pipermail/hlvm-list/ > A real community project with real documentation might be interesting = for teaching purposes but also > in production environments. HLVM might be interesting for teaching purposes because it is tiny = (2kLOC) and comprehensible whilst providing advanced features like JIT = compilation (for a native-code REPL!) and a multicore-capable garbage collector (in = only 100LOC!). HLVM should also be suitable for production environments. I had actually forgotten about the mincaml project but mincaml's = front-end with HLVM's back-end sounds like a match made in heaven... Cheers, Jon.