5 Aug
2003
5 Aug
'03
9:22 a.m.
On Tue, 5 Aug 2003 12:23:06 +0200
Konrad Hinsen
3
Is there any way to parametrize a type by a value, rather than another type? What I would like to do is to define "list of length 3" and "list of length 4" as separate parametrization of the same type, such that I could write functions that accept lists (under my new typename) of any length as long as parameters have the same length. The goal is to remove the need for runtime checks all over the code.
This is called "dependent types" and is not a feature of haskell (nor of any language that I know); there was "cayenne" (try a google search) but I don't believe it is still mantained. BTW, why is there no general interest for such a thing as dependent types? V.