Loại biên dịch không có điểm Haskell

Question

Vì vậy, tôi thực sự mới với Haskell, nhưng tôi đã chơi xung quanh với ký hiệu miễn phí điểm và gặp phải vấn đề này. Tôi đang ở trong bảng điều khiển:

> let c = (.)negate 
> :t c 
> (a -> Integer) -> a -> Integer -> a 

nhưng phủ nhận có một số, vậy tại sao nó bị ràng buộc với kiểu Integer?

Answer 1

Đây là trường hợp khác của các quy tắc mặc định mở rộng trong GHCi. Làm :set -XNoMonomorphismRestriction hoặc chỉ cần

> :set +m -- multiline input in GHCi 
> let c :: (Num a) => (b -> a) -> b -> a -> b 
|  c = (.) negate 
| 
> :t c 
Num a => (b -> a) -> b -> a -> b