5 Feb
2011
5 Feb
'11
10:21 a.m.
That got me thinking... What would happen if, instead of "Integer", we had two types, "evaluated Integer" and "possibly unevaluated Integer"? What if the strictness or otherwise of a data structure were exposed at the type level?
Oh, you mean like "!Int" and "Int" in Clean? I used to find bang *types* rather easier to deal with than I now do bang *patterns*.
I have no idea what the syntax for that would look like,
Clean?
I didn't think Clean supported laziness at all? I thought it was a strict language.