caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Roberto Di Cosmo <>
To: Xavier Leroy <>
Cc: caml users <>
Subject: Re: [Caml-list] OCaml turns 25
Date: Sun, 9 May 2021 10:35:04 +0200	[thread overview]
Message-ID: <YJeeuLG0bqA0KgFm@traveler> (raw)
In-Reply-To: <>

Long live OCaml!

Thanks Xavier, and to all the brilliant minds that contributed to the evolution
and adoption of this beautiful language, and system, in this past quarter of a century.

If I may add a personal note, one truly remarkable fact is that some rather
complex code written in 1998 using OCaml 1.07 [1] could be compiled and run last
year using OCaml 4.x *without modifications*: the only visible changes were the
new warnings spotting potential issues in the code, thanks to the many
improvements to the compiler over time.

For the curious, all the details are here:



[1] that was the first version including support for marshalling closures,
added in a fantastic one week-spring in Pisa exactly for this code :-)

On Sun, May 09, 2021 at 09:33:35AM +0200, Xavier Leroy wrote:
>    Dear OCaml enthusiasts,
>    25 years ago, on May 9th 1996, release 1.00 of the Objective Caml
>    language and system was announced:
>    [1]
>    It was already the consolidation of many years of work, integrating
>    Jérôme Vouillon and Didier Rémy's work on objects and classes within
>    Caml Special Light, itself a combination of my work on modules and
>    native-code compilation with earlier code taken from Caml Light,
>    especially Damien Doligez's GC.
>    Little did I know that O(bjective) Caml would still be there 25 years
>    later!
>    A lot happened during this time, including several major evolutions of
>    the language, and, much more importantly, the emergence of a community
>    of users and an ecosystem of tools and libraries.  But maybe this was
>    just the beginning for something even bigger?  We'll see...
>    Happy birthday, OCaml!
>    - Xavier Leroy
> References
>    1.

Roberto Di Cosmo
Computer Science Professor
            (on leave at INRIA from IRIF/Université de Paris)

Software Heritage      
Bureau C328		     E-mail :         
2, Rue Simone Iff          Web page :      
CS 42112		    Twitter : 
75589 Paris Cedex 12	        Tel : +33 1 80 49 44 42           
GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3                        

  parent reply	other threads:[~2021-05-09  8:35 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-05-09  7:33 Xavier Leroy
2021-05-09  7:42 ` François Pottier
2021-05-09  8:35 ` Roberto Di Cosmo [this message]
2021-05-09 13:13   ` Daniil Baturin
2021-05-09 11:25 ` Christoph Cullmann
2021-05-09 19:01 ` Markus Mottl
2021-05-16 11:53 ` Jeanmarc Eber
2021-05-18 14:30   ` Muriel SHAN SEI FAN

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:

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

  git send-email \
    --in-reply-to=YJeeuLG0bqA0KgFm@traveler \ \ \ \

* 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).