4
Czy polimorfizm typu zwrotnego (tylko) w Haskell jest dobrą rzeczą?
Jedną z rzeczy, z którą nigdy nie do końca się pogodziłem w Haskell, jest to, w jaki sposób można uzyskać stałe polimorficzne i funkcje, których typu zwrotu nie można określić na podstawie ich typu wejściowego, np. class Foo a where foo::Int -> a Niektóre z powodów, że mi się nie …