From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id BE98CBBAF for ; Wed, 27 Oct 2010 23:07:48 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: As0AABYxyEzU4367kWdsb2JhbACTTI13FQEBAgkLCgcRAx/BCYVIBIpTgwg X-IronPort-AV: E=Sophos;i="4.58,247,1286143200"; d="scan'208";a="64450107" Received: from moutng.kundenserver.de ([212.227.126.187]) by mail3-smtp-sop.national.inria.fr with ESMTP; 27 Oct 2010 23:07:48 +0200 Received: from st11 (p5B109CC4.dip0.t-ipconnect.de [91.16.156.196]) by mrelayeu.kundenserver.de (node=mreu2) with ESMTP (Nemesis) id 0MTKuR-1P4RKm1kRj-00SBca; Wed, 27 Oct 2010 23:07:47 +0200 Received: from [192.168.178.22] (stephanie-laptop.fritz.box [192.168.178.22]) by st11 (Postfix) with ESMTP id 9838D29E6F for ; Wed, 27 Oct 2010 23:07:36 +0200 (CEST) Message-ID: <4CC894A2.80206@hars.de> Date: Wed, 27 Oct 2010 23:07:46 +0200 From: Florian Hars User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.2.11) Gecko/20101006 Thunderbird/3.1.5 MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Generalized Algebraic Datatypes References: In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Provags-ID: V02:K0:qWpbnHeci65+bo0IP8oQvtFKoq+C68fGBxyBpc5Xdfw R+8RAOvKoc5ETp8eFL+o60GeUmftPfami3TAm4EGjWO/g3hKfl rtqirlUPZnqK9CGaK19ovkrAQhUjw2JP2+HwUkj1Whk5KlhTuC Io7i7P5I/caKXq2X+HlWClGMfhdqxuZCVOvINfbe/o/xSINOtH qDyZZv9lVtbFD4aJP2HXQ== X-Spam: no; 0.00; hars:01 hars:01 datatypes:01 o'caml:01 compiler:01 o'caml:01 datatypes:01 oleg:01 experimental:01 caml-list:01 florian:03 florian:03 algebraic:03 algebraic:03 jacques:03 Am 25.10.2010 10:39, schrieb Jacques Le Normand: > I am pleased to announce an experimental branch of the O'Caml compiler: > O'Caml extended with Generalized Algebraic Datatypes. Of course, some would claim than 3.12 is already almost there: http://okmij.org/ftp/ML/first-class-modules/#naive-GADTs (not that I usually understand what Oleg does...) - Florian