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 ED4A27F1AA for ; Sat, 12 Sep 2015 10:04:19 +0200 (CEST) IronPort-PHdr: 9a23:BzdSGBM+Sx6ReUr4x+ol6mtUPXoX/o7sNwtQ0KIMzox0KPnzrarrMEGX3/hxlliBBdydsKIYzbOK+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuStKU1pj//tvx0qOQSj0AvCC6b7J2IUf+hiTqne5Sv7FfLL0swADCuHpCdrce72ppIVWOg0S0vZ/or9ZV2n8P4Ld5q4YADP27LOwESulTBTEidmQ0/9Gj4RLKSA/K4noHTk0XlABJCk7L9kepcI32t37Kv/R81TPSGcDsSqF8DQSr8aZmUlnMhT0AJhY49nvWg4p+lvQI81qauxVjztuMM8muP/1kc/aAJd4= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=xavier.leroy@gmail.com; spf=Pass smtp.mailfrom=xavier.leroy@gmail.com; spf=None smtp.helo=postmaster@mail-wi0-f175.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of xavier.leroy@gmail.com) identity=pra; client-ip=209.85.212.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="xavier.leroy@gmail.com"; x-sender="xavier.leroy@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of xavier.leroy@gmail.com designates 209.85.212.175 as permitted sender) identity=mailfrom; client-ip=209.85.212.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="xavier.leroy@gmail.com"; x-sender="xavier.leroy@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-wi0-f175.google.com) identity=helo; client-ip=209.85.212.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="xavier.leroy@gmail.com"; x-sender="postmaster@mail-wi0-f175.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A9AQBh2/NVlK/UVdFdg3VaD4MqvAiFfQKBNDwQAQEBAQEBAQEQAQEBAQcLCwkfMIIdggYBAhYRHQESGwoCAw0FFgMBAgMCBQMTCwILAwIBAgEiAQUBFA4NBgIBARAOh3cDEgIDpy2CBYEwPjGLQYRligonDYUTAQUOgRSFUYN3g3SBTQEBNyaCY4FDBZVWhQqCboUDghKGWhCKTYVmNYEXOGWBHC4NHIFWbwGIXYE/AQEB X-IPAS-Result: A0A9AQBh2/NVlK/UVdFdg3VaD4MqvAiFfQKBNDwQAQEBAQEBAQEQAQEBAQcLCwkfMIIdggYBAhYRHQESGwoCAw0FFgMBAgMCBQMTCwILAwIBAgEiAQUBFA4NBgIBARAOh3cDEgIDpy2CBYEwPjGLQYRligonDYUTAQUOgRSFUYN3g3SBTQEBNyaCY4FDBZVWhQqCboUDghKGWhCKTYVmNYEXOGWBHC4NHIFWbwGIXYE/AQEB X-IronPort-AV: E=Sophos;i="5.17,516,1437429600"; d="scan'208";a="145545959" Received: from mail-wi0-f175.google.com ([209.85.212.175]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 12 Sep 2015 10:04:19 +0200 Received: by wicfx3 with SMTP id fx3so86445627wic.1 for ; Sat, 12 Sep 2015 01:04:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:to:from:subject:message-id:date:user-agent:mime-version :content-type:content-transfer-encoding; bh=UM0/wd2+zjRIoUXNaXsqPZcg1CcQSp+Vixlp9kMr7Hg=; b=ss2VsjbvxqXiJGQlQzktj+edWwEOAqASjKwXnDucwftkWh+4uSmqAO0cBUTQlS/SR4 pqzcKVgkI1iUirw/a7Bb182dG/am19KvYmN+bJT3t+noVDuSdG2p4F1+XAld7KY1DOwE Aa6tIBFKkUuQDrYik4rvGZyD1HKDKvQwKQ8om7wDbfQ8I1AZ5Qu7N0H8Z0SbXiu8sN56 0ZoorxIgFahVoHvcg7zecF7Kk1oC0TDiJ0BjQRvpzUc1dDOjeBriFd5BOtBTxN5tTT3U yyyi953TcbCfuFloyLPBikE8YZjV05fLjPmplQKAprUiQ8sfvc6gBcSzJWuVyf3ZlF7x 1x3w== X-Received: by 10.194.238.39 with SMTP id vh7mr5308125wjc.109.1442045058556; Sat, 12 Sep 2015 01:04:18 -0700 (PDT) Received: from [192.168.1.2] ([179.43.176.162]) by smtp.gmail.com with ESMTPSA id gc8sm3074239wib.2.2015.09.12.01.04.17 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 12 Sep 2015 01:04:18 -0700 (PDT) Sender: Xavier Leroy To: caml-list From: Xavier Leroy Message-ID: <55F3DC7B.4070107@inria.fr> Date: Sat, 12 Sep 2015 10:04:11 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.2.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Subject: [Caml-list] 20th anniversary 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. % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%