Jak uzyskać dwie wartości z jednego, punktu wolnego, w Haskell?

Question

Na przykład, podając wartość, v i funkcję f, czy istnieje sposób na uwolnienie punktu (f v,v)?

Answer 1

Alternatywnie należy pamiętać, że dla funkcji h i f z odpowiednich typów

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

więc można napisać

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

Jak na temat korzystania instancję Applicative dla (->)

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

Na przykład

liftA2 (,) id succ 5 

>>> (5,6)