Browse thread
Locally-polymorphic exceptions [was: folding over a file]
[
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: | -- (:) |
| From: | skaller <skaller@u...> |
| Subject: | Re: [Caml-list] Unsoundness is essential |
On Thu, 2007-10-04 at 20:17 +0200, Arnaud Spiwack wrote: > > That would be wonderful if they did work... Unfortunately to my > knowledge, a software is a mere collection of bugs, glued together with > a couple of features. Or perhaps I'm being a little optimistic here :p . Lol! The one I hear is that a program is defined to be the tracks left by thousands of bugs. In the case of Ocaml, we might say that when many messages of the form: "This expression has type SquarePeg but is here used with type RoundHole" have been fixed by sandpapering off the edges of those pegs .. the program is the residual sawdust that remains on the floor after thousands of curses. -- John Skaller <skaller at users dot sf dot net> Felix, successor to C++: http://felix.sf.net