From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 246557F98F for ; Tue, 1 Aug 2017 13:11:32 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=glen.mevel@crans.org; spf=Pass smtp.mailfrom=glen.mevel@crans.org; spf=Pass smtp.helo=postmaster@redisdead.crans.org Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of glen.mevel@crans.org) identity=pra; client-ip=138.231.136.39; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="glen.mevel@crans.org"; x-sender="glen.mevel@crans.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of glen.mevel@crans.org designates 138.231.136.39 as permitted sender) identity=mailfrom; client-ip=138.231.136.39; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="glen.mevel@crans.org"; x-sender="glen.mevel@crans.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@redisdead.crans.org designates 138.231.136.39 as permitted sender) identity=helo; client-ip=138.231.136.39; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="glen.mevel@crans.org"; x-sender="postmaster@redisdead.crans.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3AutylKhU+MdR+OBrG4uX7sHpS85nV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYYxWFt8tkgFKBZ4jH8fUM07OQ6PGwHzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjSwbLdxIRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmij?= =?us-ascii?q?oINyQh/W/KlMJwgqJVrhGvqRNxzIHbYp2aOeFxfq/BZ94UQnZNU8hTWiFHH4iy?= =?us-ascii?q?b5EPD+0EPetArof9o0UBrR2mCgerHuTv1CFHhnvr1qA93OQhFR/J3Ao6E9ILrn?= =?us-ascii?q?vUssv6NKMJXO+p1qnH1zPDb+hM1Tf68ojIfQksrPeRVrxzacrc0VQjGg3Gg1mK?= =?us-ascii?q?t4DoMS6Z2v4Qv2WV7udsT+yihmo/pw1vuDSiwt0ghpTNi48a0FzI6Dh1zJgzKN?= =?us-ascii?q?alUkB0e8SkH4FVtyyCN4t5XMciQ2ZwtSYg1LIJpJ+7fDMXx5s53RHQduaLfJSS?= =?us-ascii?q?4h35UuaROi10hHV/eLKwnxqy8E6gxfPgVsSszVpHoClInsPSun0DyhDf8NWLR/?= =?us-ascii?q?V880u71zuC0xjf6uReLkA1karbJYQhwrk1lpcLvkTDGjH5mEPsgK+TaEok5Pan?= =?us-ascii?q?6+D8b7r6vJ+TLYl0ihrkPqQpgMy/Dvw0MhISUGiD5eS8yLrj8FXlT7pQi/02lr?= =?us-ascii?q?DVsJTbJcQAuq60GBRV04Ym6xanFTiqytUYnX8dLFJEYh2LlYbpO0udaMz/WPy2?= =?us-ascii?q?hlDplDZw29jHOKfgC9PDNCvtirDkKJl55khr7YstwNQXs51QB7dHJf/tV0vZv8?= =?us-ascii?q?bRCAR/NBa7lbW0QO5h358TDDrcSpSSN7nf5AeF?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DOAgCsYIBZlyeI54pdHAEBBAEBCgEBG?= =?us-ascii?q?AEFAQsBhBZqJ54JgUoimB8HhUAChB5DFAEBAQEBAQEBAQEBEgEBAQEBCBYGV4I?= =?us-ascii?q?zIoJEAQICASMdAQE4BAsLQgICSQENEwgBARIJiggIBAGtXmtrOoEBgwgBAQWIP?= =?us-ascii?q?gwXBwiDKIICg1gLgkAwhT+CR4Jhn3mEMYIejVkCizSHC5V3NoErgQRRhQgfgXV?= =?us-ascii?q?0ii8BAQE?= X-IPAS-Result: =?us-ascii?q?A0DOAgCsYIBZlyeI54pdHAEBBAEBCgEBGAEFAQsBhBZqJ54?= =?us-ascii?q?JgUoimB8HhUAChB5DFAEBAQEBAQEBAQEBEgEBAQEBCBYGV4IzIoJEAQICASMdA?= =?us-ascii?q?QE4BAsLQgICSQENEwgBARIJiggIBAGtXmtrOoEBgwgBAQWIPgwXBwiDKIICg1g?= =?us-ascii?q?LgkAwhT+CR4Jhn3mEMYIejVkCizSHC5V3NoErgQRRhQgfgXV0ii8BAQE?= X-IronPort-AV: E=Sophos;i="5.41,305,1498514400"; d="asc'?scan'208";a="285700057" Received: from redisdead.crans.org ([138.231.136.39]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 01 Aug 2017 13:11:31 +0200 Received: from [192.168.1.21] (ANantes-555-1-15-112.w2-9.abo.wanadoo.fr [2.9.194.112]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by redisdead.crans.org (Postfix) with ESMTPSA id 96DD71420 for ; Tue, 1 Aug 2017 13:11:29 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=crans.org; s=mail; t=1501585890; bh=F1+jPy4F926tVIAzpeuoaE1JSi95R7UsjIjrtbZi+/g=; h=Subject:To:References:From:Date:In-Reply-To:From; b=bNeg6N+hh+t4ZtaAhz1qXwIe1EWf8BywgnKnvKRsc7h2j/sv3DzhkEsBl4APTpnxr Yv5B3ZRNIYbotbXG9qlLK3O5LvXx2Z4VFzqIpOleuh4JlUHgs6ny4LXVwRr7KxRj/M nevQerAQrHHWePM+uwxU3Tt0jFUCu2SdTjXXmmOpvbKQaqqOJWQue8TyuExGgdWPp3 n1DtLo4T8oXowTowtI2gHc1fOmrwUHG03UhNr1zHGgX6Uo8UKHxnixPAVXQnbP0Fb9 vycBnGLq47xuvTvQFGeEzZyrHJwGL8pw0F6qtnRDWPMGBGeRjPUypg6H4r0BiW83mB IhXris1j634H48ORd5IKZ5utZVin8PZGB/ve1w0Sv2MANzw27YjQMjR9f1+ikit8a5 nVqo2ENTb+L0DPx9aRYMnaSRJ6MRO35nPdS6T+ZnZTdgq4QNSHD7PSONkCYZ6NTNkt sXic2G8r3Q6OwfYPm0VwJoKRPK4EmEkN3r76hYjh590V3RIgn84NqtNujFRIQh16GW fpU3E5BWW9V0ZhH2+aeuGeRftEFLZFC2fGPv9bWGiA8defwGCwcnBKML5yMVYaubP0 gGSqgLgEuFYRRkbgWDu1D/SgkCBm+BaqKrXmSkoRK5pQS782tw1phpIK0oB71T3PEe NLzR9kdyWClM4UvA1k9sT11k= To: caml-list@inria.fr References: From: =?UTF-8?Q?Glen_M=c3=a9vel?= Message-ID: <03024081-41ee-8f0b-01b4-4c48d4437f76@crans.org> Date: Tue, 1 Aug 2017 13:10:17 +0200 User-Agent: Mozilla/5.0 (X11; Linux i686; rv:52.0) Gecko/20100101 Thunderbird/52.2.1 MIME-Version: 1.0 In-Reply-To: Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="R958fA9WLl1x1lUQLG5kOMTqLKxl56JRG" Subject: Re: [Caml-list] Is anybody still using Caml Light ? This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --R958fA9WLl1x1lUQLG5kOMTqLKxl56JRG Content-Type: multipart/mixed; boundary="Fhth25V3thCiCagBJVGJHgbSRgXwcW3wu"; protected-headers="v1" From: =?UTF-8?Q?Glen_M=c3=a9vel?= To: caml-list@inria.fr Message-ID: <03024081-41ee-8f0b-01b4-4c48d4437f76@crans.org> Subject: Re: [Caml-list] Is anybody still using Caml Light ? References: In-Reply-To: --Fhth25V3thCiCagBJVGJHgbSRgXwcW3wu Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: quoted-printable Yann Salmon a =C3=A9crit (le 31/07/2017 =C3=A0 22:56) : > Caml Light is still used in the French classes pr=C3=A9paratoires because > of an official text that mandates it. More and more teachers would > like to switch over to OCaml, but this would require a change in that > text, which might take time. Plus, from my own experience, these are math and physics students which are given an insight of computer science. It is not as if they were taught deep computer engineering. The few they see of the language might as well be modern OCaml with almost no visible change=C2=B9. In fact, most exam readers will tacitly accept the OCaml syntax in the answers, given there is a syntactic difference in those small code snippets, and given the reader notices it. I believe that this is also the reason why the education system estimates that switching to OCaml is not worth the effort. Caml Light being dead is a 100% guarantee of stability! They will probably consider switching when the latest Windows won=E2=80=99t run the tools anymore. :-) --=20 Glen M=C3=A9vel =C2=B9: One of the few, minor, differences is writing =3D=3D instead of =3D= for type definitions. That, and translating the names of the standard library functions into the new module system, which is straightforward (list_nth =E2=86=92 List.nth) and anyway students are usually not expected = to use the stdlib. --Fhth25V3thCiCagBJVGJHgbSRgXwcW3wu-- --R958fA9WLl1x1lUQLG5kOMTqLKxl56JRG Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEEJX9V4xhORFbdAA1utxRLvmT1s7cFAlmAYZkACgkQtxRLvmT1 s7elqwgAkF/YRvkslL+pQj1oC82227mZJtm8DmCOKIXjrxQDIJ4LRP88haaWRwUD anx4w0SK0tYjvENFkz8Pf7cE4cb/XQUXAsiY63xdTA2pIzrstCPqcPlaLFIafThn 0Q/d2Xb1nMJDMgu5dzW9zKthPnZOTnxvAjQOnMKLmVlNrLyp5fs/HJV912DfnpfO 0lvQPtM4BSYbUIOb1zyZTIS0QvJkLrpF8Rzs6t3IyVmq2R/amuHQrcW8wz/k92w5 lFRK6g3mV06ySvO1IwdtX5jyJ3qPM0LiwMKNA1dB5mbzKe5q986030l9uv0es5+u PlFJZ26jDjx8rW279YITSowbPYreXg== =I3o6 -----END PGP SIGNATURE----- --R958fA9WLl1x1lUQLG5kOMTqLKxl56JRG--