Реализация «шоу» для функции
Я хотел бы реализоватьshow
метод для (бинарных) функций и сделать его способным противостоять эндофункциям(a -> a)
.
Что-то вроде кода псевдо-haskell:
instance Show (a->b) where
show fun = "<<Endofunction>>" if a==b
show fun = "<<Function>>" if a\=b
Как я могу различить два случая?