Comments 7
Круто! Красиво конечно, но пока непонятно как и стоит ли применять это в продакшене?
Не думаю, но fizzbuzz так написать можно.
Применять скорее не стоит, но некоторые трюки на уровне системы типов реализованы таким же образом и могут быть полезны для написания абстракций. Вопрос лишь сложности редукции таких типов к конечному результату.
Мне кажется, более простым для использования и понимания будет вариант с const generics, но последний раз когда я пытался реализовать схожее, оказалось, что не вся арифметика доступна в const.
Эта статья - просто упрощенная версия легендарной https://habr.com/ru/articles/578198/
Подскажите, пожалуйста, где Вы взяли заглавную картинку? Очень уж она любопытная)
простейших математических операций, таких как сложение, вычитание, умножение и деление.
И тут все мы вспомнили, что вся эта арифметика сводится к одному только сложению (логической операции)...
Арифметика первого класса в системе типов Rust