Come ottenere due valori da uno, punto libero, in Haskell?

Question

Ad esempio, dato un valore, v e una funzione f, esiste un modo per ottenere il punto (f v,v) libero?

Answer 1

In alternativa, si noti che per le funzioni h e f con tipi appropriati,

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

modo da poter scrivere

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

ne dite di usare l'istanza Applicative per (->)

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

Per esempio

liftA2 (,) id succ 5 

>>> (5,6)