к чем докопаться?
Вроде норм. Не вижу проблемы пока.
проблема в том — что свойство "быть упорядоченным" определяется сомнительным и, очевидно, неполным листингом чего-то там из пакета constraints, который даже не часть компилятора, а именно что сторонний пакет. в то время как на самом деле нужна просто бинарная операция сравнения, удовлетворяющая ряду требований в духе forall . not (x < x). мне это не нравится, это выглядит плохо.
Но это проблема не дженериков ведь (как языковой фичи), а библиотеки.
это проблема фичи как раз, потому что иначе выразить эту мысль в рамках их имплементации нельзя.
В каких промышленных языках так можно, в дженериках? Ну, кроме C++ (где не дженерики, а звезда смерти).
тайпклассы где — там можно.
Обсуждают сегодня