From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 54B07BB81 for ; Wed, 20 Jul 2005 18:28:08 +0200 (CEST) Received: from [128.93.8.130] (macadam.inria.fr [128.93.8.130]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j6KGS75W013257 for ; Wed, 20 Jul 2005 18:28:08 +0200 Mime-Version: 1.0 (Apple Message framework v733) In-Reply-To: <42DD5F41.8060801@cs.utah.edu> References: <9cc3782b05071411004b27b6a4@mail.gmail.com> <42DB6161.4030507@cs.utah.edu> <42DD5F41.8060801@cs.utah.edu> Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: Content-Transfer-Encoding: 7bit From: Damien Doligez Subject: Re: [Caml-list] Some Clarifications Date: Wed, 20 Jul 2005 18:28:06 +0200 To: caml-list X-Mailer: Apple Mail (2.733) X-Miltered: at nez-perce with ID 42DE7B97.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; damien:01 damien:01 caml-list:01 morelli:01 algebra:01 subset:01 ocaml's:01 2005,:98 wrote:01 doligez:01 doligez:01 match:02 programming:03 complex:04 jul:05 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 On Jul 19, 2005, at 22:14, Robert Morelli wrote: > One of the areas where I do much of my programming is in mathematical > software. I view this as one of the most difficult areas, at the > opposite extreme from simple domains like formal methods and language > tools. > Since computer algebra is clearly a subset of formal methods, and a pretty good match for OCaml's feature set, I'm rather curious to know exactly what kind of mathematical software you are writing, that can be so much more complex. -- Damien