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___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
On 04/26/2010 12:50 PM, hask...@kudling.de wrote:
Hi list,
how would you describe Ada's ranges in Haskell's typesystem?
http://en.wikibooks.org/wiki/Ada_Programming/Types/range
Hi Lenny,
can non-constant expressions be given as arguments to 'range'? If not, then
what about a