我正在做一些练习,我必须添加一个函数的类型并解释它的作用.我坚持这个:
phy = uncurry ($)
据GHCi说,这种类型phy :: (a -> b, a) -> b.我的haskell知识是基本的,所以我真的不知道它的作用.
我一直在接受这个消息,我做错了什么？
data Pile a = Pile [a] deriving (Show,Eq,Ord)
flpile:: (Eq a, Eq b, Eq c) => Pile (a,(b,c))-> Pile (a,b,c)
flpile (Pile (a,(b,c)) = Pile [asocr (a,(b,c))]
asocr :: (a,(b,c)) -> (a,b,c)
asocr (a,(b,c)) = (a,b,c)