Haskell無點編譯類型

所以我對Haskell來說真的很陌生，但我正在玩點免費表示法並遇到了這個問題。我在控制檯：Haskell無點編譯類型

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

但negate需要一個數，所以爲什麼它被限制爲一個整型？

2015-09-25 Nimnam1

這是GHCi延期違約規則的另一種情況。做:set -XNoMonomorphismRestriction或只是做

2015-09-25 18:14:13 bheklilr

只是一個筆記，你不需要多行輸入;你可以寫'let x :: T; x = t'。 – user2407038

@ user2407038你不需要它，你也可以使用'：{'和'：}'，但我更喜歡'：set + m'，這更像是IPython如何進行多行輸入。 – bheklilr

回答