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

Daniel Carrera 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.