Czy GHCi może mi podać typ lokalnej funkcji Haskella?

Question

Czy można zapytać ghci o typ wywnioskowany dla funkcji w innej funkcji?

Answer 1

Możesz spróbować zrobić to przez ustawienie na nim punktu przerwania, więc funkcja znajduje się w zakresie od debuggera.

Sądzę również, że EclipseFP może powiedzieć Ci, co się dzieje, gdy myszkujesz nad nimi, przynajmniej przez pewien czas.

Answer 2

Jest to szybki i brzydki hack, ale to, co zwykle zrobić, to po prostu użyć funkcji w niewłaściwy sposób i przeczytać komunikat o błędzie: wyjście

inc x = x + 1 
    where 
    f (y, z) = y + z 
    g = f :: Char 

GHCi:

Couldn't match expected type `Char' 
     against inferred type `(t, t) -> t' 
In the expression: f :: Char 

Chociaż to opuszcza kontekst Num t =>, zwykle dostarcza mi wystarczających informacji, aby kontynuować.

Answer 3

Z GHC 7.8+, wystarczy dołączyć `asTypeOf` _ do wyrażenia.

Aby uzyskać szczegółowe wyjaśnienie, patrz: Find out the type of an expression/function with typed holes.