Version franēaise
Home     About     Download     Resources     Contact us    
Browse thread
Locally-polymorphic exceptions [was: folding over a file]
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ 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