Als «typeclass» getaggte Fragen

1
Verwenden von Haskell-Typklassen zum Erzwingen der Kommutativität
Ich möchte eine Typklasse für geometrische Objekte definieren, die zusammen geschnitten werden können: class Intersect a b c | a b -> c where intersect :: a -> b -> c -- Language extensions: -XMultiParamTypeClasses, -XFunctionalDependencies Die Idee ist, universelle Schnittfunktionen zu haben, die Objekte unterschiedlichen Typs verarbeiten können. Man …

2
Warum ist Bounded nicht eine Unterklasse von Enum in Haskell?
Es scheint, dass jede Bounded-Instanz eine vernünftige Implementierung von Enum haben sollte. Ich kann mir kein Gegenbeispiel vorstellen, obwohl ich verstehen werde, warum dies nicht der Fall ist, wenn jemand eines findet, das nicht pathologisch ist. Ausgehend :ivon den beiden Typklassen scheint die einzige Ausnahme, die derzeit in der Standardbibliothek …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.