[Haskell-cafe] Re: Specify array or list size?

[Max Vasin]

Daniel Carrera <dcarrera at digitaldistribution.com> writes:

> Hello,
>
> Right now I'm using type declarations like:
>
> f :: Int -> [Int]
>
> So f returns a list of Ints.
>
> Is there a way to tell Haskell that a list or array must have exactly
> (say) 256 elements? I'd love to have Haskell make sure that the array
> I build is the correct size.
In short: in type declarations you can't. 

But why do you need that? Where do need to make an assumption about the size
of the list? 

--
WBR,
Max Vasin.