[Haskell-cafe] Overcome type restrictions?

Vincent Beffara 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[0]

Well the error pops up much earlier than that, see:

Prelude> :t (\(h:t) -> h t)

>>
>> Regards,
>> Henk-Jan van Tuyl
>>
>>
>> [0] 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.
>> http://folding.stanford.edu/
>>
>>
>> http://Van.Tuyl.eu/
>> http://members.chello.nl/hjgtuyl/tourdemonad.html
>> 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 mailing list