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 54652BBAF for ; Wed, 2 Jun 2010 16:05:40 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Au8CACYCBkxDww+7kWdsb2JhbACRVYM2iSUBAQEBCQsKBxEDH7AqggCFb4h9AQQEAYURBINI X-IronPort-AV: E=Sophos;i="4.53,347,1272837600"; d="scan'208";a="52292947" Received: from web111510.mail.gq1.yahoo.com ([67.195.15.187]) by mail2-smtp-roc.national.inria.fr with SMTP; 02 Jun 2010 16:05:39 +0200 Received: (qmail 37998 invoked by uid 60001); 2 Jun 2010 14:05:38 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1275487538; bh=0EFG9CLZTstKc1wsLGXTWXZT6lowRTy7x+bZbRYl9gQ=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:Cc:MIME-Version:Content-Type:Content-Transfer-Encoding; b=kAWxyaMwIDx4cxZLiO8Ti51mMBewLQoIlX73K6E5h9OjYDXcNZ7un8YBtizHaWXezJcaDw/sQyCYPU27XiVHCeBqKsD8q+PBgUqJlk6j4qMl35h5wSRAYbMrjpWpkpoGGBGZK2f7d9hjotuyw0lyF6xIVWf0ameBWWCAq8IDzhY= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:Cc:MIME-Version:Content-Type:Content-Transfer-Encoding; b=sfKrkQHhDz0IUE2fvRSsqQcVPzUa+NN8t9ACcPNGp9g4EqCrNklWFaD02ABxYgzhOGpSmJC9DjWUm9Kd+LmLH3gGZrj6WGXXGV9hZxKY0WiYsmLxdDyzBiXqVi6GOljeDgL+YPHc1jT0ruaqaGxs7n6+xSfhZwzOXVQTmZe5xR0=; Message-ID: <178778.37943.qm@web111510.mail.gq1.yahoo.com> X-YMail-OSG: JrZFoRoVM1mbztWN5e6RSy1yTiJ52.cHiaBOw4pOByh3V3h XYEl4qrU.4ZaSnrYqlPO8tcoeuNFtHFzjs6fZXWtcry5_MZ1AoFTvWbL76kN kAQ.3cFdwq6mFpbwKNZn4UGpcddRoHguSnHemL.ImEAeYSNXzx4ePY7KQHwy flrVYRGfy1lhF_RYN2Utn6j0ULoxuEvIebNnuXg509ssb.yGurgKDsPKmQ9U o7Kai28u3xPHtazlRc4CkrD9g5l4z25P5JKQyzOj7mKQhJArHGw1YxxQyEXa s841VQUGjhSOWMK.GQdf3X2QrvZdQzPkdGrnZ4QfnCydLwAqhrbP1a7M- Received: from [213.205.71.48] by web111510.mail.gq1.yahoo.com via HTTP; Wed, 02 Jun 2010 07:05:37 PDT X-Mailer: YahooMailClassic/11.0.8 YahooMailWebService/0.8.103.269680 Date: Wed, 2 Jun 2010 07:05:37 -0700 (PDT) From: Dario Teixeira Subject: Re: [Caml-list] Questions concerning modules as first-class values To: Julien Signoles Cc: caml-list@yquem.inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; functor:01 unambiguous:01 frisch:01 functors:01 functors:01 cheers:01 beginners:01 caml-list:01 functions:01 alain:01 modules:02 modules:02 structures:02 structures:02 ambiguous:02 Hi,=0A=0A> I disagree with your terminology. Below is the one I use:=0A>=0A= > ------------------------------------------=0A> | =A0 =A0 =A0 =A0=A0 | 0-a= rity =A0 =A0 | n-arity (n>0) |=0A> ----------------------------------------= --=0A> | Value=A0 =A0 | constant=A0 =A0 | function =A0 =A0 =A0|=0A> | =A0 = =A0 =A0 =A0 | =A0 =A0 =A0 =A0 =A0 =A0 | =A0 =A0 =A0 =A0=A0|=0A> | Mo= dule=A0 | structure=A0=A0 | functor =A0 =A0 =A0=A0|=0A> ------------------= ------------------------=0A=0AThis terminology is indeed better. But note = that since modules are now=0Afirst-class "values", the word "value" itself = becomes ambiguous. I'm not=0Atrying to be picky; I think that having clear= , unambiguous terminology is=0Aessential to properly convey a message, part= icularly to beginners.=0A=0A=0A> If I well understood what Alain Frisch and= Xavier Leroy explained,=0A> modules (including both structures and functor= s) become first class=0A> value: structures may be converted to records and= functors to functions;=0A> and conversely. But I let more informed person = confirm this.=0A=0AI am not sure about the implementation details, but at l= east syntax-wise=0AI did not get the impression that structures would be co= nverted to records.=0AWhat do you mean, exactly?=0A=0ACheers,=0ADario Teixe= ira=0A=0A=0A=0A