TrapC (язык программирования)

История

2024: Анонс продукта

В середине ноября 2024 года стартап Trasec анонсировал язык программирования TrapC, обеспечивающий безопасную работу с памятью. Цель проекта заключается в том, чтобы помочь разработчикам создавать программное обеспечение, устойчивое к сбоям и зависаниям.

Генеральным директором Trasec является Робин Роу (Robin Rowe), бывший профессор компьютерных наук и эксперт по графике, принимавший участие в комитетах по развитию стандартов С и С++. Соучредителем компании выступает Габриэль Пантера (Gabrielle Pantera), ранее занимавшая руководящий пост в компании Disney.

𝓲

Фото: Unsplash

Отмечается, что TrapC представляет собой диалект С и С++. Новый язык спроектирован таким образом, чтобы исключить ошибки вроде переполнения буфера или обращения к уже освобожденной памяти. В TrapC реализован новый способ работы с указателями и специальный механизм перехвата ошибок на основе обработчиков исключений. При этом компилятор будет проверять все границы буферов и гарантировать, что указатели ссылаются только на связанные с ними области памяти.

Как сообщает The Register, TrapC обеспечивает совместимость с языком C, поскольку использует тот же двоичный интерфейс приложения (ABI). Кроме того, как ожидается, новый язык программирования окажется безопаснее Rust. В целом, разработчики TrapC намерены сделать язык более простым по сравнению с С и С++. Вместо malloc в TrapC используется похожий на C++ конструктор new. Вызовы free и delete исключены, а за освобождение памяти отвечает компилятор, что защищает от проблем, приводящих к утечке памяти. В некотором смысле, как отмечают авторы проекта, TrapC схож с Java.

Компилятор TrapC планируется выпустить в виде бесплатного программного обеспечения с открытым исходным кодом в 2025 году.^[1]

Примечания