composición de funciones en Haskell con argumentos de tupla

Question

A veces tienen dos funciones de la forma:

f :: a -> (b1,b2) 
h :: b1 -> b2 -> c 

y necesito la composición g. Resuelvo esto cambiando h a h ':

h' :: (b1,b2) -> c 

¿Me podría (si es posible) una función m mostrar, de manera que:

(h . m . f) == (h' . f) 

Otra forma de hacer frente a tales situaciones. Gracias.

Answer 1

Lo que estás buscando que hacer es tomar una función que opera sobre curry argumentos, h, y aplicarlo al resultado de f, que es una tupla. Este proceso, al convertir una función de dos argumentos en una función que toma un argumento que es una tupla, se llama que se deshace de. Tenemos, desde Data.Tuple:

curry :: ((a, b) -> c) -> a -> b -> c 
    -- curry converts an uncurried function to a curried function. 

uncurry :: (a -> b -> c) -> (a, b) -> c 
    -- uncurry converts a curried function to a function on pairs. 

Así que ahora podemos escribir:

f :: a -> (b,c) 
f = undefined 

h :: b -> c -> d 
h = undefined 

k :: a -> d 
k = uncurry h . f 

---

Otra forma difícil de pensar en esto es a través de un funtor aplicativo,

k = (h <$> fst <*> snd) . f 

Idea de Conor McBride, quien lo escribiría como: (|f fst snd|) . f, creo.

Answer 2

Lo que quieres hacer es uncurryh. Esta función toma a -> b -> c y la convierte en (a, b) -> c.

uncurry h . f