Pytania otagowane jako typeclass

1
Korzystanie z klas typu Haskell w celu wymuszenia komutatywności
Chcę zdefiniować klasę typów dla obiektów geometrycznych, które można przecinać razem: class Intersect a b c | a b -> c where intersect :: a -> b -> c -- Language extensions: -XMultiParamTypeClasses, -XFunctionalDependencies Chodzi o to, aby mieć funkcje przecięcia ogólnego przeznaczenia, które mogą obsługiwać obiekty różnych typów. Można …
2
Dlaczego Bounded nie jest podklasą Enum w Haskell
Wygląda na to, że każda instancja Bounded powinna mieć rozsądną implementację Enum. Nie mogę osobiście wymyślić kontrprzykładu, chociaż jeśli ktoś wymyśli taki, który nie jest patologiczny, zrozumiem, dlaczego tak nie jest. Z robienia :ina dwóch typach klas wydaje się, że jedynym wyjątkiem obecnie w standardowej bibliotece są krotki, które są …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.