From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <alan.schmitt@polytechnique.org>
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 8070B7EEEF
	for <caml-list@sympa.inria.fr>; Mon, 22 Jun 2015 15:31:50 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="5.13,659,1427752800"; 
   d="asc'?scan'208";a="137336315"
Received: from charm-ecran.irisa.fr ([131.254.101.83])
  by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 22 Jun 2015 15:31:50 +0200
From: Alan Schmitt <alan.schmitt@polytechnique.org>
To: OCaml Mailing List <caml-list@inria.fr>
Date: Mon, 22 Jun 2015 15:31:51 +0200
Message-ID: <m2vbefx41k.fsf@charm-ecran.irisa.fr>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (darwin)
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="=-=-=";
	micalg=pgp-sha512; protocol="application/pgp-signature"
Subject: [Caml-list] use of ";;" when teaching Ocaml

--=-=-=
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable

Hello,

In my Ocaml class, I tend to promote the use of ";;" to separate phrases
(I'm basically following
http://ocaml.org/learn/tutorials/structure_of_ocaml_programs.html#Usingando=
mittingand
although I was not aware of this page when I created the course). My
motivation is to minimize the difference between using the top-level and
writing files.

I am now wondering if this is a good practice. In a nutshell, would you
rather use

#+begin_src ocaml
let x =3D 12;;
print_endline "Hello World!"
#+end_src

or

#+begin_src ocaml
let x =3D 12
let () =3D print_endline "Hello World!"
#+end_src

when teaching Ocaml?

Thanks,

Alan

--=20
OpenPGP Key ID : 040D0A3B4ED2E5C7
Weekly CO=E2=82=82 average (2015-05-30, Mauna Loa Observatory): 403.41 ppm

--=-=-=
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQEcBAEBCgAGBQJViA5HAAoJEAQNCjtO0uXHk78H/2TB0StvRA6ImYA8OfZO0RHF
aWUhPdxTBBA6kDpAOcMpUQr+q88j5c64twBY9i6pqK6taaTnRVSUnwCoiTQy7Y5K
QGJ4djW28UlzPXfbPttI9rVQF8V8iqSb0Xlkac38lXp215N1HXVUkKul/SrYJURO
EGVCcE7p1TDVVqpfDeYypf+yLvJWaaBELT8UokVHyzX+W0hrgnnRV2Dn4twO+Wz1
Z4rdOFE5afXZyTYYUYPPlj/b1sjMn59iSgLcJgj+EJSUSjwsYdPWyDfPfQBKpDUV
FeAddSY8XdsH+jNRGEFo5x06TotGFvL145bNtn5iB4TcfK3w3cuJg5JlA4G8OO8=
=0dsL
-----END PGP SIGNATURE-----
--=-=-=--