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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id BBE807F734 for ; Sat, 12 Sep 2015 15:03:00 +0200 (CEST) IronPort-PHdr: 9a23:WbFnBxacWrw1vC+sb6mt1Gn/LSx+4OfEezUN459isYplN5qZpcW5bnLW6fgltlLVR4KTs6sC0LqK9fm8EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35jxjrz60qaQSjsLrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGx48sgs/M9YUKj8Y79wDfkBVGxnYCgJ45jbvAfCQBHHwnYGVXRexipBHQnI9lfeU432owP7sPB80W+UJ5uyBbs9XDDn66ZwVDfpjj0GPng36jL5kMt12YJcph2roFRNw4fSb8nBPv10bKPUe9xDFDoRdslUXi1FRIi7at1cXKI6Ie9Eotyl9BM1phykCFzpXbu3xw== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=bobzhang1988@gmail.com; spf=Pass smtp.mailfrom=bobzhang1988@gmail.com; spf=None smtp.helo=postmaster@mail-qk0-f180.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of bobzhang1988@gmail.com) identity=pra; client-ip=209.85.220.180; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="bobzhang1988@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of bobzhang1988@gmail.com designates 209.85.220.180 as permitted sender) identity=mailfrom; client-ip=209.85.220.180; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="bobzhang1988@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qk0-f180.google.com) identity=helo; client-ip=209.85.220.180; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="postmaster@mail-qk0-f180.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CFAQBuIfRVlbTcVdFdg3dpgyquK41dhX0CgR88EAEBAQEBAQEBEAEBAQEHDQkJHzCCHYIGAQEBBBIRFQgBGxIKAgMMBgULBgMBAgECAgUDEwsCAgkDAgECARERAQUBFAgGAQwGAgEBEA6HdgEDEgWpCIEwPjGLQYFsgnmJZQoZJw1WhBcBAQEBAQEEAQEBAQEBARUBBQ6BFIlIgQaCboFNAQE3IAaCY4FDAQSVTweFCoJuhQOCEoZail2FZjWBFziCLw0cgXBVAYhdgT8BAQE X-IPAS-Result: A0CFAQBuIfRVlbTcVdFdg3dpgyquK41dhX0CgR88EAEBAQEBAQEBEAEBAQEHDQkJHzCCHYIGAQEBBBIRFQgBGxIKAgMMBgULBgMBAgECAgUDEwsCAgkDAgECARERAQUBFAgGAQwGAgEBEA6HdgEDEgWpCIEwPjGLQYFsgnmJZQoZJw1WhBcBAQEBAQEEAQEBAQEBARUBBQ6BFIlIgQaCboFNAQE3IAaCY4FDAQSVTweFCoJuhQOCEoZail2FZjWBFziCLw0cgXBVAYhdgT8BAQE X-IronPort-AV: E=Sophos;i="5.17,517,1437429600"; d="scan'208";a="177118023" Received: from mail-qk0-f180.google.com ([209.85.220.180]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 12 Sep 2015 15:02:59 +0200 Received: by qkap81 with SMTP id p81so42442311qka.2; Sat, 12 Sep 2015 06:02:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:subject:references :in-reply-to:content-type:content-transfer-encoding; bh=AIkWJIs3SQg/Lrfna2ohd8Rj7Vo8bDW0lJiNlC12NBg=; b=QXyhcZBgl+2mexfZSgwLzq4WTJlfugWOfUhE/Dw+nvM5jjRw1cansg36CdViN0dvQR leg43xL4XO0lizE+aA83kniDfmRhO5WRAXQziX2ZO4TVUfxbo1a6cP41GoMrwB67AC7U 5IFnM2ke1El1/2ybgHgkqcDLtPRufxdj7wy8BjneJpcWA1+rIzvUWl2fvrAOS2zduaNj ZzDv3EkpRctiehfW4jZAKbDl//xGji3SZW5hjHFeTTMA8+2DYBJLOIDIoDf5ZORVpGc1 bD4RnBYUBS6k0WAeeqAtutgJpw1CZ1FhnWhI+eAB7/TJvUCEVPRvuOhKTjIRnF/hI24b eruQ== X-Received: by 10.55.22.85 with SMTP id g82mr6180758qkh.70.1442062978452; Sat, 12 Sep 2015 06:02:58 -0700 (PDT) Received: from Hongbos-MacBook-Pro.local (65-78-2-104.c3-0.nyr-ubr3.nyr.ny.cable.rcn.com. [65.78.2.104]) by smtp.googlemail.com with ESMTPSA id t69sm2010570qki.11.2015.09.12.06.02.57 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 12 Sep 2015 06:02:57 -0700 (PDT) Message-ID: <55F422EE.5080103@gmail.com> Date: Sat, 12 Sep 2015 09:04:46 -0400 From: Hongbo Zhang User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:31.0) Gecko/20100101 Thunderbird/31.5.0 MIME-Version: 1.0 To: Xavier Leroy , caml-list@inria.fr References: <55F3DC7B.4070107@inria.fr> In-Reply-To: <55F3DC7B.4070107@inria.fr> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] 20th anniversary Hi Xavier, Thanks for making such a great language, I am as young as you were 20 years ago, you are my role model :-) On 9/12/15 4:04 AM, Xavier Leroy wrote: > 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. % > %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% > > > > >