История изменений
Исправление
geekless,
(текущая версия)
:
Система типов будет реализована вот на том самом, что преобразует AST. На финальную компиляцию будет идти код, в котором из типов одни только «числа», «структуры» и «указатели».
А когда ты при помощи макроподстановок реализуешь такой механизм гарантий, который я описал, ты этим фактически дополняешь систему типов языка. Не важно, встроено оно в базовую поставку или прикручено сверху, результат-то будет тот же самый - некоректный код будет пойман на этапе макроподстановок.
Исходная версия
geekless,
:
Система типов будет реализована вот на том самом, что преобразует AST. На финальную компиляцию будет идти код, в котором из типов одни только «числа», «структуры» и «указатели».
А когда ты при помощи макроподстановок реализуешь такой механизм гарантий, который я описал, ты этим фактически дополняешь систему типов языка. Не важно, встроено оно в базовую поставку или прикручено сверху, результа-то будет тот же самый - некоректный код будет пойман на этапе макроподстановок.