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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id A7D907F734 for ; Sat, 12 Sep 2015 15:09:42 +0200 (CEST) IronPort-PHdr: 9a23:32kTHR9E3PVUxP9uRHKM819IXTAuvvDOBiVQ1KB92ukcTK2v8tzYMVDF4r011RmSDdmdsq4MotGVmp6jcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47AblHf6ke/8SQVUk2mc1EleqKsRsb7tIee6aObw9XreQJGhT6wM/tZDS6dikHvjPQQmpZoMa0ryxHE8TNicuVSwn50dxrIx06vru/5xpNo8jxRtvQ97IYAFPyiJ+Vre4dFFywrOHwZ48jitB+LDVfepyhUbmJDohNWAgXfpDX3RJDg+n/Kv/R81TPcGcDsSqEcWDK47q4tRgW+2wkdMDtsymbdh9Zsi+p3oVqKoAd6xMaAeoafOeBieYvRfNgdXm9GGMFLWHoSUcuHc4ITAr9Zbq5jpI7nqg5L8EKz 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-la0-f43.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.215.43; 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.215.43 as permitted sender) identity=mailfrom; client-ip=209.85.215.43; 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-la0-f43.google.com) identity=helo; client-ip=209.85.215.43; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="postmaster@mail-la0-f43.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A3AQBDI/RVmyvXVdFdg3djBgaDJKklh1eLEIV5AoEYBzwQAQEBAQEBAQEQAQEBAQEGCwsJIS6CHYIGAQEBAwESER0BFBkLAQMBCwEFAwILBgMBAg0BHQICIhIBBQEKCggGEwkJAg6HdwMKCAgFmT6PQ4EwPjGLQYRliggnAwqEbQEBAQEBAQQBAQEBAQEBFQEFDoRVgRWEcoEGgm6BTQEBPwwBEYJjgUMFhXsMgSqLAoMjhQqCboUDgUxGkS4Jg0aCIBIjgRcRJ2WBSg0cgVY8MwGIXYE/AQEB X-IPAS-Result: A0A3AQBDI/RVmyvXVdFdg3djBgaDJKklh1eLEIV5AoEYBzwQAQEBAQEBAQEQAQEBAQEGCwsJIS6CHYIGAQEBAwESER0BFBkLAQMBCwEFAwILBgMBAg0BHQICIhIBBQEKCggGEwkJAg6HdwMKCAgFmT6PQ4EwPjGLQYRliggnAwqEbQEBAQEBAQQBAQEBAQEBFQEFDoRVgRWEcoEGgm6BTQEBPwwBEYJjgUMFhXsMgSqLAoMjhQqCboUDgUxGkS4Jg0aCIBIjgRcRJ2WBSg0cgVY8MwGIXYE/AQEB X-IronPort-AV: E=Sophos;i="5.17,517,1437429600"; d="scan'208";a="145560511" Received: from mail-la0-f43.google.com ([209.85.215.43]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 12 Sep 2015 15:09:41 +0200 Received: by lanb10 with SMTP id b10so62451744lan.3; Sat, 12 Sep 2015 06:09:40 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:date:message-id:subject :from:to:cc:content-type; bh=25jzp8nuEC+Lfp/knaQKhx6wncZ4DrnlQgep7W7/ycg=; b=EncsdB7iS4d8bE2G/4Oh0kqiansNt8pmBamWVbb5ekF7cFRYyxFcmugxH4O7EQo1YV VeM/zS08E4upbsLKYyPikjcc5fxALzq+Ck2jb0oogpUoe+67/i/sVlHcdtSHGB5jGPTV TFz9sqwydN1x7ImfKP4ba6CWPEQVlcXPRBFbFaw1O30iNEOkgavRiqtxMOl0129NgSW3 jGPWKOZZOl4OGuYI1UJ8jC23Del3YLQLdQb9VYtyKB0KyPzCP+WWN1z8Yh+myNmPgJw7 X8GXisUrIcXcjIiyTiF00ymlgcLbldxkzrznDSuoJfM9Eh0dSqUMVP8PxGXQzLVorPNs S0Ow== MIME-Version: 1.0 X-Received: by 10.152.244.170 with SMTP id xh10mr3783734lac.7.1442063379884; Sat, 12 Sep 2015 06:09:39 -0700 (PDT) Sender: rdicosmo@gmail.com Received: by 10.112.145.132 with HTTP; Sat, 12 Sep 2015 06:09:39 -0700 (PDT) In-Reply-To: <55F3DC7B.4070107@inria.fr> References: <55F3DC7B.4070107@inria.fr> Date: Sat, 12 Sep 2015 15:09:39 +0200 X-Google-Sender-Auth: q0L1VBrDVSJ6zZl7R9U5aSXFSCU Message-ID: From: Roberto Di Cosmo To: Xavier Leroy Cc: caml-list Content-Type: multipart/alternative; boundary=001a1134b65e80713a051f8c8b02 Subject: Re: [Caml-list] 20th anniversary --001a1134b65e80713a051f8c8b02 Content-Type: text/plain; charset=UTF-8 And a *huge* thanks for bringing us all this fantastic language, Xavier! I keep as one of my most fond memories the fantastic teamwork at Formel, then Cristal, then Gallium, that brought together under your direction some of the brightest minds on the many challenges in language design, and that led to what OCaml is today, one of the most beautiful languages I know. Let me offer the best whishes for the future of OCaml: I'm looking forward to see the sound, principled, elegant approach that lies at the heart of OCaml expand to all its ecosystem. Long live OCaml! -- Roberto 2015-09-12 10:04 GMT+02:00 Xavier Leroy : > Twenty years ago to this day, on Sept 12th 1995, the mail below announced > the availability of Caml Special Light 1.06. This was the first public > release of the programming language and system that was to become Objective > Caml, then OCaml. > > All the Caml Special Light language design is still there today in OCaml; > likewise, parts of the implementation are clearly recognizable in the > latest > OCaml sources. However, in 20 years, the language picked up many language > features that were open research problems in 1995, such as objects and > classes with type inference, polymorphic variants, first-class > polymorphism, > and first-class modules. Likewise, the implementation, initially targeted > to Unix workstations, is now running on an amazing variety of platforms, > from $35 Raspberry Pi to mainframes with 1 TB of RAM to cloud distributed > systems. > > The most spectacular evolution of those 20 years is certainly the growth of > the user's community and programming ecosystem. Many application areas of > OCaml were not expected, such as financial applications and systems > programming; others, such as Web programming and bioinformatics, did not > even exist in 1995. Likewise, the amount of freely available libraries, > programming tools, programming environments, teaching material, and > infrastructure (OPAM & the Platform) is well beyond my wildest dreams of > the > time. A big "thank you" to the great many people who contributed to this > success! > > Far from slowing down, OCaml's development has been picking up momentum > recently. The next 20 years of OCaml will be exciting indeed! > > - Xavier Leroy, on behalf of the core Caml development team > > > From: Xavier Leroy > Message-Id: <199509120927.LAA00417@pauillac.inria.fr> > Subject: Release 1.06 of Caml Special Light > To: caml-list@pauillac.inria.fr > Date: Tue, 12 Sep 1995 11:27:13 +0200 (MET DST) > > Announcing Caml Special Light 1.06, the first public release of the > Caml Special Light system. > > Caml Special Light is a complete reimplementation of Caml Light that > adds a powerful module system in the style of Standard ML. The module > system is based on the notion of manifest types / translucent sums; it > supports Modula-style separate compilation, and fully transparent > higher-order functors (see the papers in the POPL 94 and 95 > proceedings). > > Caml Special Light comprises two compilers: a bytecode compiler in the > style of Caml Light (but up to twice as fast), and a high-performance > native code compiler for the following platforms: > > Alpha processors: DecStation 3000 under OSF1 > Sparc processors: Sun Sparcstation under SunOS 4.1 or Solaris 2 > Intel 386 / 486 / Pentium processors: PCs under Linux > Mips processors: DecStation 3100 and 5000 under Ultrix 4 > > The native-code compiler delivers excellent performance (better than > Standard ML of New Jersey 1.08 on our tests), while retaining the > moderate memory requirements of the bytecode compiler. > > Caml Special Light is still in the experimental state: the base > language has changed and will change again in significant ways, > source-level compatibility is not ensured, the implementation is > alpha-release quality, and many Caml Light tools and libraries have > not yet been ported to Caml Special Light. The present release is > targeted towards testers, adventurous souls, and users with strong > interest in modules and high-performance compilation; other users are > encouraged to stay with Caml Light 0.7 for a while. > > The source distribution (for Unix machines only) is available by > anonymous FTP on ftp.inria.fr, directory lang/caml-light. > > More information on Caml Special Light is available on the World Wide > Web, at http://pauillac.inria.fr/csl/. > > Bug reports and technical questions should be directed to > caml-light@pauillac.inria.fr. For general questions and comments, > use the Caml mailing list caml-list@pauillac.inria.fr (to subscribe: > caml-list-request@pauillac.inria.fr). > > - Xavier Leroy > > %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% > % Caml Special Light "Taste Caml in a whole new Light" % > % caml-light@pauillac.inria.fr % > % Projet Cristal, INRIA, B.P.105, 78153 Le Chesnay, France. % > %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% > > > > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > -- Roberto Di Cosmo ------------------------------------------------------------------ Professeur En delegation a l'INRIA PPS E-mail: roberto@dicosmo.org Universite Paris Diderot WWW : http://www.dicosmo.org Case 7014 Tel : ++33-(0)1-57 27 92 20 5, Rue Thomas Mann F-75205 Paris Cedex 13 Identica: http://identi.ca/rdicosmo FRANCE. Twitter: http://twitter.com/rdicosmo ------------------------------------------------------------------ Attachments: MIME accepted, Word deprecated http://www.gnu.org/philosophy/no-word-attachments.html ------------------------------------------------------------------ Office location: Bureau 320 (3rd floor) Batiment Sophie Germain Avenue de France Metro Bibliotheque Francois Mitterrand, ligne 14/RER C ----------------------------------------------------------------- GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3 --001a1134b65e80713a051f8c8b02 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
And a *huge* thanks for bringing us all this fantastic lan= guage, Xavier!

