From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 6DC5CBC84 for ; Wed, 30 Mar 2005 20:49:47 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j2UInkpY026161 for ; Wed, 30 Mar 2005 20:49:46 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA07880 for ; Wed, 30 Mar 2005 20:49:46 +0200 (MET DST) Received: from mail21.sea5.speakeasy.net (mail21.sea5.speakeasy.net [69.17.117.23]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j2UIniaM003036 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Wed, 30 Mar 2005 20:49:45 +0200 Received: (qmail 6368 invoked from network); 30 Mar 2005 18:49:43 -0000 Received: from shell4.sea5.speakeasy.net ([69.17.116.5]) (envelope-sender ) by mail21.sea5.speakeasy.net (qmail-ldap-1.03) with AES256-SHA encrypted SMTP for ; 30 Mar 2005 18:49:42 -0000 Date: Wed, 30 Mar 2005 10:49:42 -0800 (PST) From: brogoff To: Jacques Carette Cc: Ocaml Subject: Re: [Caml-list] Pervasives.compare output type In-Reply-To: Message-ID: References: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Miltered: at concorde with ID 424AF4CA.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 424AF4C8.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 pervasives:01 haskell:01 ralf:01 haskell:01 ocaml:01 polymorphism:01 metaocaml:01 ocaml:01 compiler:01 bytecode:01 advancing:98 ...:98 wrote:01 speakeasy:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: On Wed, 30 Mar 2005, Jacques Carette wrote: > But theory is also advancing rapidly. Haskell 6.4's inclusion of GADTs in > the core language is exerting a powerful pull on me. I know exactly what you mean :-). I'm sure you're aware that people at INRIA are working on GADT's as well. I have to say, the idea is intriguing, I first read about them from Ralf Hinze's "Fun With Phantom Types" where he suggests using them to do away with type classes in Haskell. One problem with all of these "sexy types" is that as you cram all of this into a language, it gets very complex if you don't throw something else out. What should get thrown out of OCaml if GADTs get in? :-/ > On another front, System E looks like a promising 'replacement' for System F > based polymorphism - that might be a 'radical' change ;-). But right now metaocaml is keeping me > programming in ocaml... When it's integrated into the mainstream release, including the native code compiler (only bytecode last time I looked) I'll look again. -- Brian