Cyclone (язык программирования)
Cyclone | |
---|---|
![]() | |
Семантика | процедурный |
Класс языка | язык программирования |
Тип исполнения | компилируемый |
Появился в |
2001 |
Автор | AT&T в сотрудничестве с рядом университетов |
Разработчик | AT&T |
Система типов | строгая, статическая |
Испытал влияние | C, ML |
Повлиял на | Rust (язык программирования) |
Сайт | cyclone.thelanguage.org |
Cyclone (читается «Си-клон» или «Циклон») — исследовательский язык программирования, созданный
Цель и история проекта
Основная цель разработки — сделать программы на Си более защищённым от ошибок и уязвимостей, таких, как печально известное переполнение буфера, при минимальной потере эффективности и с сохранением преемственности. Идея заключается в том, чтобы взять средства эффективной защиты у языков высокого уровня и внедрить их в язык более низкого уровня.
Основы разработки были заложены
Версия
Обзор языка
Cyclone отличают от Си прежде всего более строгая типизация, и, при необходимости, введение runtime проверок, например, за соблюдением границ
Самые большие нововведения связаны с заимствованием идей по работе с типами данных из языка
Новый язык очень близок к C, что позволяет с минимальными усилиями
См. также
Примечания
- ↑ Typed Assembly Language . Дата обращения: 15 мая 2007. Архивировано 2 июня 2007 года.
Источники
- Cyclone User Manual
- Cyclone: a Type-safe Dialect of C by Dan Grossman, Michael Hicks, Trevor Jim, and Greg Morrisett — published January 2005
- Cyclone: A Safe Dialect of C Страничка AT&T посвящённая Cyclone
- Александр Дорожкин (2002-10-02). "Слово и дело. Новый язык программирования позволит избежать уязвимостей в системах защиты программных продуктов". Компьютерра. Архивировано 4 марта 2006. Дата обращения: 30 марта 2012.
- M Edwards (2001-11-19). "New Cyclone Programming Language: Bugs be Gone!". Windows IT Pro. Дата обращения: 15 апреля 2012. (недоступная ссылка)
Ссылки
- cyclone.thelanguage.org — Официальный сайт.
- www.eecs.harvard.edu/~greg/cyclone/old_cyclone.html — старая версия официального сайта.
- Проект Cyclone-Language на сайте GitHub
Это заготовка статьи о компьютерных языках. Помогите Википедии, дополнив её. |