caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: "Glen Mével" <glen.mevel@crans.org>
To: caml-list@inria.fr
Subject: Re: [Caml-list] Is anybody still using Caml Light ?
Date: Tue, 1 Aug 2017 13:10:17 +0200	[thread overview]
Message-ID: <03024081-41ee-8f0b-01b4-4c48d4437f76@crans.org> (raw)
In-Reply-To: <e70e2926-6ec6-a0e3-88d6-0bb5a704b9d5@prepas.org>


[-- Attachment #1.1: Type: text/plain, Size: 1365 bytes --]

Yann Salmon a écrit (le 31/07/2017 à 22:56) :

> Caml Light is still used in the French classes préparatoires 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¹. 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’t run the tools anymore. :-)

-- 
Glen Mével

¹: One of the few, minor, differences is writing == instead of = for
type definitions. That, and translating the names of the standard
library functions into the new module system, which is straightforward
(list_nth → List.nth) and anyway students are usually not expected to
use the stdlib.


[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 488 bytes --]

      reply	other threads:[~2017-08-01 11:11 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-07-31 20:56 Yann Salmon
2017-08-01 11:10 ` Glen Mével [this message]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=03024081-41ee-8f0b-01b4-4c48d4437f76@crans.org \
    --to=glen.mevel@crans.org \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).