Khi nào tôi có thể liên kết một chức năng với một tên khác?

Question

Khi làm việc trong các phiên dịch, nó thường thuận tiện để ràng buộc một chức năng để một tên, ví dụ:

ghci> let f = (+1) 
ghci> f 1 
2 

Đây là bí danh tên f đến chức năng (+1). Đơn giản.

Tuy nhiên, điều này không phải lúc nào cũng hiệu quả. Một ví dụ tôi đã tìm thấy gây ra lỗi đang cố gắng bí danh nub từ mô-đun Data.List. Ví dụ,

ghci> :m Data.List 
ghci> nub [1,2,2,3,3,3] 
[1,2,3] 
ghci> let f = nub 
ghci> f [1,2,2,3,3,3] 

<interactive>:1:14: 
    No instance for (Num()) 
     arising from the literal `3' 
    Possible fix: add an instance declaration for (Num()) 
    In the expression: 3 
    In the first argument of `f', namely `[1, 2, 2, 3, ....]' 
    In the expression: f [1, 2, 2, 3, ....] 

Tuy nhiên, nếu tôi một cách rõ ràng nêu rõ lập luận x sau đó nó hoạt động mà không có lỗi:

ghci> let f x = nub x 
ghci> f [1,2,2,3,3,3] 
[1,2,3] 

Bất cứ ai có giải thích hành vi này?

Answer 1

Nhập quy tắc mặc định trong phiên bản Ghci hiện tại có phần không thể hiểu được.

Bạn có thể cung cấp chữ ký loại cho f. Hoặc thêm :set -XNoMonomorphismRestriction vào tệp ~/.ghci của bạn như đã được Chris khuyên trước đó.