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 q2M9kkwq026283 for ; Thu, 22 Mar 2012 10:46:46 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoICAB/0ak9KN1ZKm2dsb2JhbABEhUKyAgEBAQEBCAkLCRQnggkBAQQBI1YFCwsaAhgHBwICPQoQBhuHfQUEB6YxkhCBL44fM2MEmzqNNQ X-IronPort-AV: E=Sophos;i="4.73,629,1325458800"; d="scan'208";a="137226408" Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74]) by mail4-smtp-sop.national.inria.fr with ESMTP; 22 Mar 2012 10:46:42 +0100 Received: from heyho.local (85-234.197-178.cust.bluewin.ch [178.197.234.85]) by smtp.webfaction.com (Postfix) with ESMTP id 4768520B07BD; Thu, 22 Mar 2012 04:46:40 -0500 (CDT) Date: Thu, 22 Mar 2012 10:46:33 +0100 From: =?utf-8?Q?Daniel_B=C3=BCnzli?= To: Roberto Di Cosmo Cc: caml-list@yquem.inria.fr Message-ID: <062C697B60F0423CBF94220A63C44633@erratique.ch> In-Reply-To: <20120322092806.GA29219@voyager> References: <20120322092806.GA29219@voyager> X-Mailer: sparrow 1.5 (build 1043.1) MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Disposition: inline Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q2M9kkwq026283 Subject: Re: GADT examples: composable functions list (Was: Re: [Caml-list] Wanted: GADT examples: string length, counting module x) 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