
16 Dec
2007
16 Dec
'07
1:49 p.m.
jerzy.karczmarczuk@info.unicaen.fr wrote:
Roberto Zunino writes:
without seq, there is no way to distinguish between undefined and (const undefined),
"no way to distinguish" is perhaps too strong. They have slightly different types.
At a particular type which they both inhabit, such as (a->b) or, to be concrete, (Int -> Int), there is no way to distinguish without seq. Jules