I keep as one of my most fond memories the fant= astic teamwork at Formel, then Cristal, then Gallium, that brought together= under your direction some of the brightest minds on the many challenges in= language design, and that led to what OCaml is today, one of the most beau= tiful languages I know.

Let me offer the bes= t whishes for the future of OCaml: I'm looking forward to see the sound= , principled, elegant approach that lies at the heart of OCaml expand to al= l its ecosystem.

Long live OCaml!

--
Roberto



2015-09-12 10:04 GMT+= 02:00 Xavier Leroy <Xavier.Leroy@inria.fr>:
Twenty years ago to this day, on Sept 12th 1995, the = mail below announced
the availability of Caml Special Light 1.06.=C2=A0 This was the first publi= c
release of the programming language and system that was to become Objective=
Caml, then OCaml.

All the Caml Special Light language design is still there today in OCaml; likewise, parts of the implementation are clearly recognizable in the lates= t
OCaml sources.=C2=A0 However, in 20 years, the language picked up many lang= uage
features that were open research problems in 1995, such as objects and
classes with type inference, polymorphic variants, first-class polymorphism= ,
and first-class modules.=C2=A0 Likewise, the implementation, initially targ= eted
to Unix workstations, is now running on an amazing variety of platforms,
from $35 Raspberry Pi to mainframes with 1 TB of RAM to cloud distributed systems.

