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 AAA09651; Sun, 28 Jul 2002 00:01:52 +0200 (MET DST) Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id AAA09385 for caml-list@pauillac.inria.fr; Sun, 28 Jul 2002 00:01:51 +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 AAA27777 for ; Sat, 27 Jul 2002 00:40:12 +0200 (MET DST) Received: from swordfish.cs.caltech.edu (swordfish.cs.caltech.edu [131.215.44.124]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g6QMeBX00286 for ; Sat, 27 Jul 2002 00:40:11 +0200 (MET DST) Received: from orchestra.cs.caltech.edu (orchestra.cs.caltech.edu [131.215.44.20]) by swordfish.cs.caltech.edu (Postfix) with ESMTP id 83929DF267; Fri, 26 Jul 2002 15:40:09 -0700 (PDT) Received: (from mvanier@localhost) by orchestra.cs.caltech.edu (8.11.6/8.9.3) id g6QMe8715898; Fri, 26 Jul 2002 15:40:08 -0700 Date: Fri, 26 Jul 2002 15:40:08 -0700 Message-Id: <200207262240.g6QMe8715898@orchestra.cs.caltech.edu> X-Authentication-Warning: orchestra.cs.caltech.edu: mvanier set sender to mvanier@cs.caltech.edu using -f From: Michael Vanier To: checker@d6.com Cc: caml-list@inria.fr In-reply-to: <4.3.2.7.2.20020726153129.02ac9100@mail.d6.com> (message from Chris Hecker on Fri, 26 Jul 2002 15:33:06 -0700) Subject: Re: wanted features (was: Re: [Caml-list] Bigarray map & set/get (long)) References: <4.3.2.7.2.20020725105657.024dbef0@mail.d6.com> <4.3.2.7.2.20020724194422.028aa970@mail.d6.com> <20020719.155940.19123621.Christophe.Troestler@umh.ac.be> <20020719.155940.19123621.Christophe.Troestler@umh.ac.be> <20020722113136.A10720@pauillac.inria.fr> <4.3.2.7.2.20020724194422.028aa970@mail.d6.com> <4.3.2.7.2.20020725105657.024dbef0@mail.d6.com> <4.3.2.7.2.20020726153129.02ac9100@mail.d6.com> Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Yes, I meant about views. Thanks. Here's a good reference: http://citeseer.nj.nec.com/5295.html Mike > Date: Fri, 26 Jul 2002 15:33:06 -0700 > From: Chris Hecker > > >Could you give an example? I'm a bit fuzzy on what you mean by this. > > By which? Views? > > http://www.google.com/search?q=views+pattern+matching+abstract+data+types > > Chris > > > At 22:44 7/25/02 -0700, Michael Vanier wrote: > > > > Date: Thu, 25 Jul 2002 11:11:08 -0700 > > > From: Chris Hecker > > > > > > [*] My current list of needed/wanted language features: > > > > > > 1. operator overloading/generics for making math less ugly and painful > > > 2. module recursion > > > 3. views for pattern matching abstract data types > > > > > > I added views to my want-list relatively recently (6 months ago?) as I > > > started trying to do more interesting stuff. I can't believe the conflict > > > between wanting to pattern match like you're supposed to in ml and wanting > > > to abstract data types like you're supposed to in ml doesn't get more > > > attention in the functional programming community. It seems like a > > glaring > > > problem, but maybe I'm missing something. > > > > > > >Could you give an example? I'm a bit fuzzy on what you mean by this. > > > >Mike > >------------------- > >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 > > ------------------- 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