Implementacja „show” dla funkcji
Chciałbym wdrożyćshow
metoda dla (binarnych) funkcji i sprawia, że potrafi wypuszczać endofunkcje(a -> a)
.
Coś w rodzaju kodu pseudo-haskell:
instance Show (a->b) where
show fun = "<<Endofunction>>" if a==b
show fun = "<<Function>>" if a\=b
Jak mogę rozróżnić te dwa przypadki?