Hi Kelong!

Check out https://hackage.haskell.org/package/sized-vector-0.0.2.0/docs/Data-Vector-Sized.html for a vector which has its size stored in type itself.

Cheers.

On Tue, Mar 17, 2015 at 7:26 PM, Kelong Cong <kelongcong@gmail.com> wrote:
Hello,

I have a function that takes a list as its parameter. The list must always have the same length, for example 16. Instead of producing a "Nothing" or bottom out when an invalid list is supplied, are there ways to verify this at compile time? If not, are there alternative data types that has this kind of functionality?

Thanks,
Kelong


_______________________________________________
Beginners mailing list
Beginners@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners