[haskell-cafe] Monad and kinds

Ketil Malde ketil at malde.org
Fri Sep 5 04:49:00 EDT 2008


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


More information about the Haskell-Cafe mailing list