Наверное как-то так можно: https://t.me/ts_ru/110627 Ну, или вариант номер 2 - сделать свой тайп-гвард
никак. Более того, я ща вообще скажу еретичество, но в каком-нибудь C/C++ unsigned — это рантайм интерпретация битиков, которые лежат в памяти.
refinement types
При этом с/с++ будет ругаться (наверно, давно не работал с ним)
Смотря на что. Смешивать unsigned и signed можно, без -Wall компилятор точно не будет на это ругаться
Обсуждают сегодня