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