Вот например type Ordered interface { Integer|Float|~string } нет тут

Question

ReasonML и OCaml

The Zazaeil

Вот например type Ordered interface { Integer|Float|~string } нет тут

к чем докопаться?

#programming #reasonml #russian

0

03.04.2024

6 ответов

11 просмотров

The Zazaeil Автор вопроса

Максим Муратов
Вроде норм. Не вижу проблемы пока.

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

0

28 дней назад

Максим Муратов

The Zazaeil
проблема в том — что свойство "быть упорядоченным"...

Но это проблема не дженериков ведь (как языковой фичи), а библиотеки.

0

28 дней назад

The Zazaeil Автор вопроса

Максим Муратов
Но это проблема не дженериков ведь (как языковой ф...

это проблема фичи как раз, потому что иначе выразить эту мысль в рамках их имплементации нельзя.

0

28 дней назад