[Haskell-cafe] Byte Histogram

[Andrew Coppin]

>> 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.