Результаты поиска по запросу "refinement-type"
Можно ли добиться того, чтобы Запись уважала некоторые инварианты?
Предположим, я хотел создать тип записи, который представляет приемлемые минимальные / максимальные границы:
Можно ли добиться того, чтобы Запись уважала некоторые инварианты?
Предположим, я хотел создать тип записи, который представляет приемлемые минимальные / максимальные границы: type Bounds = { Min: float; Max: float }Есть ли способ обеспечить, чтобы Мин <Макс? Легко написать функцию validateBounds, мне просто ...