Ograniczenie typu "nie" Haskella

Question

Próbuję zdefiniować parę instancji klasy indukcyjnie. To znaczy:

class Foo a b | a -> b where 
    foo :: a -> b 

instance (not?)Foo a => Bar a b 
    foo x = ... 

instance Foo a => Bar a b 
    foo x = ... 

Pierwsze instancje określają akcję podstawową, a sekundy rekurencyjnie wywołują foo. Czy jest jakiś sposób to zrobić? Dobrym przykładem może być spłaszczenie listy, gdzie w pierwszym przypadku jest to funkcja tożsamości, a w drugim rekursywna aplikacja konkat.

Answer 1

Oto implementation of a flatten function, który działa z dowolnym poziomem zagnieżdżonej listy. Nie polecałbym jednak używania go - tutaj po prostu dla pokazania, jak osiągnąć coś takiego w haskell.

Answer 2

Nie można tego zrobić bezpośrednio, z bardzo prostego powodu - wybór instancji dotyczy tylko "głowy", tj. Części po =>. Nic, co umieścisz w kontekście - część przed => - może wpłynąć na wybraną instancję.

W przypadku prostych spraw często można uniknąć problemu w całości, na przykład gdy istnieje ograniczona liczba typów "podstawowych". Typowym przykładem będą listy typów, gdzie będziesz miał rekurencyjny przypadek dla Cons i podstawowy przypadek Nil i to wszystko.

W typowym przypadku zwykle potrzebna jest jakaś klasa typu "test warunkowy", która wybiera typ w zależności od tego, czy spełniony jest jakiś warunek, a następnie przekazuje rzeczywistą implementację klasie "pomocnika", która przyjmuje wartość wyniku warunkowego jako parametr i używa go do wybrania instancji.