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 SAA03607; Wed, 28 Apr 2004 18:07:36 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA03596 for ; Wed, 28 Apr 2004 18:07:35 +0200 (MET DST) Received: from xanadu.ece.ucsb.edu (xanadu.ece.ucsb.edu [128.111.56.51]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i3SG7XYM021085 for ; Wed, 28 Apr 2004 18:07:34 +0200 Received: from [128.111.56.252] (gimli.ece.ucsb.edu [128.111.56.252]) by xanadu.ece.ucsb.edu (8.12.10/8.12.10) with ESMTP id i3SG7VeO001798 for ; Wed, 28 Apr 2004 09:07:31 -0700 (PDT) Mime-Version: 1.0 (Apple Message framework v613) In-Reply-To: <1083152284.9537.931.camel@pelican.wigram> References: <1083140676.9537.831.camel@pelican.wigram> <408F6E8A.9060605@dcs.qmul.ac.uk> <1083152284.9537.931.camel@pelican.wigram> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Message-Id: <249A1EB6-992E-11D8-AABC-000393942C76@ece.ucsb.edu> Content-Transfer-Encoding: quoted-printable From: Shivkumar Chandrasekaran Subject: [Caml-list] Re: [ANN] The Missing Library Date: Wed, 28 Apr 2004 09:07:26 -0700 To: caml-list@inria.fr X-Mailer: Apple Mail (2.613) X-Miltered: at concorde by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; shivkumar:01 shiv:01 sparse:01 --shiv--:01 huet:01 functor:01 heriot-watt:01 slides:01 huet:01 iterator:01 ocaml:01 off-topic:01 gerard:02 purely:02 module:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk This might be off-topic, but wasn't there some work on a purely=20 functional approach to this (?) problem? Looking back in my own ocaml=20 code in the sparse matrix module in CamlFloat, I see that I used Gerard=20= Huet's ideas on "contextual lists" (I think that is what it was=20 called), which seems to have some bearing on this discussion. --shiv-- PS: I found some references: G.=A0Huet. Linear Contexts and the Sharing Functor: Techniques for=20 Symbolic Computation. Workshop on Thirty Five Years of Automath,=20 Heriot-Watt University, Edinburgh, April 2002. Slides available as ps.=20= Final version in Thirty Five Years of Automating Mathematics, ed.=20 Fairouz Kamareddine, Kluwer 2003. Available electronically as pdf or=20 ps. at http://pauillac.inria.fr/~huet/bib.html On Apr 28, 2004, at 4:38 AM, skaller wrote: > The key thing characterising an iterator appears to be > that it is some state representing a position in a data > structure. ------------------- 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