From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 37B8DD15E for ; Sun, 24 Jul 2005 18:11:26 +0200 (CEST) Received: from smtp3.wanadoo.fr (smtp3.wanadoo.fr [193.252.22.28]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j6OGBPbH000310 for ; Sun, 24 Jul 2005 18:11:26 +0200 Received: from me-wanadoo.net (unknown [127.0.0.1]) by mwinf0304.wanadoo.fr (SMTP Server) with ESMTP id C38D71C00CD9 for ; Sun, 24 Jul 2005 18:11:25 +0200 (CEST) Received: from morgana (ARennes-257-1-16-25.w81-250.abo.wanadoo.fr [81.250.231.25]) by mwinf0304.wanadoo.fr (SMTP Server) with ESMTP id 9359B1C00CD1; Sun, 24 Jul 2005 18:11:25 +0200 (CEST) X-ME-UUID: 20050724161125603.9359B1C00CD1@mwinf0304.wanadoo.fr Received: from david by morgana with local (Exim 4.50) id 1Dwj4V-0001CV-5D; Sun, 24 Jul 2005 18:11:23 +0200 To: Robert Morelli Cc: caml-list Subject: Re: [Caml-list] Some Clarifications References: <9cc3782b05071411004b27b6a4@mail.gmail.com> <42DB6161.4030507@cs.utah.edu> <42DD5F41.8060801@cs.utah.edu> <42E3AADA.8030907@cs.utah.edu> From: David MENTRE Organization: none Date: Sun, 24 Jul 2005 18:11:23 +0200 In-Reply-To: <42E3AADA.8030907@cs.utah.edu> (Robert Morelli's message of "Sun, 24 Jul 2005 08:51:06 -0600") Message-ID: <87d5p8uqtw.fsf@linux-france.org> User-Agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.4 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Miltered: at nez-perce with ID 42E3BDAD.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 morelli:01 morelli:01 algebra:01 ocaml:01 foc:01 functors:01 foc:01 ocaml's:01 ...:98 writes:01 functional:02 oriented:05 written:06 php:92 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 Robert Morelli writes: > Several years ago I read a paper about a computer algebra system > written in OCaml called FOC. The title of the paper was something > like "Functors, blah, blah, ... Is it Too Much?" I think the > conclusion of the paper was that FOC naturally drew upon all of OCaml's > language facilities, both functional and object oriented. This paper > might speak to the demands of the domain for anyone who is curious > enough to look it up. Of course, we can equally well ask, "Is it > Enough?" http://www.lip6.fr/fr/production/publications-rapport-fiche.php?RECORD_KEY%28rapports%29=id&id(rapports)=139 Yours, d. -- pub 1024D/A3AD7A2A 2004-10-03 David MENTRE 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A