From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA26718; Thu, 24 Jun 2004 19:10:10 +0200 (MET DST) 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 TAA26745 for ; Thu, 24 Jun 2004 19:10:09 +0200 (MET DST) Received: from eris.rz.uni-saarland.de (eris.rz.uni-saarland.de [134.96.7.8]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i5OHA8EV016246 for ; Thu, 24 Jun 2004 19:10:08 +0200 Received: from cs.uni-sb.de (cs.uni-sb.de [134.96.254.254]) by eris.rz.uni-saarland.de (8.12.10/8.12.10) with ESMTP id i5OHA6TC18647773 for ; Thu, 24 Jun 2004 19:10:07 +0200 (CEST) Received: from mail.cs.uni-sb.de (mail.cs.uni-sb.de [134.96.254.200]) by cs.uni-sb.de (8.13.0/2004062200) with ESMTP id i5OHA5Bi015137 for ; Thu, 24 Jun 2004 19:10:06 +0200 (CEST) Received: from ps.uni-sb.de (grizzly.ps.uni-sb.de [134.96.186.68]) by mail.cs.uni-sb.de (8.13.0/2004062200) with ESMTP id i5OHA15t000819 for ; Thu, 24 Jun 2004 19:10:05 +0200 (CEST) X-Authentication-Warning: email: Host grizzly.ps.uni-sb.de [134.96.186.68] claimed to be ps.uni-sb.de Received: from ps.uni-sb.de (groove.ps.uni-sb.de [134.96.186.172]) by ps.uni-sb.de (8.12.10/8.12.10) with ESMTP id i5OGl3p0022421; Thu, 24 Jun 2004 18:47:03 +0200 Message-ID: <40DB0587.4090403@ps.uni-sb.de> Date: Thu, 24 Jun 2004 18:47:03 +0200 From: Andreas Rossberg User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.4.1) Gecko/20031114 X-Accept-Language: en-us, en MIME-Version: 1.0 To: "'caml-list'" Subject: Re: [Caml-list] Why must types be always defined at the top level? References: <20040624142732.9767110EF06@clark.cs.brown.edu> In-Reply-To: <20040624142732.9767110EF06@clark.cs.brown.edu> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-AntiVirus: checked by AntiVir Milter 1.0.6; AVE 6.26.0.3; VDF 6.26.0.6 X-Miltered: at nez-perce with ID 40DB0AF0.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; rossberg:01 rossberg:01 uni-sb:01 caml-list:01 stupid:01 uni-sb:01 equality:01 equality:01 sml:01 type-checker:02 wrote:03 harper:03 types:03 types:03 seems:05 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk John Hughes wrote: > > 1. Why no eqtypes? The idea of having the type-checker verify that you > weren't doing equality testing on non-equality-testable types seemed > like GOOD thing in SML, and I was surprised to see it gone. To cite Bob Harper: "Equality types are stupid and should have been dropped ages ago." Unfortunately, nobody seems to have a satisfying alternative either. - Andreas -- Andreas Rossberg, rossberg@ps.uni-sb.de Let's get rid of those possible thingies! -- TB ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners