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 <semenova@snob.spb.ru>@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
----------------