The most spectacular evolution of those 20 years is certainly the growth of=
the user's community and programming ecosystem.=C2=A0 Many application = areas of
OCaml were not expected, such as financial applications and systems
programming; others, such as Web programming and bioinformatics, did not
even exist in 1995.=C2=A0 Likewise, the amount of freely available librarie= s,
programming tools, programming environments, teaching material, and
infrastructure (OPAM & the Platform) is well beyond my wildest dreams o= f the
time.=C2=A0 A big "thank you" to the great many people who contri= buted to this
success!

Far from slowing down, OCaml's development has been picking up momentum=
recently.=C2=A0 The next 20 years of OCaml will be exciting indeed!

- Xavier Leroy, on behalf of the core Caml development team


From: Xavier Leroy <xleroy@p= auillac.inria.fr>
Message-Id: <= 199509120927.LAA00417@pauillac.inria.fr>
Subject: Release 1.06 of Caml Special Light
To: caml-list@pauillac.inria= .fr
Date: Tue, 12 Sep 1995 11:27:13 +0200 (MET DST)

Announcing Caml Special Light 1.06, the first public release of the
Caml Special Light system.

Caml Special Light is a complete reimplementation of Caml Light that
adds a powerful module system in the style of Standard ML. The module
system is based on the notion of manifest types / translucent sums; it
supports Modula-style separate compilation, and fully transparent
higher-order functors (see the papers in the POPL 94 and 95
proceedings).

