История изменений
Исправление
hateyoufeel,
(текущая версия)
:
Ага. Но эта штука крайне ограничена. А теперь попробуй использовать в refinement type, например, какую-нибудь монадическую функцию.
К слову, эти два механизма не то чтобы противопоставлены и не исключают друг друга. Т.е. тебе никто не мешает их интегрировать, хотя бы в теории. Например, как тут: https://www.tweag.io/blog/2021-02-05-refinement-types/
Исходная версия
hateyoufeel,
:
Ага. Но эта штука крайне ограничена. А теперь попробуй использовать в refinement type, например, какую-нибудь монадическую функцию.