From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.2 required=5.0 tests=AWL,HTML_MESSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id E00AFBC69 for ; Wed, 22 Aug 2007 07:50:28 +0200 (CEST) Received: from py-out-1112.google.com (py-out-1112.google.com [64.233.166.177]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l7M5oP30024750 for ; Wed, 22 Aug 2007 07:50:28 +0200 Received: by py-out-1112.google.com with SMTP id u52so129032pyb for ; Tue, 21 Aug 2007 22:50:25 -0700 (PDT) Received: by 10.142.115.10 with SMTP id n10mr12895wfc.1187761824161; Tue, 21 Aug 2007 22:50:24 -0700 (PDT) Received: by 10.142.80.4 with HTTP; Tue, 21 Aug 2007 22:50:24 -0700 (PDT) Message-ID: <28fa90930708212250w15ce8fdai7fa615414d0279d@mail.gmail.com> Date: Tue, 21 Aug 2007 22:50:24 -0700 From: "Luca de Alfaro" To: "Erik de Castro Lopo" Subject: Re: [Caml-list] If OCaml were a car Cc: "Caml-list List" In-Reply-To: <20070819215924.6234b446.mle+ocaml@mega-nerd.com> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_145883_4085542.1187761824122" References: <20070818192157.GA11789@furbychan.cocan.org> <6806cf750708181324l724823c6w304f9088980c3316@mail.gmail.com> <46C76557.5050308@cs.caltech.edu> <56864F61-40F3-4F03-9823-6D510AD5320B@epfl.ch> <20070819215924.6234b446.mle+ocaml@mega-nerd.com> X-Miltered: at discorde with ID 46CBCEA1.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 iter:01 iter:01 bunzli:01 ocaml's:01 syntax:01 beginner's:01 bug:01 bunzli:01 ocaml's:01 syntax:01 beginner's:01 bug:01 beginners:01 ------=_Part_145883_4085542.1187761824122 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline The only thing about Ocaml I mind, is that it a bit like German is, in that all the verbs at the end come. And there nothing wrong is, but it for some strange reading makes, and it strange is that this from France comes. I still somewhat puzzled am, at reading: let f x =3D [humonguous definition 50 lines spanning] in List.iter f l because the only way I make sense of this can, is by first looking at where f used is, and only then reading its definition. I much rather write would: do List.iter f l where f x =3D [humonguous definition] Maybe this problem with Ocamlp4 solvable is? Luca ------------- PS: Yes, yes, I know why the let comes before the use, but it would still b= e handy to have a pre-processor implement this do...where... construct. Has anyone done it already? Yes, I also know that in German, unlike in Ocaml, the verbs do not always come at the end... :-) On 8/19/07, Erik de Castro Lopo wrote: > > Daniel B=FCnzli wrote: > > > Maybe I ride this car too often to realize (or I'm dumb) but I don't > > get the joke about controls. > > I'm preet sure thats a reference to Ocaml's rather odd (in > comparison to C/C++/Java/Perl/Python etc) syntax. > > Erik > -- > ----------------------------------------------------------------- > Erik de Castro Lopo > ----------------------------------------------------------------- > Perl : executable line noise > Python: executable pseudo-code > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > ------=_Part_145883_4085542.1187761824122 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline The only thing about Ocaml I mind, is that it a bit like German is, in that= all the verbs at the end come.  And there nothing wrong is, but it fo= r some strange reading makes, and it strange is that this from France comes= .=20

I still somewhat puzzled am, at reading:

let f x =3D
&n= bsp; [humonguous definition 50 lines spanning]
in List.iter f l

= because the only way I make sense of this can, is by first looking at where= f used is, and only then reading its definition.=20
I much rather write would:

do List.iter f l
where f x =3D [= humonguous definition]

Maybe this problem with Ocamlp4 solvable is? =

Luca

-------------

PS: Yes, yes, I know why the let c= omes before the use, but it would still be handy to have a pre-processor im= plement this do...where... construct.  Has anyone done it already?=20
Yes, I also know that in German, unlike in Ocaml, the verbs do not alwa= ys come at the end... :-)

On 8/19/0= 7, Erik de Castro Lopo < mle+ocaml@mega-nerd.com> wrote:
Daniel B=FCnzli wrote:

> Maybe I ride= this car too often to realize (or I'm dumb) but I don't
> get the joke about controls.

I'm preet sure thats a ref= erence to Ocaml's rather odd (in
comparison to C/C++/Java/Perl/Pytho= n etc) syntax.

Erik
--
---------------------------------------= --------------------------
Erik de Castro Lopo
------------------------------------------------= -----------------
Perl  : executable line noise
Python: exe= cutable pseudo-code

_______________________________________________<= br>Caml-list mailing list. Subscription management:
ht= tp://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's li= st:=20 http://groups.yah= oo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

------=_Part_145883_4085542.1187761824122--