Haskell Error: Der erwartete Typ `Integer 'konnte nicht mit dem abgeleiteten Typ' Int 'verglichen werden.

Question

Ich habe eine Haskell-Funktion, die die Größe der Liste der endlichen Ints berechnet. Ich brauche den Ausgabetyp eine Integer zu sein, weil der Wert tatsächlich größer sein wird als die maximal Int gebunden (das Ergebnis wird -1 sein um genau zu sein, wenn der Ausgabetyp ein Int)

size :: a -> Integer 
size a = (maxBound::Int) - (minBound::Int) 

ich das verstehen Unterschied zwischen Ints (beschränkt) und Integers (unbegrenzt), aber ich möchte eine Integer aus einem Int machen. Ich habe mich gefragt, ob es eine Funktion wie fromInteger gibt, mit der ich einen Int-Typ in einen Integer-Typ umwandeln kann.

Answer 1

Hier finden Sie die Werte zu ganzen Zahlen konvertieren müssen, die durch die fromIntegral Funktion (numerisch Casting für Haskell) getan werden kann:

fromIntegral :: (Integral a, Num b) => a -> b 

Es jede Art auf jede Art in der Integral-Klasse wandelt in der (größer) Num Klasse. Z.B.

Allerdings würde ich nicht wirklich den Ansatz vertrauen, den Sie nehmen - es scheint sehr fragil. Das Verhalten bei Typen, die einen Wraparound zulassen, ist ziemlich verdächtig.

Was meinst du wirklich mit: "die Größe der Liste der endlichen Intents". Was ist die Größe in diesem Sinne, wenn es nicht die Länge der Liste ist?

Answer 2

ich Sie glauben suchen:

fromIntegral :: (Integral a, Num b) => a -> b 

, die wird eine Integer in eine Int konvertieren

Answer 3

Vielleicht waren Sie davon aus, dass Haskell, wie viele Hauptstrom Sprachen wie C und (bis zu einem gewissen Extent) Java, hat implizite numerische Nullen. Es tut nicht: Int und Integer sind völlig nicht verwandte Typen und es gibt eine spezielle Funktion für die Konvertierung zwischen ihnen: fromIntegral. Es gehört zur Num-Klasse. Sehen Sie sich die Dokumentation an: Im Wesentlichen, von Integral, macht mehr als das: Es ist ein generisches "konstruiere die Darstellung einer beliebigen ganzen Zahl", t.i. Wenn Sie eine Art von Zahlen implementieren und Num instanziieren, müssen Sie eine Möglichkeit bereitstellen, ganzzahlige Zahlen Ihres Typs zu konstruieren. In der Num-Instanz für komplexe Zahlen erzeugt Integral beispielsweise eine komplexe Zahl mit einem Imaginärteil von Null und einem ganzzahligen Realteil. Der einzige Sinn, in dem Haskell implizite numerische Nullen hat, ist, dass Integer-Literale überladen sind, und wenn Sie 42 schreiben, interpretiert der Compiler implizit es als "fromIntegral (42 :: Integer)", so dass Sie Integer verwenden können Kontexte, in denen ein Num-Typ erforderlich ist.