元组和功能组成

Question

是否有更好的方式来表达(\(a, b) -> a < b)功能组合？我觉得我错过了一些东西,curry只是试着让我更加困惑.

Answer 1

curry在这里使用是错误的; 它将一个在元组上运行的函数转换为一个curry函数.你想要相反的,这是uncurry:

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

在这种情况下,它是uncurry (<).

(在元组上编写函数时有用的组合器的另一个有用的来源是Control.Arrow;因为它(->)是一个实例Arrow,你可以读a b c作b -> c.)