[Haskell-cafe] Re: Aim Of Haskell

[Joachim Durchholz]

Andreas Rossberg schrieb:
> Claus Reinke wrote:
>>
>> but on the Pascal note: is there anything in Pascal that Haskell doesn't
>> provide, and improves on (nested procedures, procedure parameters,
>> distinguishing in and out parameters, types, ..)?
> 
> Subrange types, maybe? But I'm sure Oleg will show us that Haskell 
> already has them. :-)

Assigning to subrange types often requires a runtime check, so they 
can't be that easily mapped. (Unless you wrap them in Maybe or 
Exception, which I'd consider cheating.)

Regards,
Jo