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 SAA17218; Thu, 29 Jan 2004 18:13:20 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 SAA17440 for ; Thu, 29 Jan 2004 18:13:18 +0100 (MET) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from wetware.com (wetware.wetware.com [199.108.16.1]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id i0THDHv19337 for ; Thu, 29 Jan 2004 18:13:18 +0100 (MET) Received: from [208.177.152.18] (helo=[10.0.1.7]) by wetware.com with esmtp (Exim 4.20) id 1AmFjA-0001Rc-Hv; Thu, 29 Jan 2004 09:13:16 -0800 In-Reply-To: <20040129162048.GA29094@force.stwing.upenn.edu> References: <20040127063230.GA12482@inv_machine> <200401282326.i0SNQntl004612@bismarck-chet.watson.ibm.com> <40184A2F.6040007@dcs.qmul.ac.uk> <200401290000.i0T00ntl006988@bismarck-chet.watson.ibm.com> <40184FB9.4000808@dcs.qmul.ac.uk> <200401290034.i0T0Yutl009000@bismarck-chet.watson.ibm.com> <20040129162048.GA29094@force.stwing.upenn.edu> Mime-Version: 1.0 (Apple Message framework v612) Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: <6C1153CA-527E-11D8-9FE3-000393B8133A@wetware.com> Content-Transfer-Encoding: 7bit Cc: The Trade From: james woodyatt Subject: Re: fancy types (was Re: [Caml-list] ocaml killer) Date: Thu, 29 Jan 2004 09:13:13 -0800 To: William Lovas X-Mailer: Apple Mail (2.612) X-Loop: caml-list@inria.fr X-Spam: no; 0.00; woodyatt:01 jhw:01 wetware:01 caml-list:01 lovas:01 deque:01 unifying:01 woodyatt:01 jhw:01 wetware:01 ocaml:01 exists:01 discouraged:03 discouraged:03 typing:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On 29 Jan 2004, at 08:20, William Lovas wrote: > [...] (which already exists in the standard library, it being > mysteriously named Obj.magic and its use being highly discouraged). > In all > of my scenarios, regular old parametric polymorphism was able to > handle the > typing. In what sort of situation have you needed this identity > function? I needed to use it in two places in the Cf library I recently released. 1) In Cf_deque, for bootstrapping the data structure. 2) In Cf_gadget, for unifying continuations in the scheduler. Its use is highly discouraged for good reason. You don't want to know what it was like trying to get the bugs out of code that used this function improperly. -- j h woodyatt markets are only free to the people who own them. ------------------- 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