Fehler in GHCI, die ich nicht in schriftlicher Haskell-Datei wiedergeben

Question

Ich versuchte this stackoverflow answer mit GHCI zu überprüfen und die folgenden Fehlermeldung erhalten:

> import Data.List 
> let m = head . sort 
> m [2,3,4] 

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

Leider kann ich den Fehler nicht in einer schriftlichen Haskell-Datei wiedergeben:

-- file.hs 
import Data.List 

main = do 
    let m = head . sort 
    putStrLn $ show $ m [2,3,4] 

Das Ausführen dieser Datei mit runhaskell file.hs gibt mir den erwarteten Wert 2. Was ist mein Fehler in der Ghci-Sitzung?

Edit: ich festgestellt, dass die Funktion m eine seltsame Art in GHCI hat:

> import Data.List 
> let m = head . sort 
> :t m 
m :: [()] ->() 

Warum ist dies der Fall? Sollte es nicht den Typ Ord a => [a] -> a haben? Für sort und head ich die erwarteten Typen:

> :t sort 
sort :: Ord a => [a] -> [a] 
> :t head 
head :: [a] -> a 

Answer 1

Dies ist die Schuld der Monomorphismus Beschränkung gefürchtet. Da Sie keinen Typ für m angegeben haben, schätzt GHCi es für Sie. In diesem Fall rät es, dass m den Typ [()] ->() haben sollte, obwohl das eindeutig nicht das ist, was Sie wollen. Geben Sie einfach m eine Signatur in GHCi und Sie werden in Ordnung sein.

> :set +m -- multiline expressions, they're handy 
> let m :: Ord a => [a] -> a 
|  m = head . sort 

Sie können die Monomorphismus Einschränkung deaktivieren mit

> :set -XNoMonomorphismRestriction 

Aber es ist in der Regel ziemlich praktisch, sonst haben Sie viele Arten für Dinge, die Sie normalerweise nicht im interaktiven Modus zu spezifizieren.