From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 BE62FBBAF for ; Mon, 9 Aug 2010 17:03:36 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: At4CAAq1X0zRVdg0kGdsb2JhbACgPQgVAQEBAQkJDAcRAx+oX4kQghGFcy6IVAEBAwWFNQSET4Rs X-IronPort-AV: E=Sophos;i="4.55,343,1278280800"; d="scan'208";a="55234382" Received: from mail-qw0-f52.google.com ([209.85.216.52]) by mail3-smtp-sop.national.inria.fr with ESMTP; 09 Aug 2010 17:03:36 +0200 Received: by qwf7 with SMTP id 7so8699346qwf.39 for ; Mon, 09 Aug 2010 08:03:35 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:received:in-reply-to :references:date:message-id:subject:from:to:content-type; bh=FBqFapNtWz+N4J6pTcbRKnb2nalzawPkSuiSEhF4k3o=; b=poP3T9hbafMmHue0pTPX1UvVcLgVqNvhUrs0wwG0AmdfVJtDG1GmMB0R9AhHEgxyAG j1snAxMsGOwubpaUWXOcPYAiik+8TyXc/2qr2lqLE/y/dv/Gf7mgBY/r/th7F010k8A8 KQlUauryBwwx6WmpxvdGrbvIKET+AFtCyUTFQ= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; b=WqXZZl4SfbJDN6FXQ8qK1JkklaOI2a2de7f9DSOQaFguX9toCqWsMB9u8hRJMHqR7p 1UpNii+BOEk2K96ejTVL3qg5FyRbuJh0xcz+oZs1+a4xTlXECt/4BMrkkkqL15z3QHEa cO89e882J1zfaB2UIkgQ11HEhM/Rv6S9XKmZA= MIME-Version: 1.0 Received: by 10.229.1.163 with SMTP id 35mr7181364qcf.299.1281366215503; Mon, 09 Aug 2010 08:03:35 -0700 (PDT) Received: by 10.229.217.71 with HTTP; Mon, 9 Aug 2010 08:03:34 -0700 (PDT) In-Reply-To: References: Date: Tue, 10 Aug 2010 01:03:34 +1000 Message-ID: Subject: Re: [Caml-list] interest in a much simpler, but modern, Caml? From: ivan chollet To: caml-list@yquem.inria.fr, Cedric Cellier Content-Type: multipart/alternative; boundary=0016367d5bd81a2fef048d65520a X-Spam: no; 0.00; ocaml:01 runtime:01 ocaml:01 runtime:01 caml-list:01 caml:02 caml:02 seems:03 seems:03 guess:04 guess:04 simpler:05 profitable:94 profitable:94 teaching:08 --0016367d5bd81a2fef048d65520a Content-Type: text/plain; charset=ISO-8859-1 It guess it would, however it seems to me that such a task would be far too ambitious. Speaking for myself, I could relatively quickly write a VM for caml, but writing the ocaml runtime design documents is something that would take me way too much time. Most of ML users don't have access to the original caml designers so we have no way to understand their design choices fully. Having said that, the two tasks are non exclusive so we can definitely start a project with all these goals in mind. -[ Mon, Aug 09, 2010 at 04:37:36PM +1000, ivan chollet ]---- > 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. Don't you think it would be a more profitable work to document the existing runtime instead ? > > --0016367d5bd81a2fef048d65520a Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable It guess it would, however it seems to me that such a task would be far too= ambitious.
Speaking for myself, I could relatively quickly write a VM for caml, but writing the ocaml runtime design documents is something that would take me way=20 too much time. Most of ML users don't have access to the original caml= =20 designers so we have no way to understand their design choices fully.
H= aving said that, the two tasks are non exclusive so we can definitely start= a project with all these goals in mind.

-[ Mon, Aug 09, 2010 at 04:37:36PM +1=
000, ivan chollet ]----
> The existing ocaml runtime is
> amazi=
ng 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 rea=
l
> community project with real documentation might be interesting fo=
r teaching
> purposes but also in production environments.
> If=
 enough people are interested, I'll be happy to contribute or to start<=
br>
> such a project.

Don't you think it would be a more profitab=
le work to document the
existing runtime instead ?



--0016367d5bd81a2fef048d65520a--