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