kısa yol yazmak için (\ (x, y) -> (f x g y)) lambda daha özlü</p> <pre><code>\(x, y) → (f x, g y) :: (a, b) → (c, d) </code></pre> <p>geç nasıl fonksiyonları <code>f :: a → b</code>, <code>g :: c → d</code> için

Question

? (f, g)'u denedim, ama tahmin ettiğim gibi - başarı olmadan.

Answer 1

(,) ait Bifunctor örneği aradığınız budur:

instance Bifunctor (,) where 
    bimap f g (a, b) = (f a, g b) 

bimap bir tuplea, her elemana birine iki işlevi uygular.

> import Data.Bifunctor 
> bimap (+1) (*5) (1,1) 
(2, 5) 

---

Sen bimap ve (***) arasındaki fark nedir merak ediyor olabilirsiniz. O p ~ (,) ile bimap tipi (***) ile

(a -> b) -> (c -> d) -> (a, c) -> (b, d). 

haline gelmesi bimap ile

> :t bimap 
bimap :: Bifunctor p => (a -> b) -> (c -> d) -> p a c -> p b d 
> :t (***) 
(***) :: Arrow a => a b c -> a b' c' -> a (b, b') (c, c') 

, size türünü kısıtlayabilirsiniz, oldukça keyfi bir bifunctor p daha küpe türünü kısıtlayabilir a'dan ziyade, a ~ (->) ile (***) tipi

olur

Yakın bir bakış, iki kısıtlı türün eşdeğer olduğunu ortaya çıkarır.

Answer 2

Bu deneyin Control.Arrow yani

f *** g 

Answer 3

den (***) kullanabilir

import Control.Arrow 

answer = f *** g $ (a, c) 

ör

import Control.Arrow 

f :: Int -> Int 
f = (+1) 

g :: Double -> String 
g = show 

answer = f *** g $ (10, 3.5)