Jak działa curry (==)?

Question

I rozumieć, że:

(==) :: równanie: a => A -> A -> Bool

Przykładem zastosowania, może być (==) 2 2, które wynikają jest prawdziwy.

i:

uncurry (==) :: równanie B => (B, B) -> Bool.

Przykładem zastosowania może być niepokój (==) (2, 2), którego wynikiem jest prawda.

Ale ja nie rozumiem i wizualizację przykład dlaczego:

curry (==) :: (EQ a, Eq b) => A -> B -> (a, b) - > Bool

Każda pomoc?

Dzięki,
Sebastián

Answer 1

Definicja curry jest:

curry :: ((a, b) -> c) -> a -> b -> c 
curry f = \x y -> f (x, y) 

Jeśli podstawimy że:

\x y z -> (curry (==) x y) z 
\x y z -> ((==) (x, y)) z -- Function application 
\x y z -> (==) (x, y) z  -- Remove parentheses (function application is left associative in Haskell, so they are unnecessary here) 
\x y z -> (x, y) == z  -- Convert to infix 

Możemy powiedzieć od razu, że z musi być jakiś z krotki, albo też ta ostatnia linia nie sprawdzi sprawdzenia, ponieważ oba argumenty to == musi mieć ten sam typ.

Kiedy patrzymy na definicji instancji krotki dla Eq znajdujemy

instance (Eq a, Eq b) => Eq (a, b) where 
    (x, y) == (x', y') = (x == x') && (y == y') 

(to nie jest napisane w kodzie źródłowym biblioteki standardowej, to w rzeczywistości wykorzystuje „autonomiczną wynikających” mechanizm automatycznego uzyskania instancję dla typu (Eq a, Eq b) => (a, b). Kod ten jest odpowiednikiem tego, co dostaje pochodzi choć.)

tak więc, w tym przypadku, możemy traktować == jakby to ma typ

(==) :: (Eq a, Eq b) => (a, b) -> (a, b) -> Bool 

Zarówno x i y musi mieć typy, które są instancjami Eq, ale nie muszą być wystąpienie Eqsamo. Na przykład, co jeśli mamy 12 i "abc"? Są to dwa różne typy, ale nadal możemy korzystać z naszej funkcji, ponieważ oba są instancjami Eq: (\x y z -> (x, y) == z) (12, "abc") (30, "cd") (ten typ wyrażeń sprawdza i ocenia na False).

Answer 2

== może być używany na krotkach, to znaczy można pisać (a1, b1) == (a2, b2).

W takim przypadku typ == specjalizuje się w (Eq a, Eq b) => (a, b) -> (a,b) -> Bool.

Jeśli teraz zastosujesz curry do tego typu, otrzymasz (Eq a, Eq b) => a -> b -> (a, b) -> Bool.