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 BB9937EEEF for ; Mon, 22 Jun 2015 20:57:03 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.126.187; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.126.187; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.kundenserver.de) identity=helo; client-ip=212.227.126.187; receiver=mail3-smtp-sop.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: A0BrAwDmWYhVlLt+49Rcg2Rfv3EGhXwCgTxMAQEBAQEBEgEBAQEHCwsJHzBBBINeAQEEVSQQCw4KLlcGEwmIKgnLIgEBAQEBAQEDAQEBAR6LRYRgJgeCLQxBgTEFhwOMemgCiQaBXogvA49/hCFtAYJHAQEB X-IPAS-Result: A0BrAwDmWYhVlLt+49Rcg2Rfv3EGhXwCgTxMAQEBAQEBEgEBAQEHCwsJHzBBBINeAQEEVSQQCw4KLlcGEwmIKgnLIgEBAQEBAQEDAQEBAR6LRYRgJgeCLQxBgTEFhwOMemgCiQaBXogvA49/hCFtAYJHAQEB X-IronPort-AV: E=Sophos;i="5.13,660,1427752800"; d="asc'?scan'208";a="137379523" Received: from mout.kundenserver.de ([212.227.126.187]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 22 Jun 2015 20:57:02 +0200 Received: from office1.lan.sumadev.de ([84.59.134.104]) by mrelayeu.kundenserver.de (mreue002) with ESMTPSA (Nemesis) id 0ME6mN-1ZK2uw1HX5-00HQaY; Mon, 22 Jun 2015 20:57:01 +0200 Received: from [192.168.65.10] (unknown [192.168.65.10]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 82385DC05D; Mon, 22 Jun 2015 20:57:00 +0200 (CEST) Message-ID: <1434999412.31996.37.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 20:56:52 +0200 In-Reply-To: References: <1434982765.31996.19.camel@e130.lan.sumadev.de> <1434990659.31996.30.camel@e130.lan.sumadev.de> Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-04wvzMT3LgjA7M47fm0T" X-Mailer: Evolution 3.10.4-0ubuntu2 Mime-Version: 1.0 X-Provags-ID: V03:K0:1dga80Hut0RhvqbdLYVoXLVmvXEX5Y33tMifXdvBt/5euqh0Bbl O24HMxvcD7AbdAjmCwOe82GGQFrEQAzYNiSQPr3jadcOPaplETc3rR/ToYq78CysCQLMEOg evUwsxNAF8HpU0Ex6zuYTfYJOafRFiUws3KALgq0JybEVxlR1FZUGHKj4TZIJRW3RFIJyxe c78ps7Fqoc8Im4jDzXSQA== X-UI-Out-Filterresults: notjunk:1;V01:K0:uigsoRgSldc=:ErqC76p77OsE72ESnaLptB Xsp00YhQPRVxSvMkWyKHnlDQp9G1zl5IUFKw/lFvziVXNIknBUP/47y0q1JcuLrVWb3XYKL4m MAizvcL/cb+CPk29pFX7hXaGHoha+pLDqxkKjJSAfcnlfm+xG2KZLaEIPmkEkANSdFvBO119J Q6EXbQ3w+B94afr0oHSU7eKZp0EuC3DITLIZVNIBYzgWYkoTjX52aNCR36YgdGroDepBbz/4P O9A/wY0KFkDrPoGnnfiF9GJIQFJ2jxT8UAX0TegSfJyjpaYB5Kh4NwdVigM+brigK79cjBUAr G0KJmHckH7axRkVPA58WbKI69Dxz5Uq3x0yDnsACIQGjT3XfjFxyIEKDGWRFk9rv1+Q+ejUUa EebT8v46X8a+AXcbfYYoIx8GZ5SIzQUc90iu2tbJAor3bSp24E6HdS/ptf7ORBWsz/YtFtYdQ DgFxuMTNLvHyRrRPCgGCKByeLMcx2PTV4nGpg0FoLWBnkICxugNSCOC3Mg04Fa20AdIArOnhS ZFmOmEMwkaMg/tp4cUNrrHrDOBsjjueZTTMNEOPYo/Pllyuk7udVb35vnxwhf1zA1E7B60wEm Zzb3/9zEu3ShVA1BJdtQ2rIC6h+SzdXJPfFvBjaIiUOOqW4Tfmt8X1I7woLIduw+R+/NmLNZO rnA1VeY3e3CloUPHMdmNg5Q7I Subject: Re: [Caml-list] use of ";;" when teaching Ocaml --=-04wvzMT3LgjA7M47fm0T Content-Type: text/plain; charset="ISO-8859-15" Content-Transfer-Encoding: quoted-printable Am Montag, den 22.06.2015, 17:47 +0100 schrieb Mark Shinwell: > On 22 June 2015 at 17:30, Gerd Stolpmann wrote: > > Also, I actually don't see why not using ";;" is considered cleaner. > > It's a bit like writing sentences without full stop >=20 > There is a "full stop", though: it's a blank line. > In my book, the code of functions shouldn't contain blank lines (I've > found this to often be a good sign that the function is too long > and/or complicated). This is irrelevant when the compiler doesn't understand blank lines. Btw, there are various conventions in use. Personally, I prefer a clear optical separation of functions, and typically use 2-3 blank lines, allowing me the freedom of putting single blank lines here and there into the function body for purely aesthetic reasons. But, as mentioned, this is off topic, as our common friend, the OCaml compiler, cannot make anything out of it. Gerd --=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 ------------------------------------------------------------ --=-04wvzMT3LgjA7M47fm0T 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 iQEcBAABAgAGBQJViFp0AAoJEAaM4b9ZLB5TuhAH+QHrpGjZhtRVMLCYMd9JIdpg CyODmu6OEg1BiH6QhdXTWvb+k0DG/IfTBOOk64yKE1KRXa6ISCi8AXIyKleJTXQa DP4UyWiXQWkRCmQwqOAUB1lEmhtLGd5IGsKoy7VdNkidyy6E068DpgC81Yrro7pf ADcF2yYwAZB0E6P+YXP+5JyATas+SmD3FvhEq7tkSt3zfFZTCKHA+1IAqr5v6ZKe liYUHWvhLfuibrRMasf/gMXnWEKwgRD8kXsuyawEy5T9+QMrAGtP54OXtYSrHait hjonq7iew98e9NTGlDiub86Kq1I+AbwekVCh1Yhvay7hTStRQc7wGyk68DrHfkw= =BI5g -----END PGP SIGNATURE----- --=-04wvzMT3LgjA7M47fm0T--