From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 165E7E0152 for ; Sun, 9 May 2021 10:35:11 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=rdicosmo@gmail.com; spf=Pass smtp.mailfrom=rdicosmo@gmail.com; spf=None smtp.helo=postmaster@mail-wr1-f45.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of rdicosmo@gmail.com) identity=pra; client-ip=209.85.221.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="rdicosmo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of rdicosmo@gmail.com designates 209.85.221.45 as permitted sender) identity=mailfrom; client-ip=209.85.221.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="rdicosmo@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wr1-f45.google.com) identity=helo; client-ip=209.85.221.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="postmaster@mail-wr1-f45.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?A9a23=3AOXcS7RPuSKeafiFNSfQl6nYiChdPi9zP1u491JM?= =?us-ascii?q?rhvp0f7i5+Ny6ZQqDvKQr1gOUFt2Go9t/yMPu+5j6XmIB5ZvT+FsjS7drEyE/t?= =?us-ascii?q?MMNggY7C9SEA0CoZNTjbig9AdgQHAQ9pyLzPkdaAtvxaEPPqXOu8zESBg//NQ1?= =?us-ascii?q?oLejpB4Lelcu62/229pHJfQlFizqwbbxuIBi2sA7cqtQYjYx+J6gr1xDHuGFIe?= =?us-ascii?q?+NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxj?= =?us-ascii?q?DQhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VC+85Kl3VhDnl?= =?us-ascii?q?CYHNyY48G7JjMxwkLlbqw+lqxBm3oLYfJ2ZOP94c6jAf90VWHBBU95fWSJBHI2?= =?us-ascii?q?ycogBD+QOMulEsobzqFkBoACiBQSvHu7j1iNEimPr0aA8zu8vERvG3AslH98Wr?= =?us-ascii?q?HrUq876O7kIUeCpy6nD0DvNb/JL0jrj74jIaRUhofaRVr93a8rRzlIgGB3fjlW?= =?us-ascii?q?MrozoJC6a1uURvGic9OpgUOWvh3QgqwFrrTii38EhgZTGiYwJ0F7L7zl5wJorK?= =?us-ascii?q?t2iTk52ecOoHZVRui+UOYV7XN8vT39ntionyrMLuoO3cTYXxJoowxPTdvKKf5a?= =?us-ascii?q?J7x7/VeucJTV1iXNqdb+7hRu/81asx+36W8Kp3lhKqS9FncPNtnALzxHc98mHR?= =?us-ascii?q?ed6/ke63DaP0Brf6uZeIUA7jabbKpghwqQxlpUJq0jDEDX2lF3tjK+ReEUk5ua?= =?us-ascii?q?p5P79Yrr4pp+TKZV0igDiMqs0lcywH/40Mg8UX2iU4ei8yLPi/UzlQLVWkPI2i?= =?us-ascii?q?LPVv4zdJcQeoKOyHgxb0p475hqhEzur1M4UkHoHIV5fZh6LkZXlN0vBLf34Ffu?= =?us-ascii?q?ygEqgnC1qyv3JJLHsDZTAImLenLv8frtw7VNXxhApwtBF/Z1UD6kMIPLtVU/1s?= =?us-ascii?q?9zVFho5PBa1w+bjEdl82JkeVX+WDq+XP67fsUWE5u0oI+mLa48VvCjyJ+I56P7?= =?us-ascii?q?piH81gV4dfa+30psLcH20AOhqLkGDbXfvgtoNC3kGshQjQODwh1CPUSZfZ3OoU?= =?us-ascii?q?KI94jE7BpimDYDGRo21mryOwSa7EYFRZmBdD1CMFmzld4qBW/gWaSKSJtVtnSA?= =?us-ascii?q?DVbikU4Mhzw2htBfmy7p7KerZ4jEXuojm1Nhx/uHTkRAy9SdoD8mGyGGMT2R0n?= =?us-ascii?q?nsSSDMs3aB/p1Z9ylaZ3qRijfxYD48b2/QcYg4kNJPGh8h3EdfjElbRd8mIRUz?= =?us-ascii?q?gRti8BiAZRdU1x9IBbgNxFpCslBnF1CfsDaVDxJKRA5lhyKXW0mLtII5Ryj7t0?= =?us-ascii?q?7IkiBFyWMxFOHe6gYZz9gPUHIvO1UKDmPD5JuwnwCfR+TLbniK1t0ZCXVs1CP2?= =?us-ascii?q?dNZj+Tk7frNC8+VmbCrHyVPIoNQxOzcPEIaxPOIWBZbpuS/LqOdCYaGW0yT7Y7?= =?us-ascii?q?fOgybaFbY6scGIYjn21NQ=3D=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AvxJRhKr5ShN2yBpCGNPUR/IaV5rweYIsimQD?= =?us-ascii?q?101hICG9vPbo8fxGuM5rqSMc7wxhJ03I+OrwRZVoJEm3yXcb2/h1AV7PZniDhI?= =?us-ascii?q?LsFvAd0WKA+UybJ8SdzJ8k6U4IScEXY72Ab2SSz/yKmzVQe+xA/DCpytHKuQ60?= =?us-ascii?q?9QYVcegFUdAG0+67MGqm+49NKTWuyaBXKHNU3KR6mwY=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AfAQBbnpdgfy3dVdFaHAEBAQEBAQcBA?= =?us-ascii?q?RIBAQQEAQFAgVeDIldgCo1LiFgdA4UqinRBijqBcwEDAQsBATAKAgQBAYEWAUS?= =?us-ascii?q?EegIdBwEENBMCBBUBAQUBAQECAQMDBAETAQENCwsIJxyFUA2COCkBg2MBAwIMB?= =?us-ascii?q?iABDQEUJAEDDAEFBRguECQBBQEBGwYTFA6CUIJVAy8EBAecX4EEPYswgTSBAYI?= =?us-ascii?q?HBoE9AQMCg0woDWOBOwIHCQEIgSiMaHknFgY/AYFLgRWDIj6CVQsBAQEBgSSGM?= =?us-ascii?q?gSDfwEBIjZYgRctkFoTmEKRcYMeiX6TcoUHhGuKQpBooTODJ4FlgT6RIAIKBwY?= =?us-ascii?q?QI4FIgXxNMAg7gmkJRxkOMI1vDBaDToE+g1aFSz8yAjYCBgEJAQEDCVYmEwsBi?= =?us-ascii?q?3QBAQ?= X-IPAS-Result: =?us-ascii?q?A0AfAQBbnpdgfy3dVdFaHAEBAQEBAQcBARIBAQQEAQFAgVe?= =?us-ascii?q?DIldgCo1LiFgdA4UqinRBijqBcwEDAQsBATAKAgQBAYEWAUSEegIdBwEENBMCB?= =?us-ascii?q?BUBAQUBAQECAQMDBAETAQENCwsIJxyFUA2COCkBg2MBAwIMBiABDQEUJAEDDAE?= =?us-ascii?q?FBRguECQBBQEBGwYTFA6CUIJVAy8EBAecX4EEPYswgTSBAYIHBoE9AQMCg0woD?= =?us-ascii?q?WOBOwIHCQEIgSiMaHknFgY/AYFLgRWDIj6CVQsBAQEBgSSGMgSDfwEBIjZYgRc?= =?us-ascii?q?tkFoTmEKRcYMeiX6TcoUHhGuKQpBooTODJ4FlgT6RIAIKBwYQI4FIgXxNMAg7g?= =?us-ascii?q?mkJRxkOMI1vDBaDToE+g1aFSz8yAjYCBgEJAQEDCVYmEwsBi3QBAQ?= X-IronPort-AV: E=Sophos;i="5.82,285,1613430000"; d="scan'208";a="380929295" X-MGA-submission: =?us-ascii?q?MDHxx6k+MZHXpjgmrNMPmXbV2QUmqodXuduEps?= =?us-ascii?q?d/tQ28lxjcOLp6NnUTaAGxV6E/TjoQHtJ8v0pZ3v5b7D5st3uAnUtaML?= =?us-ascii?q?mzCFIp7ugwpNQpfQjkyiwIXLqjpAWCVYKZpk1l01nUghctu6GHj9jBQ2?= =?us-ascii?q?0GVoECSTr6/VhNvgk8L3kEZQ=3D=3D?= Received: from mail-wr1-f45.google.com ([209.85.221.45]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 09 May 2021 10:35:06 +0200 Received: by mail-wr1-f45.google.com with SMTP id d4so13421585wru.7 for ; Sun, 09 May 2021 01:35:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=sender:date:from:to:cc:subject:message-id:references:mime-version :content-disposition:content-transfer-encoding:in-reply-to; bh=otQMzcUxY2Gl5HVvTqs3rTDOAGZWU2CEJL/EUaWv/3E=; b=FpVJYG57bh8SBqZUJ3ke3zBPCizh48v3Dl+FtpR4yrask4VuuaxSxgFCTc4vP9fp3k 9Ffbpyv2nVyKM3hNgQvnFtah76SNUcIJUCh1z5+xNiEWGFzT6HJFyMRIkTSiVY+SZbOm xoY8DlEz5lVOLkV+FsY5tDBKeknmxSER+8l84pOBHa91/LJYmH1VTJFQZWTJL0n79xXF dZ4sW9cBxWfHK2K7BgpiLMsU5L0U1fWrssUmJJpTNKhh9meRKdwgqi7rrUEsU7VvoNio yVZKAFmQdmaHGSLjepzhe9C3isZ+pBdlNQx4njTsdAiL2srPwfodTtvgIbhlcil4S7UV 30gA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:sender:date:from:to:cc:subject:message-id :references:mime-version:content-disposition :content-transfer-encoding:in-reply-to; bh=otQMzcUxY2Gl5HVvTqs3rTDOAGZWU2CEJL/EUaWv/3E=; b=g08FtwI2xh8G1n4xnTUQatYXuNTfqkhkYwWeQU9eXgJt0ep2HLwSJDpZ2qBscpa8rd yhbjh8NmadFY2oZKKcgLzQ3q2rJplUTurVxB6LpeLHelotg3gWfuHSuczV+aiBA74Dev DfSqSqI+oIx/1k+yt87opiNo8yw1K9QOTYRNpYI3cQeHGHkDY71bKzF4PQ4z3uUHN2cx yR/lf4cUFpdnzNun86IM0Yj8FfbDjwTAjRtHzwwMieZWYILk4iJZV5WKcKgcIGehhV3I DMzUZb/lT446IxVMdhrDVXRwXCkg7sPZDKmQ0iCUkO7i8seANDwBd6VYbZ0wR4rvAcVg j/RA== X-Gm-Message-State: AOAM530y4YY7mgcJOtWcqy7UZB9/JHrUtj8Wr/s3Rz2wPFpNqNpDTdhm Fp6FPyo6J33y5W4xCLkK6LNcbKYFnHT/LQ== X-Google-Smtp-Source: ABdhPJytyp4PhawjH5PIU5JTgdlL2eE72ptn0r4rlCezAatQ2GPqv3soXQf+2ph6RERlgr3DRMIQwQ== X-Received: by 2002:adf:cd0e:: with SMTP id w14mr24121766wrm.46.1620549305961; Sun, 09 May 2021 01:35:05 -0700 (PDT) Received: from traveler (82-64-46-118.subs.proxad.net. [82.64.46.118]) by smtp.gmail.com with ESMTPSA id p10sm18576281wre.84.2021.05.09.01.35.05 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 09 May 2021 01:35:05 -0700 (PDT) Sender: Roberto Di Cosmo Received: from dicosmo by traveler with local (Exim 4.94) (envelope-from ) id 1lfeu0-000C56-Hs; Sun, 09 May 2021 10:35:04 +0200 Date: Sun, 9 May 2021 10:35:04 +0200 From: Roberto Di Cosmo To: Xavier Leroy Cc: caml users Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: Subject: Re: [Caml-list] OCaml turns 25 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: https://www.dicosmo.org/Articles/2020-ReScienceC.pdf Cheers -- Roberto [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]https://sympa.inria.fr/sympa/arc/caml-list/1996-05/msg00003.html > 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. https://sympa.inria.fr/sympa/arc/caml-list/1996-05/msg00003.html -- Roberto Di Cosmo ------------------------------------------------------------------ Computer Science Professor (on leave at INRIA from IRIF/Université de Paris) Director Software Heritage https://www.softwareheritage.org INRIA Bureau C328 E-mail : roberto@dicosmo.org 2, Rue Simone Iff Web page : http://www.dicosmo.org CS 42112 Twitter : http://twitter.com/rdicosmo 75589 Paris Cedex 12 Tel : +33 1 80 49 44 42 ------------------------------------------------------------------ GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3