如何在 Haskell 中计算 (.)(.) 的类型?
我知道应该是
(.)(.) :: (a -> b -> c) -> a -> (a1 -> b) -> a1 -> c
但是没有电脑怎么计算呢?
最佳答案
(.) :: (b -> c ) -> ((a -> b) -> (a -> c))
(.) :: ((e -> f) -> ((d -> e) -> (d -> f)))
(.)(.) :: ((a -> (e -> f)) -> (a -> ((d -> e) -> (d -> f))))
(.)(.) :: (a -> (e -> f)) -> (a -> ((d -> e) -> (d -> f)))
(.)(.) :: (a -> e -> f) -> a -> ((d -> e) -> (d -> f))
(.)(.) :: (a -> e -> f) -> a -> (d -> e) -> (d -> f)
(.)(.) :: (a -> e -> f) -> a -> (d -> e) -> d -> f
关于haskell - 计算类型 Haskell,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/29875684/