1
Utilizzo delle classi di tipi Haskell per applicare la commutatività
Voglio definire una classe di tipi per oggetti geometrici che possono essere intersecati insieme: class Intersect a b c | a b -> c where intersect :: a -> b -> c -- Language extensions: -XMultiParamTypeClasses, -XFunctionalDependencies L'idea è quella di disporre di funzioni di intersezione generiche in grado di …