Haskell Strzały wewnątrz krotek

Question

Chcę utworzyć skrzynię zawierającą strzałkę i ciąg znaków opisujący strzałkę. Jeśli mogę to zrobić z funkcji (zamiast strzałek), następujące prace jak spodziewanych:

funTimes10 = (*10) 
describe10 = "times 10" 

tuple10 :: (Num b) => ((b -> b), String) 
tuple10 = (,) funTimes10 describe10 

mogę uzyskać dostęp do funkcji z fst iz snd otrzymuję ciąg opis funkcji.

Jednakże, jeśli mogę wymienić funkcję ze strzałką, jak w poniższym przykładzie:

aTuple10 :: (Arrow a, Num b) => (a b b, String) 
aTuple10 = (,) (arr funTimes10) describe10 

• fst nadal działa i zwraca moją strzałkę, ale
• ja nie dostać dowolny ciąg opis ze snd.

Mam tylko tego błędu wiadomość:

Ambiguous type variable `a0' in the constraint: 
    (Arrow a0) arising from a use of `aTuple10' 
Probable fix: add a type signature that fixes these type variable(s) 
In the first argument of `snd', namely `aTuple10' 
In the expression: (snd aTuple10) 
In an equation for `it': it = (snd aTuple10) 

Dlaczego mam ten błąd, i co należy zrobić, aby tego uniknąć? wygląd

Answer 1

Miejmy w rodzaju snd:

snd :: (foo, x) -> x 

(I przemianowany zmienne typu dla jasności)

Co stany typu jest to, że za krotki z typów foo i x, coś z powrotu typ x. Ważne jest, aby wiedzieć, że podczas gdy system wartości aka. runtime w Haskell jest leniwy, system typu Haskella jest ścisły, co oznacza, że ​​oba typy foo i x muszą być znane przed wywołaniem snd.

W pierwszym przypadku, gdy po prostu masz Num b => (b -> b, String), nazywając snd pozostawi b dwuznaczny, ponieważ nie wspominając swój konkretny typ wszędzie, i nie można wywnioskować z zwracanego typu bo foo ~ b która jest odrębna od x. Innymi słowy: ponieważ (b, b) może być krotką dowolnego typu numeru, a narzędzie sprawdzania typu nie może ustalić, który z nich jest niejednoznaczny. Podejście polega na tym, że mamy reguły Haskella, które są domyślne, co oznacza, że ​​jeśli typ liczbowy jest niejednoznaczny, powinien on być domyślnie ustawiony na Integer. Jeśli włączono ostrzeżenia z numerem -Wall, powiedziałoby się, że tak się dzieje. Tak więc nasz typ staje się (Integer -> Integer, String) i snd może być wywołany.

W drugim przypadku jednak nadal możemy wywnioskować b za pomocą reguł domyślnych, ale nie ma domyślnego Arrow dla a, więc utknęliśmy! Musisz jasno określić strzałkę, którą chcesz, aby kontynuować! Można to zrobić albo przez pierwszy stosując wartość aTuple10 gdzieś indziej:

let bla = aTuple10 -- We do this because `aTuple10` can have type variables, but `bla` cannot (by default) 
fst bla (23 :: Int) -- This fixes the type of `bla`, so that `a ~ (->)` and `b ~ Int` 
print $ snd bla  -- So the arrow isn't ambiguous here 

...lub można po prostu określić typ, który chcesz:

print $ snd (aTuple10 :: (Int -> Int, String)) 

PS jeśli chcesz zmienić domyślny typ liczb niejednoznacznych The default keyword może pomóc.

Answer 2

Próbowałem skompilować to:

import Control.Arrow 

funTimes10 = (*10) 
describe10 = "times 10" 

tuple10 :: (Num b) => ((b -> b), String) 
tuple10 = (,) funTimes10 describe10 

aTuple10 :: (Arrow a, Num b) => (a b b, String) 
aTuple10 = (,) (arr funTimes10) describe10 

Ale mam to:

Could not deduce (b ~ Integer) 
from the context (Arrow a, Num b) 
    bound by the type signature for 
      aTuple10 :: (Arrow a, Num b) => (a b b, String) 
    at D:\dev\haskell\arr_tuple.hs:10:1-42 
    `b' is a rigid type variable bound by 
     the type signature for 
     aTuple10 :: (Arrow a, Num b) => (a b b, String) 
     at D:\dev\haskell\arr_tuple.hs:10:1 
Expected type: b -> b 
    Actual type: Integer -> Integer 
In the first argument of `arr', namely `funTimes10' 
In the first argument of `(,)', namely `(arr funTimes10)' 

Tak, wydaje mi się, że trzeba zdecydować, które strzałka instancja chcesz użyć. To znaczy. może być konieczne określenie konkretnego typu arr funTimes z adnotacją.