From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id C4EAA2E03 for ; Sun, 9 May 2021 13:13:50 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.82,286,1613430000"; d="scan'208";a="507346548" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 May 2021 15:13:48 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id A983CE0152; Sun, 9 May 2021 15:13:48 +0200 (CEST) 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 D8474E0143 for ; Sun, 9 May 2021 15:13:44 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=daniil@baturin.org; spf=Pass smtp.mailfrom=daniil@baturin.org; spf=Pass smtp.helo=postmaster@baturin.org IronPort-PHdr: =?us-ascii?q?A9a23=3Ag6CjnBcsHjX+GTfBxL5xQ5F4lGM+Yt7LVj580XL?= =?us-ascii?q?Ho4xHfqnrxZn+JkuXvawr0AaYG9+Htbkd1aL/iOPJYSQ4+5GPsXQPItRndiQur?= =?us-ascii?q?oEopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZ?= =?us-ascii?q?vJuTyB4Xek9m72/q99pHOZwhEniSxbLxzIRm5sAnct9QdjJd/JKo21hbHuGZDd?= =?us-ascii?q?f5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgX?= =?us-ascii?q?MTRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmi?= =?us-ascii?q?joINyQh/W/JhMx+jL9VrhGvqRNxzIHbYp2aOvVlc6PBZNMXX3ZNUtpfWiFDBI6?= =?us-ascii?q?3cosBD/AGPeZdt4TzqUEBrR2/BQmtAOPk1yJFiWXq3a0nyeQhEAfG1xEnEt0Tq?= =?us-ascii?q?nvUqtT1NKYWUe2u16bH1ynDb+5M2Tf87ojEaBchoeuDXb9pd8fa1EYgGR/fgFq?= =?us-ascii?q?KtYzlIy2a1v4Ls2WD7edsS/+jhW4kpgx/oDWj2NshhpTKi48V1F3J9zt1zYgrK?= =?us-ascii?q?dC6VEJ2YcCoHZhMuiyUKoZ7Qt8uTmJstSs4yrMItpi2dzUExpQgwh7Qcf2Hc46?= =?us-ascii?q?Q7xLsVeaRPTd4hG9+d76lmxmy9k2gxvXhWcm1zFlKqTFFktzLtnwX0BzT8MeHR?= =?us-ascii?q?uN8/kenwzaP1hrc5vtKIUAuk6fQNp0vwqYom5ccsEnPBDH6lUX4gaOMaEko5va?= =?us-ascii?q?k5/76brjnp5KQL4F5hhzkPqgwh8CzHP40PhUSU2SG4+ix2r3u8EvkS7tQlPI2i?= =?us-ascii?q?LPWsJXCKMQbuKG5BwhV35445BmlEzemzc4YnXgBLF5ffxKHlYfpN0nPIPD+E/i?= =?us-ascii?q?/n0yhnThqyvzcILHsApvAImLdnLv9Y7px8VNQxQsywNxH4pJbELABIPb9Wk/rs?= =?us-ascii?q?9zYCwc0PBGuzObhCdV914ceVHmUDaCDLKPSrEWI5uMpI+WWY48Vojn9J+A/5/H?= =?us-ascii?q?ylX85hUMdfa6x0JQLcn+4G/BmL1ydYXrtmdcBDXwHvhE+TezvkF2NSyRfZ3e0X?= =?us-ascii?q?6Im5zE0EpiqDYnZRtPlvLvU1y6+GthSZ3taIlGKC3bhMYueCNkWbyfHDsZnkz0?= =?us-ascii?q?AHZKoV5I71Bfm4APzzbtmKsLe8zEFr5Plkt9v6LuAxlkJ6TVoApHFgCm2RGZuk?= =?us-ascii?q?zZQL9fT9Kp2vVFny1HF1rJ30aQw/T177fpVTx07M9jb1eMoUrgatSrLd8uUUle?= =?us-ascii?q?gBNK8DmNoJu8=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3A1U1zl6io3Qq2i0b+7ntsJS/W83BQXtkji2hC?= =?us-ascii?q?6mlwRA09TyXqrbHJoB19726StN9xYgBFpTnkAsO9qBznlaKdjbN/AV7mZniChI?= =?us-ascii?q?LKFvAB0WKB+Vzd8kTFn4Y36U4jScRD4bbLY2SS4/yW3OD1KadC/OW6?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DiCgAJ35dg/6bK/S5aHgEBCxIMQIR5V?= =?us-ascii?q?ycSMYQJPokEiEktA4QJlxCBaAsBAwENMAkBAgQBAYRQAgiBfB8GAQQ0EwIEFQE?= =?us-ascii?q?BBQEBAQIBAwMEAXAThVANgjgig2sBAwIMFx0BATgPCQIYAgIYDgICVxMIAQEQg?= =?us-ascii?q?l0BgwsLjQecCYEygQGCBgEBBoE8AQMCgRODToE7CYEQKo1hQz+BTIE8gns+gmA?= =?us-ascii?q?BAQEBgSQ6TYJKgmGCXoEXDgIigQ6BFy2QWo1/nEeDHoEpiFWTLgUNIoE2g2GgF?= =?us-ascii?q?Z8ighGTAYUSgWsjgVkzGggoCDuCaQlHGQ6OHwwWg06BPoNWhVU1MgI2AgYBCQE?= =?us-ascii?q?BAwlXAYw3AQE?= X-IPAS-Result: =?us-ascii?q?A0DiCgAJ35dg/6bK/S5aHgEBCxIMQIR5VycSMYQJPokEiEk?= =?us-ascii?q?tA4QJlxCBaAsBAwENMAkBAgQBAYRQAgiBfB8GAQQ0EwIEFQEBBQEBAQIBAwMEA?= =?us-ascii?q?XAThVANgjgig2sBAwIMFx0BATgPCQIYAgIYDgICVxMIAQEQgl0BgwsLjQecCYE?= =?us-ascii?q?ygQGCBgEBBoE8AQMCgRODToE7CYEQKo1hQz+BTIE8gns+gmABAQEBgSQ6TYJKg?= =?us-ascii?q?mGCXoEXDgIigQ6BFy2QWo1/nEeDHoEpiFWTLgUNIoE2g2GgFZ8ighGTAYUSgWs?= =?us-ascii?q?jgVkzGggoCDuCaQlHGQ6OHwwWg06BPoNWhVU1MgI2AgYBCQEBAwlXAYw3AQE?= X-IronPort-AV: E=Sophos;i="5.82,286,1613430000"; d="scan'208";a="380939960" X-MGA-submission: =?us-ascii?q?MDHnRSmIXREKSAA6wvkhZJN1zer/QoPwSsl5Uy?= =?us-ascii?q?mX7q6tbjAaUGcHRLNZaHBAIW6UYiYpg11Qz5sF+lC8qXhj4D7L4lEekD?= =?us-ascii?q?8VOKBDTFLjs9nO7lSXomYGDaX0kghgnHvXfvpwqekP7SgPNcAT1BS9Bl?= =?us-ascii?q?7AwB03CwhMFnz4Dr75fgwVkQ=3D=3D?= Received: from srv.baturin.org (HELO baturin.org) ([46.253.202.166]) by mail3-smtp-sop.national.inria.fr with ESMTP; 09 May 2021 15:13:43 +0200 Received: from careless.baturin.org (unknown [31.211.101.35]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by baturin.org (Postfix) with ESMTPSA id C04BC1A59FF for ; Sun, 9 May 2021 20:13:42 +0700 (+07) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=baturin.org; s=default; t=1620566022; bh=cdfTiv82R2jhTu9Pj+PlM7NQXi0APNERuXOhM0EgoYY=; h=To:References:From:Subject:Date:In-Reply-To; b=kt2VIIzYSOxSKy8yIj2Vy61R3S2LtJ+gffmVez8K1GI249OLxeMTFT6eGeU6RrbE/ Rtoxw6P9YUFVphqRwKqw0Mhblnj75cyY+1a4c1jBWUrUqMylDtrwIsZ2Zus85lnnAE iy30vkXC5dCEgeaBS+sYXapDG+6vY1Hn7vwlZiz4= To: caml-list@inria.fr References: From: Daniil Baturin Message-ID: <15c899cd-cbb4-dae4-bae4-29b05b85c6a5@baturin.org> Date: Sun, 9 May 2021 20:13:35 +0700 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.8.1 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Content-Language: en-US Subject: Re: [Caml-list] OCaml turns 25 Reply-To: Daniil Baturin X-Loop: caml-list@inria.fr X-Sequence: 18484 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: Indeed. When I worked on resurrecting Lua-ML (github.com/lindig/lua-ml), a 20+ year old research project, initially I thought it was going to be quite an ordeal=E2=80=94but it wasn't. There aren't many languages where = I had good experience with reviving anything that old. The code does show its age and it will benefit from refactoring with modern OCaml features in mind, but it will keep working if left as is. The commitment to compatibility and single-core performance preservation in the multicore OCaml project is equally impressive. I'm always grateful to the maintainers and the community for creating and maintaining the language and its ecosystem. On 5/9/21 3:35 PM, Roberto Di Cosmo wrote: > Long live OCaml! > > Thanks Xavier, and to all the brilliant minds that contributed to the e= volution > and adoption of this beautiful language, and system, in this past quart= er of a century. > > If I may add a personal note, one truly remarkable fact is that some ra= ther > 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: https://www.dicosmo.org/Arti= cles/2020-ReScienceC.pdf > > Cheers > > -- > Roberto > > [1] that was the first version including support for marshalling closur= es, > 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]https://sympa.inria.fr/sympa/arc/caml-list/1996-05/msg00003.html= >> It was already the consolidation of many years of work, integrating= >> J=C3=A9r=C3=B4me Vouillon and Didier R=C3=A9my's work on objects an= d 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 yea= rs >> later! >> A lot happened during this time, including several major evolutions= of >> the language, and, much more importantly, the emergence of a commun= ity >> of users and an ecosystem of tools and libraries. But maybe this w= as >> just the beginning for something even bigger? We'll see... >> Happy birthday, OCaml! >> - Xavier Leroy >> >> References >> >> 1. https://sympa.inria.fr/sympa/arc/caml-list/1996-05/msg00003.html=