Warum funktioniert 5 :: Sum Integer als Literal?

8

Warum funktioniert 5 :: Sum Integer im Interpreter, aber mit einem

? %Vor%

6 :: NovoTipo Integer funktioniert nicht?

    
Pedro Morte Rolo 15.12.2016, 12:26
quelle

1 Antwort

16

Sie können numerische Literale für jeden Typ mit einer Num -Instanz schreiben. Sum hat es , während deine neue Art nicht funktioniert t.

Sie können GeneralizedNewtypeDeriving aktivieren. in ghci wie folgt:

%Vor%

Dann kannst du schreiben:

%Vor%

Und dann ist 6 :: NovoTipo Integer gut typisiert.

    
András Kovács 15.12.2016, 12:33
quelle

Tags und Links