GHCi có thể cho tôi biết loại chức năng Haskell cục bộ không?

Question

Có thể truy vấn ghci cho loại được suy ra cho hàm bên trong một hàm khác không?

Answer 1

Bạn có thể thử thực hiện bằng cách đặt điểm ngắt trên đó, vì vậy hàm nằm trong phạm vi từ trình gỡ lỗi.

Ngoài ra tôi nghĩ rằng EclipseFP có thể cho bạn biết các loại điều khi bạn di chuột qua chúng, ít nhất một số thời gian.

Answer 2

Đây là một hack nhanh chóng và xấu xí, nhưng những gì tôi thường làm là chỉ cần sử dụng các chức năng trong một cách sai lầm và đọc các thông báo lỗi:

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

GHCi đầu ra:

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

Mặc dù điều này rời khỏi bối cảnh Num t =>, điều này thường cung cấp cho tôi đủ thông tin để tiếp tục.

Answer 3

Với GHC 7.8+, chỉ cần thêm `asTypeOf` _ vào biểu thức.

Xem Find out the type of an expression/function with typed holes để biết giải thích chi tiết.