From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q2MAp4iR029589 for ; Thu, 22 Mar 2012 11:51:04 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ag4BAFcDa09KfVK0kGdsb2JhbABEtysIIgEBAQEJCQ0HFAQjggkBAQEEEgIeAQ0BFCQBAwwBBQUYIwsUIAEFAQEhEwkSB4doC5pmCo8EhRiJNQEFCwiKUIUeYwSVXoszgxc9gVeCM4Fb X-IronPort-AV: E=Sophos;i="4.73,629,1325458800"; d="scan'208";a="137238567" Received: from mail-we0-f180.google.com ([74.125.82.180]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 22 Mar 2012 11:50:58 +0100 Received: by werf3 with SMTP id f3so2723538wer.39 for ; Thu, 22 Mar 2012 03:50:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:date:from:to:cc:subject:message-id:references:mime-version :content-type:content-disposition:content-transfer-encoding :in-reply-to:user-agent; bh=EjBeY5Y1rCuDkX2ev7MUXXUZpeTTzx1/yAO542+PWzo=; b=L91rYj1WY/aw0MROktpmFgVjup/Vkmemam49iHQPYosjfTg6LDOUS/nN6EdusiYj+X UUavYgNpeCUM371BWX7CKlu5m7Q2LaRYMpeL9B0CF4TIGzBFndhylAumeJX+NNgnij8k riBYjhMw0QF0ZWXKLubQ50WWxBBT9UMYVqaq069EsiVh/3+ygK7c9kSZVV96pr0OCrrm nzCeKg0KugPqc57XLuR0Jsn6ZUs+nnLkNy6Iu0d3tu3BuIKG+ir+rcKC+vBbs2ciBYLt KU/GlXZr53HYZNPl4dnknQwMa1nX7dH9UWlenFlYBV9uznjy8HOo5jBvML4gwM81iHUK 94Xw== Received: by 10.180.80.70 with SMTP id p6mr3798617wix.21.1332413458557; Thu, 22 Mar 2012 03:50:58 -0700 (PDT) Received: from voyager (knopper.inria.fr. [128.93.60.80]) by mx.google.com with ESMTPS id fl2sm7389047wib.4.2012.03.22.03.50.57 (version=TLSv1/SSLv3 cipher=OTHER); Thu, 22 Mar 2012 03:50:57 -0700 (PDT) Sender: Roberto Di Cosmo Received: from dicosmo by voyager with local (Exim 4.72) (envelope-from ) id 1SAfeo-00080R-Od; Thu, 22 Mar 2012 11:54:14 +0100 Date: Thu, 22 Mar 2012 11:54:14 +0100 From: Roberto Di Cosmo To: Daniel =?iso-8859-1?Q?B=FCnzli?= Cc: caml-list@yquem.inria.fr Message-ID: <20120322105414.GD30016@voyager> References: <20120322092806.GA29219@voyager> <062C697B60F0423CBF94220A63C44633@erratique.ch> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <062C697B60F0423CBF94220A63C44633@erratique.ch> User-Agent: Mutt/1.5.20 (2009-06-14) Subject: Re: GADT examples: composable functions list (Was: Re: [Caml-list] Wanted: GADT examples: string length, counting module x) Hi Daniel, sure, never said you need, just that you can get away cheating the type system. But I need to show my students elegant and simple solutions: I want to get more OCaml users around, not scare them off :-) --Roberto On Thu, Mar 22, 2012 at 10:46:33AM +0100, Daniel Bünzli wrote: > > > Le jeudi, 22 mars 2012 à 10:28, Roberto Di Cosmo a écrit : > > > Without GADT > > ------------ > > > > One can get away cheating the type system and declaring the type > You don't need to cheat the type system with Obj without GADT. > > http://caml.inria.fr/pub/ml-archives/caml-list/2004/01/52732867110697f55650778d883ae5e9.en.html > > Not to say that it's not involved, but it's possible. > > Best, > > Daniel > > > -- --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 6C08 (6th floor) 175, rue du Chevaleret, XIII Metro Chevaleret, ligne 6 ------------------------------------------------------------------