[Haskell-cafe] ANN: fixed-list -- A fixed length list library

[Khudyakov Alexey]

В сообщении от 21 марта 2010 09:37:26 Casey McCann написал:
> Using head and tail on longer lists fails likewise. I expect there's
> some way to make it work without simply increasing the stack depth,
> but I'm not sure how. Any thoughts?
> 
It's possible to use binary encoding for natural numbers. 2^20 is pretty big 
number. 

There is article on haskell wiki[1]. And implementation by Oleg Kiselyov[2].

http://www.haskell.org/haskellwiki/Type_arithmetic
http://article.gmane.org/gmane.comp.lang.haskell.general/13223