From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id D619E7EE51 for ; Tue, 21 May 2013 17:14:42 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=pra; client-ip=98.138.90.59; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=mailfrom; client-ip=98.138.90.59; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@nm27-vm1.bullet.mail.ne1.yahoo.com) identity=helo; client-ip=98.138.90.59; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="postmaster@nm27-vm1.bullet.mail.ne1.yahoo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApsBABqOm1Fiilo7dWdsb2JhbABMDYQHrmWSG4EJFg4BCgwKCRQDJYIeBQEBBAELIBUBAhUcBgEDCwYFRi8BDgEGEgYnB4dfAQECCQYEqicJgnSFDgEjAwEjA4hcAQYKAQEBjlo6g1QDiR+OIIYXL1KIUm+EDw X-IPAS-Result: ApsBABqOm1Fiilo7dWdsb2JhbABMDYQHrmWSG4EJFg4BCgwKCRQDJYIeBQEBBAELIBUBAhUcBgEDCwYFRi8BDgEGEgYnB4dfAQECCQYEqicJgnSFDgEjAwEjA4hcAQYKAQEBjlo6g1QDiR+OIIYXL1KIUm+EDw X-IronPort-AV: E=Sophos;i="4.87,714,1363129200"; d="scan'208";a="18351510" Received: from nm27-vm1.bullet.mail.ne1.yahoo.com ([98.138.90.59]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 21 May 2013 17:14:41 +0200 Received: from [98.138.90.48] by nm27.bullet.mail.ne1.yahoo.com with NNFMP; 21 May 2013 15:14:39 -0000 Received: from [98.138.89.248] by tm1.bullet.mail.ne1.yahoo.com with NNFMP; 21 May 2013 15:14:39 -0000 Received: from [127.0.0.1] by omp1040.mail.ne1.yahoo.com with NNFMP; 21 May 2013 15:14:39 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 712612.9417.bm@omp1040.mail.ne1.yahoo.com Received: (qmail 62645 invoked by uid 60001); 21 May 2013 15:14:39 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1369149279; bh=wdxZQDsac2g4gGjZxsXihsolDkxLYgbdU2hXPFYg+Ms=; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:References:Message-ID:Date:From:Reply-To:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=BZWQyDhLReK67EZDSn4ewXwZp3K5wYCGeDGyCMuGE4NczAmPU0zRex8f5Bqmtba8Th6I4OCI9RsuoK6qKpxgrxpA4w0B7Xq1+deKRMLJQQdifDsH34x6/7k62Sc6DNVGssFcf2xVLQPCVZ9ii0mlTa7JxMXlmev1etOGu0MqG7k= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:References:Message-ID:Date:From:Reply-To:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=MHPW+0pj29hQlE4qmQf5JTXocpzgPYBzRta7mnatZls2eNI5GwCE5+/GnCWWwhxId+9HdbPv4IqajvQ21jIFiSlEuptZMIedh2i5JRnFgvLPoDWuTd397Q8K3IfOf0u7T/julmBFUvZjo+jf3+Y1gDJZmZ9N/qZvGM+9qUae60E=; X-YMail-OSG: mppxTkAVM1mLN1ho6Q4rzf.78GQHzs9RUu.OxHc1aeJOPoe n9WUnoqAYxUusYiRNVlpBnDRlitsGLibsDyOZ4tDMJ_KISVOGNPOAXSxbYOt GZHnFWPGV36J77v_hSGtvPDk7o.67angVXzUHbjW5l1oe.4AQffF3uShIUnq nFwBZFuVTMEcAFvo4cpO9w5FZyD.p8V6EyNU_8UgZvoeI58T7vrCyhYXU7Pq 4GJW9iKnAbyIENdv0NAY_M.BNDxloFo9KQT6pgxo.iw5ZEe0aspqlLCmMPy. 3mSjGlgF8f0pZJH5tkY7puSoyi8h.r5grlzR2pBiDTCH6EaKskh5XKWydt0M tw5dZRHgDlzH61HLvwQOqdtt5reDj4l2ktdk3JUb7qUWnQcxzzwaf2wPDl7u VEkFNqjr4AQbbF6mR96l4eQy3zk2hxj5k27DVNHZmuV0U30w.oMZSzVlIL_v jPum6p5dta25f_0INVWRrbHXmfblKpujm5.AU9HSwkTCRd3I4bYZAUl2xLdJ lgBCMMMgUzqe3WpGXIodOF2ARKqnx5UJF4ehbAJS1 Received: from [195.23.39.179] by web120402.mail.ne1.yahoo.com via HTTP; Tue, 21 May 2013 08:14:39 PDT X-Rocket-MIMEInfo: 002.001,SGksCgo.IElNRSB0aGUgT0NhbWwgY29udmVudGlvbiBpcyBhbiBlbmRsZXNzIHNvdXJjZSBvZiBjb25mdXNpb24gZm9yCgo.IHByb2dyYW1tZXJzIGNvbWluZyBmcm9tIG90aGVyIGxhbmd1YWdlcy7CoCBGb3IgZXhhbXBsZSBjb21wYXJlZCB0bwo.IEMrKydzIHZlY3RvcjxUPi4KPiAKPiBCeSB0aGUgd2F5LCB3aHkgZG9lcyBNZXp6byBoYXZlIHRvIGJlIGEgY29tcGxldGVseSBuZXcgbGFuZ3VhZ2U_Cj4gSnVzdCBjaGFuZ2UgdGhlIHN5bnRheCBvZiBPQ2FtbCBhbmQgZm9yY2UgcGVvcGxlIHRvIHB1dDoKClcBMAEBAQE- X-Mailer: YahooMailWebService/0.8.142.542 References: <1369060290.43256.YahooMailNeo@web120405.mail.ne1.yahoo.com> <1369066728.52452.YahooMailNeo@web120405.mail.ne1.yahoo.com> <20130521142209.GC9228@annexia.org> Message-ID: <1369149279.61746.YahooMailNeo@web120402.mail.ne1.yahoo.com> Date: Tue, 21 May 2013 08:14:39 -0700 (PDT) From: Dario Teixeira Reply-To: Dario Teixeira To: OCaml mailing-list In-Reply-To: <20130521142209.GC9228@annexia.org> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] The rec/nonrec debate Hi, > IME the OCaml convention is an endless source of confusion for > programmers coming from other languages.=A0 For example compared to > C++'s vector. >=20 > By the way, why does Mezzo have to be a completely new language? > Just change the syntax of OCaml and force people to put: Well, the Mezzo team can correct me on this, but my impression is that Mezzo is a research project in a preliminary stage.=A0 They have a new type system based on permissions, which seems like an interesting approach to manage side-effects without the disadvantages of monads or the solutions used by languages such as Clean or Disciple.=A0 But of course, the question remains whether this new approach will prove to be convenient in practice.=A0 There's always the risk of straying too much away from the convenience of ML, and creating a type system which though more powerful than ML's, has the disadvantage that requires too many type annotations (type inference may not be easy in your new type system), or produces undecipherable error messages... In any case, Mezzo is very different from OCaml, so it makes sense to call it a new language.=A0 And while they're at it, it also makes sense to start afresh with a cleaner syntax which incorporates the lessons that the Caml community learnt over the past couple of decades -- like rec/nonrec/shadowing situation, or making type and value declarations uniformly head-first. Cheers, Dario