Typ Constraints in Daten Erklärung Haskell

Question

ich Haskell bin mit und versuche, die folgend schreiben:

data Scale s = Scale s s 

Allerdings mag ich es machen, so dass s etwas sein muss, dass die Typklasse Num, wie Int oder Doppelt. Ist das mit Haskell und GHC möglich?

Answer 1

Ja:

{-# LANGUAGE GADTs #-} 
data Scale s where 
    Scale :: Num s => s -> s -> Scale s 

Allerdings ist es im Allgemeinen als Best-Practice-nicht dies zu tun. Setzen Sie die Num-Einschränkung stattdessen nur auf die Funktionen Scale s und die Num Einschränkung. Wenn Sie sich über solche Einschränkungen entspannt fühlen, können Sie die Invariante vorübergehend unterbrechen, wo es angemessen ist. z.B. Es ist üblich, eine Functor Instanz für einen solchen Typ zu wünschen, was unmöglich ist, wenn Sie den Konstruktor wie oben beschrieben einschränken.

Answer 2

Ich hatte eine ähnliche Situation mit Point Typ. Aber ich dachte nicht über Einschränkungen nach, ich dachte darüber nach, wie ich den Elementtyp meines Punktes verallgemeinern könnte. Dann habe ich verstanden, wenn ich Punkttyp wie diesen data Point a = Point a a habe, dann kann ich es Instanz von Functor, Applicative, Foldable und Traversable tun. Und ich kann Funktion nach Standart allgemeiner Art entwerfen. Zum Beispiel:

dist :: Floating a => Point a -> Point a -> a 
dist a b = sqrt $ sum $ (^2) <$> ((-) <$> a <*> b) 

Und ich hatte Frage. Was ist los? :) Wenn ich Constraint hinzufüge (wie Sie gefragt haben), würde ich auf diese Weise nicht entwerfen können und ich würde viele Funktionen wie pointSub implementieren müssen.

Also, es gibt etwas zu denken :)