Ketil Malde wrote:
> On Tue, 2007-05-29 at 21:39 +0100, Andrew Coppin wrote:
>> Also, for most programs the spec is far more complicated (and hence
>> prone to error) than the actual program, so...
>
> Since the program *is* a (complete) specification of itself, a
> specification need not be any
Andrew Coppin <[EMAIL PROTECTED]> writes:
> OTOH, how many function can you write with :: [Int] -> Int?
Quite a lot, but if you'd asked how many functions can you
write :: Integer -> Integer, the answer would be "all of
them" (think about it).
--
Jón Fairbairn [E
Andrew Coppin wrote:
> In my book, if it's difficult to explain what a feature even *does*, you
> have to wonder if that feature is really necessary...
Well, difficulty is in the eye of the beholder. For the one familiar
with formal logic, ∀ and ∃ are as basic as apples and eggplants. Nobody
can s
