Immaginate di avere un rating comeCome implementare "Ord" per i tipi di dati algebrici in Haskell?
Rating = OneStar | TwoStars | ThreeStars | FourStars | FiveStars
Qual è il modo migliore per instanciate/attuare "Ord" per un tale tipo di dati algebrico in Haskell?
Il modo migliore sarebbe semplicemente aggiungere deriving (Eq, Ord) alla definizione del tipo.
Poiché hai elencato i costruttori in ordine crescente, l'istanza derivata Ord ti darà esattamente l'ordine che desideri.
Tuttavia, se la modifica dell'ordine nella definizione non è un'opzione per qualche motivo, è comunque possibile ricavare Eq, poiché per questo l'ordine non ha importanza. Data un'istanza di Eq, possiamo scrivere manualmente un'istanza per Ord. Il modo più sintetico per definire il confronto sarebbe probabilmente quello di spiegare tutte le combinazioni per cui confrontare dovrebbe restituire LT e quindi usare semplicemente confrontare x y | x == y = Eq; confronta _ _ = GT per le restanti combinazioni.
Come è stato menzionato, è possibile derivare Eq e Ord. Oppure si potrebbe ricavare Enum e poi fare
instance Eq Rating where
x == y = fromEnum x == fromEnum y
O semplicemente incantesimo tutto fuori
instance Eq Rating where
OneStar == OneStar = True
TwoStar == TwoStar = True
...
_ == _ = False
Grazie, non sapevo che l'ordine è conservato. – LennyStackOverflow
Domanda bonus: cosa succede se l'ordine nella definizione non riflette l'ordine numerico? – LennyStackOverflow
@Lenny: Allora avrai istanziato Ord e definisci 'compare' a mano (supponendo che cambiare l'ordine nella definizione non sia un'opzione per qualche motivo) - puoi comunque derivare Eq anche se per questo l'ordine non ha importanza . Il modo più succinto per definire 'compare' sarebbe probabilmente quello di spiegare tutte le combinazioni per cui confrontare dovrebbe restituire LT e quindi usare semplicemente' compare x y | x == y = Eq; confronta _ _ = GT' per le restanti combinazioni. – sepp2k