From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA12356 for caml-red; Mon, 25 Dec 2000 22:37:54 +0100 (MET) 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 WAA22508 for ; Fri, 22 Dec 2000 22:47:39 +0100 (MET) Received: from e3.ny.us.ibm.com (e3.ny.us.ibm.com [32.97.182.103]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id eBMLlc517213 for ; Fri, 22 Dec 2000 22:47:38 +0100 (MET) Received: from northrelay02.pok.ibm.com (northrelay02.pok.ibm.com [9.117.200.22]) by e3.ny.us.ibm.com (8.9.3/8.9.3) with ESMTP id QAA239274; Fri, 22 Dec 2000 16:46:50 -0500 Received: from RCHASA28.RCHLAND.IBM.COM (d27ml101.rchland.ibm.com [9.5.39.103]) by northrelay02.pok.ibm.com (8.8.8m3/NCO v4.95) with ESMTP id QAA62222; Fri, 22 Dec 2000 16:45:24 -0500 Importance: Normal Subject: Re: Is Caml a suitable tool for complicated mathematical methods. To: Semenova Natalya Nickolaevna Cc: caml-list@inria.fr From: "Daniel Ortmann" Date: Fri, 22 Dec 2000 15:49:12 -0600 Message-ID: X-MIMETrack: Serialize by Router on d27ml101/27/M/IBM(Release 5.0.5 |September 22, 2000) at 12/22/2000 03:49:13 PM MIME-Version: 1.0 Content-type: text/plain; charset=us-ascii Sender: weis@pauillac.inria.fr As Markus recommended on comp.lang.functional, the following is worthwhile reading: http://perl.plover.com/yak/typing/typing.html While it was addressed to a "perl" audience, it discusses static typing issues in Pascal and ML-like languages (and others). Definately a *must* read. -- Daniel Ortmann, IBM Circuit Technology, Rochester, MN 55901-7829 ortmann@us.ibm.com / internal 8.553.6795 / external 507.253.6795 ortmann@isl.net home 507.288.7732 "The answers are so simple, and we all know where to look, but it's easier just to avoid the question." -- Kansas Semenova Natalya Nickolaevna @inria.fr on 12/21/2000 02:39:37 PM Sent by: Pierre.Weis@inria.fr To: caml-list@inria.fr cc: Subject: Is Caml a suitable tool for complicated mathematical methods. Hi, We are going to rewrite a large bundle of Fortran-3 (!!!) sources to some "better" language. Sources are the solution of the system of differential equations in partial derivatives by normal finite differencing methods. Two candidats are voted: Pascal and Ocaml. Is Caml convenient tool for such tasks? -- ---------------- Semyonova Natalya Nickolaevna ----------------