From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 67132BBAF for ; Mon, 9 Aug 2010 17:00:29 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: At4CAM+0X0zRVdi0kGdsb2JhbACgPQgVAQEBAQkJDAcRAx+oX4kQghGFcy6IVAEBAwWFNQSET4Rs X-IronPort-AV: E=Sophos;i="4.55,343,1278280800"; d="scan'208";a="56891260" Received: from mail-qy0-f180.google.com ([209.85.216.180]) by mail2-smtp-roc.national.inria.fr with ESMTP; 09 Aug 2010 17:00:28 +0200 Received: by qyk31 with SMTP id 31so6995656qyk.18 for ; Mon, 09 Aug 2010 08:00:28 -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:cc:content-type; bh=wIWOC1KkNcijAY+PkMWgYcBSwqhoIhv0myXhReYfUvI=; b=iM8cJGb1UmDSy9Awl1Tbk3d9Gfk6UVgAak/8bhiZ5bValobUja20Gv8uXBtCMPhc33 mqI1rl0PO2lCVb7fiKCUJwm/11Au0gTflN9I9J1CcxRVNXJqPJJxzqsVo00Uc4FYZMjT W8zxFQZpwCbF8P9txKGh+6OI8o7Kg89mXR67Y= 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 :cc:content-type; b=t67V22DbfP7hN6Z1GYRJYgQxjECNxKtRClsZfuBfdDLFVbdROfNG4ecIxQUrNJ+B7b aXIIQ9CXmUeSUvgYqpC+1h+jSOX2IdPYzDoK4X660TAWDdqnOhYNS+J+J8SapzQkhYRL sX3sVVp3aDjVBxa+LVbDI+zo3IVAAH4XpiWYU= MIME-Version: 1.0 Received: by 10.229.87.74 with SMTP id v10mr2562539qcl.38.1281366028000; Mon, 09 Aug 2010 08:00:28 -0700 (PDT) Received: by 10.229.217.71 with HTTP; Mon, 9 Aug 2010 08:00:26 -0700 (PDT) In-Reply-To: References: Date: Tue, 10 Aug 2010 01:00:26 +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 Cc: jeremy1@gmail.com Content-Type: multipart/alternative; boundary=0016364ef503ed2190048d6546f2 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 --0016364ef503ed2190048d6546f2 Content-Type: text/plain; charset=ISO-8859-1 It guess it would, but 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. -[ 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 ? > > --0016364ef503ed2190048d6546f2 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable It guess it would, but it seems to me that such a task would be far too amb= itious.
Speaking for myself, I could relatively quickly write a VM for c= aml, 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 o= riginal caml designers so we have no way to understand their design choices= fully.


-[=
 Mon, Aug 09, 2010 at 04:37:36PM +1000, ivan chollet ]----
> The exis=
ting ocaml runtime is
> amazing but it's definitely not very comm=
unity 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 ?



--0016364ef503ed2190048d6546f2--