Trova il tipo dedotto per la funzione locale

Question

C'è un modo in ghci (o ghc) per trovare qual è il tipo inferito di una funzione locale?

E.g. se ho una funzione

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

c'è un modo :t -come in ghci per vedere che cosa il tipo derivato per f' è?

Answer 1

Non conosco alcun modo di farlo da GHCi.

Tuttavia, se si utilizza un editor come Emacs o Vim, è possibile provare ghc-mod. Questo è uno strumento esterno che si collega a un editor e offre alcune funzionalità simili a IDE per i programmi Haskell, inclusa la possibilità di ottenere il tipo di un'espressione arbitraria, inclusa una definizione locale.

In Emacs, si utilizzerà C-c C-t per trovare il tipo di un'espressione.

Se non si utilizza Emacs o Vim, si potrebbe probabilmente avvolgere ghc-mod come estensione GHCi o qualcosa del genere, ma penso che sarebbe un po 'imbarazzante. Non riesco ad immaginare un buon modo per farlo senza avere un'interfaccia simile a un editor. Tuttavia, ghc-mod stesso è solo uno strumento da riga di comando indipendente, quindi è facile lavorarci. Se riesci a pensare ad una buona interfaccia utente per essa indipendente da un editor di testo esistente, prova!

Ovviamente, se non usi Emacs o Vim, probabilmente dovresti: P.

Answer 2

In effetti c'è, che ho imparato grazie alla straordinaria risposta di Hammar here. Ecco la versione breve:

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

Prova hdevtools, è abbastanza veloce e facile da usare, anche se c'è solo l'integrazione per Vim.