[Haskell-cafe] Finite but not fixed length...
jason.dusek at gmail.com
Wed Oct 13 17:54:24 EDT 2010
2010/10/13 Jonas Almström Duregård <jonas.duregard at chalmers.se>:
> ...and you can always do
> hack :: Vec n a -> FixedVec a
> hack x :: FixedVec undefined
> Also I'm guessing 1, 2 and 17 are just examples, he really wants arbitrary
> length finite lists.
Indeed. Where I said "is necessarily" I meant "is not necessarily".
Linux User #510144 | http://counter.li.org/
More information about the Haskell-Cafe