如何从Haskell中获得一个免费的两个值？

Question

例如，给定一个值v和一个函数f，有没有办法让(f v,v)点免费？

Answer 1

或者，请注意，对于具有适当类型的函数h和f，

h >>= f = \w -> f (h w) w

所以你可以写

f >>= (,)

Answer 2

import Control.Arrow
(g &&& f) v = (g v, f v)
-- ergo,
(id &&& f) v = (v, f v)
(f &&& id) v = (f v, v)

Answer 3

如何使用Applicative

的(->)实例

liftA2 (,) id :: (a -> b) -> a -> (a, b)

例如

liftA2 (,) id succ 5

>>> (5,6)