Исправление Siborgium, (текущая версия) :
Ноги растут из необходимости однозначно определять тип по значению.
Ну вот нет такой необходимости. Точнее, есть, но в силу ограничений хаскеля и подобных. Тип значения отлично описывается самим значением.
Чем typeclass не перегрузка?
Тайпкласс не позволяет добавлять значения в overload set, не вписывающиеся в заданный им (тайпклассом) интерфейс.
Исходная версия Siborgium, :
Ноги растут из необходимости однозначно определять тип по значению.
Ну вот нет такой необходимости. Тип значения отлично описывается самим значением.
Чем typeclass не перегрузка?
Тайпкласс не позволяет добавлять значения в overload set, не вписывающиеся в заданный им (тайпклассом) интерфейс.