如何从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)