Browse thread
(Mostly) Functional Design?
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2005-07-20 (16:28) |
From: | Damien Doligez <damien.doligez@i...> |
Subject: | Re: [Caml-list] Some Clarifications |
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