Caml Special Light comprises two compilers: a bytecode compiler in the
style of Caml Light (but up to twice as fast), and a high-performance
native code compiler for the following platforms:

=C2=A0 =C2=A0 =C2=A0 =C2=A0 Alpha processors: DecStation 3000 under OSF1
=C2=A0 =C2=A0 =C2=A0 =C2=A0 Sparc processors: Sun Sparcstation under SunOS = 4.1 or Solaris 2
=C2=A0 =C2=A0 =C2=A0 =C2=A0 Intel 386 / 486 / Pentium processors: PCs under= Linux
=C2=A0 =C2=A0 =C2=A0 =C2=A0 Mips processors: DecStation 3100 and 5000 under= Ultrix 4

The native-code compiler delivers excellent performance (better than
Standard ML of New Jersey 1.08 on our tests), while retaining the
moderate memory requirements of the bytecode compiler.

Caml Special Light is still in the experimental state: the base
language has changed and will change again in significant ways,
source-level compatibility is not ensured, the implementation is
alpha-release quality, and many Caml Light tools and libraries have
not yet been ported to Caml Special Light. The present release is
targeted towards testers, adventurous souls, and users with strong
interest in modules and high-performance compilation; other users are
encouraged to stay with Caml Light 0.7 for a while.

The source distribution (for Unix machines only) is available by
anonymous FTP on ftp.inria.fr, directory lang/caml-light.

More information on Caml Special Light is available on the World Wide
Web, at http://pauillac.inria.fr/csl/.

Bug reports and technical questions should be directed to
caml-light@pauillac.inria.f= r. For general questions and comments,
use the Caml mailing list ca= ml-list@pauillac.inria.fr (to subscribe:
caml-list-request@pa= uillac.inria.fr).

- Xavier Leroy

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Caml Special Light=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 "Taste Caml in a whole new Light" %
% caml-light@pauillac.inria= .fr=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 %
% Projet Cristal, INRIA, B.P.105, 78153 Le Chesnay, France.=C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%




--
Caml-list mailing list.=C2=A0 Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocam= l_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs



--
Roberto Di Cosmo
=C2=A0
---------------------------------------------------= ---------------
Professeur =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 En delegation a l'INRIA
PPS =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0E-mail: roberto@dicosmo.org
<= div>Universite Paris Diderot WWW =C2=A0: http://www.dicosmo.org
Case 7014 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Tel =C2=A0: ++33-(0)1-57 27= 92 20
5, Rue Thomas Mann =C2=A0 =C2=A0 =C2=A0=C2=A0
F-= 75205 Paris Cedex 13 =C2=A0 Identica: http://identi.ca/rdicosmo
FRANCE. =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Twitter: http://twitter.com/rdicosmo<= /a>
=
---------------------------------------------= ---------------------
Office location:
=C2=A0
Bureau 320 (3rd floor)
Batiment Sophie Germain
Avenue = de France
Metro Bibliotheque Francois Mitterrand, ligne 14/RER C<= /div>
-----------------------------------------------------------------=
GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3=C2= =A0
--001a1134b65e80713a051f8c8b02--