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 VAA16956; Fri, 20 Jul 2001 21:08:10 +0200 (MET DST) 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 VAA16942 for ; Fri, 20 Jul 2001 21:08:09 +0200 (MET DST) Received: from snfc21.pbi.net (mta5.snfc21.pbi.net [206.13.28.241]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f6KJ88P26989 for ; Fri, 20 Jul 2001 21:08:08 +0200 (MET DST) Received: from checkerlap.d6.com ([64.160.52.30]) by mta5.snfc21.pbi.net (iPlanet Messaging Server 5.1 (built May 7 2001)) with ESMTP id <0GGS00J1KD30ZG@mta5.snfc21.pbi.net> for caml-list@inria.fr; Fri, 20 Jul 2001 12:06:37 -0700 (PDT) Date: Fri, 20 Jul 2001 12:08:20 -0700 From: Chris Hecker Subject: [Caml-list] Views In-reply-to: X-Sender: def6@shell16.ba.best.com To: "Krishnaswami, Neel" , caml-list@inria.fr Message-id: <4.3.2.7.2.20010720120634.02996930@shell16.ba.best.com> MIME-version: 1.0 X-Mailer: QUALCOMM Windows Eudora Version 4.3.2 Content-type: text/plain; charset=us-ascii Content-transfer-encoding: 7BIT Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > Personally, I like views; here are some references >so you can judge for yourself: >http://www.cs.columbia.edu/~cdo/papers.html#ml98views >http://cm.bell-labs.com/cm/cs/who/wadler/papers/view/view.dvi >http://www.cs.orst.edu/~erwig/papers/abstracts.html#IFL96 Those are excellent! Exactly what I wanted and have wanted for a while when I realized that pattern matching didn't work on abstract types. Is there any chance of getting something like this into ocaml? What do the INRIA folks think about the idea? Chris ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr