On Fri, 07 Mar 2014 07:57:09 +0100, Kolář Dušan
But we have an error of infinite type construction for
Prelude> :t ((\(h:t) -> h t) [head,tail, head, tail, head, tail])
Well I can overcome this by encoding functions into data types and then performing "conversion" back and forth, nevertheless, is there any way how to overcome this?
It seems like you need heterogenous collections[0] Regards, Henk-Jan van Tuyl [0] http://www.haskell.org/haskellwiki/Heterogenous_collections -- Folding@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 --