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 TAA26297; Tue, 2 Jul 2002 19:24:24 +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 TAA26346 for ; Tue, 2 Jul 2002 19:24:24 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g62HONP20371; Tue, 2 Jul 2002 19:24:23 +0200 (MET DST) Received: (from fpottier@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA26012; Tue, 2 Jul 2002 19:24:22 +0200 (MET DST) Date: Tue, 2 Jul 2002 19:24:22 +0200 From: Francois Pottier To: Nicolas FRANCOIS , caml-list@inria.fr Subject: Re: [Caml-list] Objects or modules ? Message-ID: <20020702192422.A26280@pauillac.inria.fr> Reply-To: Francois.Pottier@inria.fr References: <20020629031458.4d0c7fe9.nicolas.francois@free.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Mailer: Mutt 1.0i In-Reply-To: <20020629031458.4d0c7fe9.nicolas.francois@free.fr>; from nicolas.francois@free.fr on Sat, Jun 29, 2002 at 03:14:58AM +0200 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Sat, Jun 29, 2002 at 03:14:58AM +0200, Nicolas FRANCOIS wrote: > I'd like to make a library managing mathematical data structures, for > example integers, polynoms, fractions, and more if anyone is interested. I > started on the module point of view, mainly to learn how to use modules > and functors. You may be interested in having a look at the FOC project's publications: http://www.lip6.fr/reports/lip6.2000.014.html http://calfor.lip6.fr/~foc/ They are writing a large library of mathematical structures in O'Caml. I would recommend getting in touch with them for more information. -- François Pottier Francois.Pottier@inria.fr http://pauillac.inria.fr/~fpottier/ ------------------- 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