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 sympa.inria.fr (Postfix) with ESMTPS id D92067EEEF for ; Mon, 22 Jun 2015 18:31:13 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.126.131; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.126.131; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.kundenserver.de) identity=helo; client-ip=212.227.126.131; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BgAQBsN4hVlIN+49Rcg2RfrweGVYoUCoV4AoE6TAEBAQEBARIBAQEBBwsLCR8whCIBAQEDAVUZCxALDgoNISEkEgYTCQmICAMKDAnEagMKhVsBAQEBAQEBAQEBAQEBAQEBHItFgk2CEyYHgi1NgTEFhVoKgR+MemgCg2yFF4FhgXuGNAOIZ4cYhCFtAYJHAQEB X-IPAS-Result: A0BgAQBsN4hVlIN+49Rcg2RfrweGVYoUCoV4AoE6TAEBAQEBARIBAQEBBwsLCR8whCIBAQEDAVUZCxALDgoNISEkEgYTCQmICAMKDAnEagMKhVsBAQEBAQEBAQEBAQEBAQEBHItFgk2CEyYHgi1NgTEFhVoKgR+MemgCg2yFF4FhgXuGNAOIZ4cYhCFtAYJHAQEB X-IronPort-AV: E=Sophos;i="5.13,660,1427752800"; d="asc'?scan'208";a="166687638" Received: from mout.kundenserver.de ([212.227.126.131]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 22 Jun 2015 18:31:13 +0200 Received: from office1.lan.sumadev.de ([84.59.134.104]) by mrelayeu.kundenserver.de (mreue002) with ESMTPSA (Nemesis) id 0MKQQI-1Z8jJi0qkI-001kLL; Mon, 22 Jun 2015 18:31:08 +0200 Received: from [192.168.65.10] (unknown [192.168.65.10]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 304EBDC05D; Mon, 22 Jun 2015 18:31:07 +0200 (CEST) Message-ID: <1434990659.31996.30.camel@e130.lan.sumadev.de> From: Gerd Stolpmann To: Mark Shinwell Cc: Thomas Refis , Damien Doligez , Alan Schmitt , OCaml Mailing List Date: Mon, 22 Jun 2015 18:30:59 +0200 In-Reply-To: References: <1434982765.31996.19.camel@e130.lan.sumadev.de> Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-T/cIDx1quSPU3M5rAlKh" X-Mailer: Evolution 3.10.4-0ubuntu2 Mime-Version: 1.0 X-Provags-ID: V03:K0:bZ0CkEpJNXExYUxWXjGjkgNSrw3owIELetRRBuWV1sAmlENXoMH SXN+vBlYS2vrpmPmNsRR8sbIl3P4RMMoul7ze3DZmXQu7OXOtiacOSQCYx0btRkswAtTvm6 HkiQve5u0wwF7hTzKEIPt8Zmems/pgaKj3B/2J2qAgASs89jQi/M0Kb8L8EDaoKGP1CvL6m AtorBgH5khJS91j33RRvw== X-UI-Out-Filterresults: notjunk:1;V01:K0:k53n+YcRta8=:OyH3xZgbm1g6zG+OkJ6mmL kIKeNligoxCRinEomxmunIAcwAaJ1b1xemVLOY+UuRoHJT15OLkOfobyH2ZLuJ9Pi+VGNDiDS Jr4lq7RtagFg7pMxXGfVAkFFPL9uEWbdCVJFiZsx5VpTiAPEmb7YKKFMqWUiNI7Ts1mMEqTvf zcCOeHdIjNNaCg7GYHNnWl2iRqHZwuBTcAb3Fh1/5lWNJOLhF/wox4ThcsWQWCsrc66YpcBE0 +i4u1KaIjSZXqXRhXLfJbBiTf6eSOnySho+KJ4e8Ss3/D3dsAVpfHkD2bLdsD90q59vfSgb0D cZ6/u99RdzKh47sXIlzK5Ar3a2B2IwRbl+kYwueLExqRcyMVsM8UEO5t3eyTjh2PYAqKBK/bt VCbXdJs3FSKkp+ET++njYQpg6Gph98r5LTuO19C4Sxdytw7donaGXDdZ1Q/avj1TOKmNIUdDu AaPZOAfQYPDpc0K4DYZUml5dhGFWLOC7qrHXl44yWI+aKXaHe5p6aS+d77WzvOAASm8WGOyNf onL8BJ1ZdAbF2IZeFyXWJ1ERBqsxkt2GsdEB/lEpIs4SYbsftcBmM9q6bYcYPjFaq3++YFDxo pRQARDqm+E4k8mqpNLliKwn7ug9I0rsZZqWw2kJBFqNkuWskpPn0scH8nVt/+kKXVU5cMfo1z LGEELc7VInci1B3UHvljsPY2S Subject: Re: [Caml-list] use of ";;" when teaching Ocaml --=-T/cIDx1quSPU3M5rAlKh Content-Type: text/plain; charset="ISO-8859-15" Content-Transfer-Encoding: quoted-printable Am Montag, den 22.06.2015, 17:07 +0100 schrieb Mark Shinwell: > I've heard the argument of Gerd from various people on many occasions. > Personally, I don't buy it; I think the situation where the error > message is deficient doesn't happen very often, whereas ";;" is > syntactic clutter that I have to see every day (and would rather not > see). Note that I personally normally don't use ;; because I am very aware of the problem and fluent enough in the OCaml syntax to help myself. I was mentioning this point because beginners are not fluent, and they will run into the problem of getting syntax errors where everything looks alright. Also, I actually don't see why not using ";;" is considered cleaner. It's a bit like writing sentences without full stop (and I think the analogy to natural languages is quite insightful because there you also have the situation of open-ended syntactical constructions, and nobody complains when authors use "." to mark the end of sentences). After all, it's a matter of preference and practical usefulness. As a side note, the situation would be different if the compiler emitted warnings about obviously wrong indentation, because the information where the writer thinks that a new definition begins is also already included in the indentation. Gerd >=20 > Mark >=20 > On 22 June 2015 at 16:56, Thomas Refis wrote: > > 2015-06-22 16:48 GMT+01:00 Damien Doligez : > >> Gerd has totally nailed it, and that's the reason why I always use ;; > >> in my code. > >> If we had another keyword for toplevel let (let without in) the > >> situation would be quite different. > > > > http://caml.inria.fr/pub/docs/manual-camlp4/manual007.html ! > > > > -- > > Caml-list mailing list. Subscription management and archives: > > https://sympa.inria.fr/sympa/arc/caml-list > > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > > Bug reports: http://caml.inria.fr/bin/caml-bugs --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de My OCaml site: http://www.camlcity.org Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------ --=-T/cIDx1quSPU3M5rAlKh Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAABAgAGBQJViDhDAAoJEAaM4b9ZLB5TFvUH/1/HElfeumb8yQpLoJYZAgzH b+NWfHfqx+rM7noLC1bYE5un9+BVN6MP6Ev5k2RhKImiWhVjX7rdsCcZSFWqMrFj LQ1fRxwHXmnUFvOJS42UxIy2PvnRmfwf0X9U7e5w2rs+xpFHt/9N4TMeoVyS48Ia QhWnLKpAIOu4HZO1OcMfyE48pNwVmCs310cEr4Fs7UygblnQEPrP3LTvXVBPdYD8 p3xv3FZFB5GCFhMhP/HPgvZS+ak+tRYjWCAJKIYOITe9oYF0aQlxfm5THZ6vBA7G La10AmXdZuiLPTEpKCHLno/dNTDIGK/zI7FDG9FwMOUAXbI7BlOqta/3UBbWk9Y= =eX69 -----END PGP SIGNATURE----- --=-T/cIDx1quSPU3M5rAlKh--