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 813D480211 for ; Mon, 16 Oct 2017 19:32:47 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=octa@polychoron.fr; spf=Pass smtp.mailfrom=octa@polychoron.fr; spf=None smtp.helo=postmaster@relay3-d.mail.gandi.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of octa@polychoron.fr) identity=pra; client-ip=217.70.183.195; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="octa@polychoron.fr"; x-sender="octa@polychoron.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of octa@polychoron.fr designates 217.70.183.195 as permitted sender) identity=mailfrom; client-ip=217.70.183.195; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="octa@polychoron.fr"; x-sender="octa@polychoron.fr"; 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@relay3-d.mail.gandi.net) identity=helo; client-ip=217.70.183.195; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="octa@polychoron.fr"; x-sender="postmaster@relay3-d.mail.gandi.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AFMw2rh+EbeK/3/9uRHKM819IXTAuvvDOBiVQ1KB+?= =?us-ascii?q?1ugcTK2v8tzYMVDF4r011RmSAtWdtqoMotGVmp6jcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS46tL2HV93a76DpXHhTkKSJ0?= =?us-ascii?q?IP70E8jclZeZzee3rprYfwxDhCC6Z/smKx6qpC3Jsc0HiotlMKE3jBXT9CgbM9?= =?us-ascii?q?9KzH9lcArA1y334d29qcZu?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BqAwDR7ORZh8O3RtldHgYMhEMDaycHg?= =?us-ascii?q?3OZUpg1ggQKJYUWAoRWQxQBAQEBAQEBAQEBARIBAQEIDQkIKC+COCKCRAYjBAs?= =?us-ascii?q?BBVELGgImAgJXEwgBAReJdREMqnOBbTqLa4EOgh+CB4FQghaCf4RNgQSCR4JhB?= =?us-ascii?q?aFIgQCCFIRLjyBdiHOHMooii02BOTaBen4RSYJkCYIDDFSBdXQBAYoPAYEQAQE?= =?us-ascii?q?B?= X-IPAS-Result: =?us-ascii?q?A0BqAwDR7ORZh8O3RtldHgYMhEMDaycHg3OZUpg1ggQKJYU?= =?us-ascii?q?WAoRWQxQBAQEBAQEBAQEBARIBAQEIDQkIKC+COCKCRAYjBAsBBVELGgImAgJXE?= =?us-ascii?q?wgBAReJdREMqnOBbTqLa4EOgh+CB4FQghaCf4RNgQSCR4JhBaFIgQCCFIRLjyB?= =?us-ascii?q?diHOHMooii02BOTaBen4RSYJkCYIDDFSBdXQBAYoPAYEQAQEB?= X-IronPort-AV: E=Sophos;i="5.43,387,1503352800"; d="scan'208";a="296465610" Received: from relay3-d.mail.gandi.net ([217.70.183.195]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 16 Oct 2017 19:32:47 +0200 X-Originating-IP: 86.203.187.8 Received: from [192.168.1.18] (AMarseille-655-1-39-8.w86-203.abo.wanadoo.fr [86.203.187.8]) (Authenticated sender: octa@polychoron.fr) by relay3-d.mail.gandi.net (Postfix) with ESMTPSA id BB1C0A80C6 for ; Mon, 16 Oct 2017 19:32:46 +0200 (CEST) To: caml-list@inria.fr References: From: octachron Message-ID: <08f90408-3da9-c58f-7ded-f23f3620b6a3@polychoron.fr> Date: Mon, 16 Oct 2017 19:32:46 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.3.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Content-Language: en-GB Subject: Re: [Caml-list] OCaml's manual 4.06.0+beta2 Dear OCaml users, With the upcoming release of OCaml 4.06, the reference manual at http://caml.inria.fr/pub/docs/manual-ocaml will be updated. As an experiment, a beta release of this new version of the manual has been uploaded at http://www.polychoron.fr/ocaml-beta-manual/4.06 . (Note that the peculiar colour scheme is only there to mark this version as a beta version.) This new incarnation of the manual counts no less than two new chapters and one new section:  - chapter 5, "Polymorphism and its limitation",    details potential polymorphism related troubles and their solutions or workarounds;    from weakly polymorphic types (the infamous "'_a" type variables) and their link    with the relaxed value restriction, to polymorphic recursion and higher-ranked    polymorphic function:    http://www.polychoron.fr/ocaml-beta-manual/4.06/polymorphism.html  - section 10.6, "The native toplevel: ocamlnat",    describes the experimental native toplevel and in particular how to build it: http://www.polychoron.fr/ocaml-beta-manual/4.06/toplevel.html#sec296  - chapter 24, "Compiler plugins",    covers briefly the basic of ocaml-side plugins with a basic hello-world plugin example:    http://www.polychoron.fr/ocaml-beta-manual/4.06/plugins.html Moreover, four sections of the language extension chapter have been (mostly) integrated into the first part of the manual:   - field punning and functional update for records ("{ r with x = y }" and   "{ x; y }"): http://www.polychoron.fr/ocaml-beta-manual/4.06/coreexamples.html#sec11   - local opens ("let open M in … " and "M.(…)"): http://www.polychoron.fr/ocaml-beta-manual/4.06/moduleexamples.html#sec18   - overriding class definitions ("method!" and "val!"): http://www.polychoron.fr/ocaml-beta-manual/4.06/objectexamples.html#sec32   - explicit polymorphic type annotations ("f: 'a. 'a -> 'a") are now part of   the new chapter 5, "Polymorphism and its limitation" . Lastly, the "num" library will no longer be distributed with the compiler. Consequently, its documentation has been replaced by links to the new "num" repository and "Zarith" repository. This release also includes also a lot of smaller bug fixes and documentations for new features described in the full change logs for 4.06 . All comments on this new iteration of the manual are more than welcome. Best wishes, Florian "octachron" Angeletti.