Bất kỳ cách nào để in ra một loại biến trong khối do/while/let?

Question

Có cách nào để in ra loại suy luận của biến lồng nhau trong ghci không? Hãy xem xét mã,

let f = g where 
    g (x :: Int) = x 

thì tốt hơn là truy vấn loại g, ví dụ: :t f.g sẽ in ra Int -> Int.

Answer 1

Bạn có thể thu thập thông tin này bằng cách đưa ra chú thích loại sai thích hợp và kiểm tra thông báo lỗi.

*Main> let f = g where g::a; g (x::Int) = x 

<interactive>:1:23: 
    Couldn't match type `a1' with `Int -> Int' 
     `a1' is a rigid type variable bound by... 

Answer 2

ghci debugger có thể in nó cho bạn với một breakpoint đặt đúng cách (nhưng bạn sẽ cần phải tải định nghĩa của bạn trong vòng một module):

{-# LANGUAGE ScopedTypeVariables #-} 

f a = g a where 
    g (x :: Int) = x 

Sau đó, trong ghci:

Prelude> :l tmp2.hs 
[1 of 1] Compiling Main    (tmp2.hs, interpreted) 
Ok, modules loaded: Main. 
*Main> :b 3 9 
Breakpoint 0 activated at tmp2.hs:3:7-9 
*Main> f undefined 
Stopped at tmp2.hs:3:7-9 
_result :: Int = _ 
a :: Int = _ 
g :: Int -> Int = _ 
[tmp2.hs:3:7-9] *Main>