Mar 22, 2008 20:06
Судя по всему, я еще и внутренности gcc изучу в ближайшее время.
Например, вот уже добавил intrinsics, числом восемь. Теперь мне грозит создание внутренних структур.
gcc, по некоторому изучению предмета, достаточно логичная штука, только очень значительная по объему.
Кстати, у меня сформировалось некоторое понимание, что же такое "программирование в зависимых типах," думаю изложить отдельной заметкой. Получается "очень конструктивная логика," настолько конструктивная, что даже сравнение сделать тяжело. ;)
gcc,
зависимые типы данных,
работа