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 sympa.inria.fr (Postfix) with ESMTPS id A8EF97EE51 for ; Mon, 20 May 2013 16:31:34 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=pra; client-ip=98.138.91.133; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=mailfrom; client-ip=98.138.91.133; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@nm3-vm3.bullet.mail.ne1.yahoo.com) identity=helo; client-ip=98.138.91.133; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="postmaster@nm3-vm3.bullet.mail.ne1.yahoo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgkFABMzmlFiiluFd2dsb2JhbABADQ0WgyJPrlGTHRYOAQoMCgkUKIIaFyAVAQIVIgEUegEOAQYYJ4dmAQECDwQIM5phhmmITAmCdIQRASMDASMDiHEBBgoBAQGNbIUDA4kfjiCBIoR1L1KIUm+EDw X-IPAS-Result: AgkFABMzmlFiiluFd2dsb2JhbABADQ0WgyJPrlGTHRYOAQoMCgkUKIIaFyAVAQIVIgEUegEOAQYYJ4dmAQECDwQIM5phhmmITAmCdIQRASMDASMDiHEBBgoBAQGNbIUDA4kfjiCBIoR1L1KIUm+EDw X-IronPort-AV: E=Sophos;i="4.87,707,1363129200"; d="scan'208";a="15034386" Received: from nm3-vm3.bullet.mail.ne1.yahoo.com ([98.138.91.133]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 20 May 2013 16:31:32 +0200 Received: from [98.138.90.53] by nm3.bullet.mail.ne1.yahoo.com with NNFMP; 20 May 2013 14:31:30 -0000 Received: from [98.138.89.233] by tm6.bullet.mail.ne1.yahoo.com with NNFMP; 20 May 2013 14:31:30 -0000 Received: from [127.0.0.1] by omp1048.mail.ne1.yahoo.com with NNFMP; 20 May 2013 14:31:30 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 693709.34256.bm@omp1048.mail.ne1.yahoo.com Received: (qmail 48473 invoked by uid 60001); 20 May 2013 14:31:30 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1369060290; bh=CkbXPXLsau+djrLZcb1P3zaeoHjpTUlK764M8ozvH+Y=; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:Message-ID:Date:From:Reply-To:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=mahoDkfKV9Ft2ElnMoQsdJIdqtB5L5b89ffio5OFR5B1DKrucMa60RJoJ6vqWGIYSpvXLxnM+8nU3Qi3kxhr4dJa5fjh2Xgc/xq4o3W3OzsmYVHtWJn+uNL3GJF97Let21J0RF4PLa2yI9qc/4Mbpj27Ytj1d0eKg/tzEdPpqa8= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:Message-ID:Date:From:Reply-To:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=0MggXAIAdDy6WOiQfgTbMZzAg/dRQimyPh64Y124Li1/Rn1bIAjwBJ+UK/tpj83nrk+xQu3vtApwJYL8cIOw2EPTB3aBMVkFHKTA+Ha40KbAhbY4RohvjPcOOPhpVILeyWV6/DarYF69qW+UP5egy8KbyGYfhiT0KuJHWCd8Tyg=; X-YMail-OSG: vLxOaM4VM1kPjsrt4Z98q48sQV17RMeDwCoWcfqJW2KBySE OSlXo2DG2tfQtVq36ohL7cz4S5jFxbo9h10R2_1j1cgCgEEkC8HXcJ8dXg.9 biZ2z4t0CQ6_dHkGk5ORtJeoQIdriWA68uB6xUTvtJ4ruVzTQK56zmHGTrr6 muAn8YyCiPhIUPPkRSntn6BbzbP02M7A0cA7oVfFJsKq9ujkZssAwpjn4P5Q Ftjwd9XoCF8q4P5sjkTu5kGsKTBrK1dq75D_YRJR8THXA7bNGGmKklM5cYN6 lTKCx1tDwPRvCUP15sT6umRzYdpiSeNJGUNpMr0naZNmBOd7SXowQ.ZRRZ3L p9thZigfin4beedtYL8gHxXl_4UmsW3Kn3Lj5YZQd3xiLlMfnXJg7CoQbfhV acOOAAeez0pqyB.sUb7iSyZRNsbrnHNSr8zYUdr9ch1wb39.XlmeZolPp_85 5iFHHJmIhQmms0JETTRRpg27LleqGgIP1AjSDADBFPbwYDcUt.086XxdvLyO lTs0ydcQ2mTEfN86rAQZPq8f2SR1TRuk12KdHe03V_1Kc96weBb_hrhbK3oV ZTGZ4NLgEVhscQzm6zhdGBJSHApyOkrKHjBFG2tVekQs- Received: from [195.23.39.248] by web120405.mail.ne1.yahoo.com via HTTP; Mon, 20 May 2013 07:31:30 PDT X-Rocket-MIMEInfo: 002.001,SGksCgoKQXMgeW91IGtub3csIHRoZXJlIGlzIGluIE9DYW1sIHNvbWUgYXN5bW1ldHJ5IHJlZ2FyZGluZyB0aGUgcmVjL25vbnJlYyAKZGVmYXVsdHMgZm9yIHR5cGUgYW5kIHZhbHVlIGRlY2xhcmF0aW9ucy7CoCBUeXBlcyBhcmUgcmVjdXJzaXZlIGJ5IGRlZmF1bHQKYW5kIHRoZXJlJ3Mgbm8gd2F5IHRvICJ1bnJlY3Vyc2UiIHRoZW0sIHdoZXJlYXMgdmFsdWVzIGFyZSBieSBkZWZhdWx0IG5vdApyZWN1cnNpdmUgYW5kIGNhbiBiZSBtYWRlIHJlY3Vyc2l2ZSB2aWEgdGhlICJyZWMiIGtleXdvcmQuCgpUaGUBMAEBAQE- X-Mailer: YahooMailWebService/0.8.142.542 Message-ID: <1369060290.43256.YahooMailNeo@web120405.mail.ne1.yahoo.com> Date: Mon, 20 May 2013 07:31:30 -0700 (PDT) From: Dario Teixeira Reply-To: Dario Teixeira To: OCaml mailing-list MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] The rec/nonrec debate Hi, As you know, there is in OCaml some asymmetry regarding the rec/nonrec=20 defaults for type and value declarations.=A0 Types are recursive by default and there's no way to "unrecurse" them, whereas values are by default not recursive and can be made recursive via the "rec" keyword. The unrecursiveness of type declarations is cause for some chagrin, as a=20 recent ticket on Mantis demonstrates [1]. Here's something I wonder: if one were to wipe the slate clean, is there=20 consensus among the community about the best defaults?=A0 I'm leaning towar= ds having nonrec as the default behaviour for *both* types and values, and using "rec" as the keyword for recursive types and values.=A0 This scheme would obviate the need for an actual "nonrec" keyword. Obviously, such a change would be too intrusive to make to OCaml.=A0 Howeve= r,=20 since people are working on "Next Generation ML" languages like Mezzo [2], I think it would be good to get the community's pulse on this subject. (Btw, from the examples posted on Mezzo's homepage, it seems to use the same defaults as OCaml). Your thoughts? Best regards, Dario Teixeira [1] http://caml.inria.fr/mantis/view.php?id=3D6016 [2] http://gallium.inria.fr/~protzenk/mezzo-lang/