Znajdź wnioskowany typ dla funkcji lokalnej

Question

Czy istnieje sposób w ghci (lub ghc), aby znaleźć to, co wywodzi typ funkcji lokalnej?

E.g. jeśli mam funkcji

f l = map f' l 
    where f' = (+1) 

istnieje :t -jak sposób ghci zobaczyć co wywnioskować typ dla f' jest?

Answer 1

Nie znam żadnego sposobu zrobienia tego z GHCi.

Jednakże, jeśli używasz edytora takiego jak Emacs lub Vim, możesz spróbować ghc-mod. Jest to zewnętrzne narzędzie, które podłącza się do edytora i daje trochę funkcji podobnych do IDE dla programów Haskell, w tym możliwość uzyskania typu dowolnego wyrażenia, w tym definicji lokalnej.

W Emacs użyjesz C-c C-t, aby znaleźć typ wyrażenia.

Jeśli nie używasz Emacs, Vim, prawdopodobnie można owinąć GHC-mod jako rozszerzenie GHCi czy coś, ale myślę, że byłoby dość kłopotliwe. Nie potrafię sobie wyobrazić, jak to zrobić, bez edytującego interfejsu użytkownika. Jednak sam ghc-mod jest samodzielnym narzędziem wiersza poleceń, więc łatwo z nim pracować. Jeśli możesz wymyślić dobry interfejs użytkownika, który jest niezależny od istniejącego edytora tekstu, przejdź do niego!

Oczywiście, jeśli nie używasz Emacsa lub Vima, prawdopodobnie powinieneś: P.

Answer 2

Rzeczywiście, jest to, o czym dowiedziałem się dzięki niesamowitej odpowiedzi hammera: here. Oto krótka wersja:

Prelude> :l /tmp/foo.hs 
[1 of 1] Compiling Main    (/tmp/foo.hs, interpreted) 
Ok, modules loaded: Main. 
*Main> :break f 
Breakpoint 0 activated at /tmp/foo.hs:(1,1)-(2,18) 
*Main> f [1..10] 
Stopped at /tmp/foo.hs:(1,1)-(2,18) 
_result :: [b] = _ 
[/tmp/foo.hs:(1,1)-(2,18)] *Main> :step 
Stopped at /tmp/foo.hs:1:7-14 
_result :: [b] = _ 
f' :: b -> b = _ 
l :: [b] = _ 
[/tmp/foo.hs:1:7-14] *Main> :t f' 
f' :: b -> b 

Answer 3

Spróbuj hdevtools, jest dość szybki i łatwy w użyciu, choć nie tylko integracja dla Vima.