12 Dec
2006
12 Dec
'06
6:04 p.m.
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