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-18 (21:37) |
| From: | skaller <skaller@u...> |
| Subject: | Re: [Caml-list] (Mostly) Functional Design? |
On Mon, 2005-07-18 at 12:15 -0600, Robert Morelli wrote: > > The use of type checking is a point where the FP community > has not reached consensus, It isn't an issue of consensus .. the problem is a lack of enough good theorems. -- John Skaller <skaller at users dot sourceforge dot net>