Hi list,

how would you describe Ada's ranges in Haskell's typesystem?

http://en.wikibooks.org/wiki/Ada_Programming/Types/range

I feel, you can not because this is a runtime property.

Bye,

Lenny