元组和函数组合

Question

有更好的方法来表示(\(a, b) -> a < b)的函数组成吗？我觉得我失去了一些东西，并试验curry只会让我更困惑。

Answer 1

curry在这里使用是错误的;它将一个在元组上运行的函数转换成一个curried函数。你想反其道而行之，这是uncurry：

uncurry :: (a -> b -> c) -> (a, b) -> c 

在这种情况下，它的uncurry (<)。

（用于在元组编写函数有用的组合子的另一个有用来源是Control.Arrow;因为(->)是Arrow一个实例，你可以阅读a b c为b -> c）

Answer 2

在类型看是在Haskell的最佳途径拿到第一个想法，任何的功能是什么：

curry :: ((a, b) -> c) -> a -> b -> c 
uncurry :: (a -> b -> c) -> (a, b) -> c 

curry：对→咖喱功能的功能（它curries函数）。

uncurry：咖喱函数→函数对。

Haskell Wiki page on currying有小练习在页面的末尾：

• 简化curry id
• 简化uncurry const
• 快递snd使用curry或uncurry等基本前奏功能和不lambda表达式
• 在没有lambda和wi的情况下编写函数\(x,y) -> (y,x)只有前奏功能

试着立即解决这些练习，他们会给你一个大量的Haskell类型系统和函数应用的见解。

还有的uncurry几个有趣的应用程序，尝试不同的参数传递给下面的功能，看看他们做了什么：

uncurry (.) :: (b -> c, a -> b) -> a -> c 
uncurry (flip .) :: (b -> a -> b1 -> c, b) -> b1 -> a -> c 
uncurry (flip (.)) :: (a -> b, b -> c) -> a -> c 
uncurry ($) :: (b -> c, b) -> c 
uncurry (flip ($)) :: (a, a -> c) -> c 

-- uncurry (,) is an identity function for pairs 
uncurry (,) :: (a, b) -> (a, b) 
uncurry (,) (1,2) -- returns (1,2) 
uncurry uncurry :: (a -> b -> c, (a, b)) -> c 
uncurry uncurry ((+), (2, 3)) -- returns 5 

-- curry . uncurry and uncurry . curry are identity functions 
curry . uncurry :: (a -> b -> c) -> (a -> b -> c) 
(curry . uncurry) (+) 2 3 -- returns 5 
uncurry . curry :: ((a, b) -> c) -> ((a, b) -> c) 
(uncurry . curry) fst (2,3) -- returns 2 

-- pair -> triple 
uncurry (,,) :: (a, b) -> c -> (a, b, c) 
uncurry (,,) (1,2) 3 -- returns (1,2,3)