[haskell-cafe] Monad and kinds

[Ketil Malde]

Jules Bean <jules at jellybean.co.uk> writes:

>>>> On Sep 4, 2008, at 10:19 AM, Tim Chevalier wrote:

>>>>> The master programmer does not add strictness annotations, for she has
>>>>> not yet run the profiler.

>> The compiler will certainly be able to infer the strictness itself

> As far as I am aware this statement is false.

The master programmer does not add strictness annotations, she
improves the strictness analyser.

-k
-- 
If I haven't seen further, it is by standing in the footprints of giants