[Haskell-cafe] Overcome type restrictions?
vbeffara at ens-lyon.fr
Fri Mar 7 08:33:44 UTC 2014
> We have and error of infinite type for
> Prelude> :t ((\(h:t) -> h t) [head, last, head, last, head, last])
> Of course, head and tail are incompatible on type level...
>> It seems like you need heterogenous collections
Well the error pops up much earlier than that, see:
Prelude> :t (\(h:t) -> h t)
>> Henk-Jan van Tuyl
>>  http://www.haskell.org/haskellwiki/Heterogenous_collections
>> Folding at home
>> What if you could share your unused computer power to help find a
>> cure? In just 5 minutes you can join the world's biggest networked
>> computer and get us closer sooner. Watch the video.
>> Haskell programming
| | UMPA - ENS Lyon | Mél: vbeffara at ens-lyon.fr |
| Vincent Beffara | 46 allée d'Italie | Tél: (+33) 4 72 72 85 25 |
| | 69364 Lyon Cedex 07 | Fax: (+33) 4 72 72 84 80 |
More information about the Haskell-Cafe