Проект TrapC развивает Си-подобный язык, безопасно работающий с памятью
Проект развивает Робин Роу (Robin Rowe), бывший профессор компьютерных наук, принимавший участие в комитетах по развитию стандартов С и С++, в своё время создавший графический редактор Cinepaint, использовавшийся при создании некоторых голливудских фильмов, и POSIX-библиотеку libunistd для Windows. Соучредителем компании Trasec выступает Габриэль Пантера (Gabrielle Pantera), занимавшая руководящий пост в компании Disney.
Из особенностей:
-
Проверки выхода за границы массива. В TrapC применяется фундаментально иной способ работы с указателями и специальный механизм перехвата ошибок на основе обработчиков исключений (trap).
-
Проверки use after free.
-
Наличие GC.
-
Выделение памяти через new. *alloc и free нет.
-
Явная инициализация нулями.
-
Строгая типизация.
Исходный код компилятора для TrapC планируют открыть в 2025 году.
>>> Подробности