BitC
| BitC | |
|---|---|
| Класс языка | язык программирования и процедурный язык программирования |
| Автор | Jonathan S. Shapiro, Swaroop Sridhar и M. Scott Doerrie |
| Разработчик | Johns Hopkins University,The EROS Group, LLC |
| Выпуск | BitCC 0.9.1 (2006-02-17) |
| Тестовая версия | BitC 0.11+ Transitional (2008-09-28) |
| Испытал влияние | Си,ML/Haskell,Scheme[1] |
| Лицензия | BSD |
| Сайт | bitc-lang.org |
BitC — языксистемного программирования, разработанный исследователямиУниверситета Джонса Хопкинса иThe EROS Group как часть проектаCoyotos[англ.].Типобезопасен, ориентирован на разработку надёжных (верифицируемых)встраиваемых систем,драйверов и других задачсистемного программирования.
Цели
[править |править код]Язык создавался с целью решить две основные задачи:
- Объединить достижения современных языков программирования при сохранении производительности языкаСи.
- Упростить верификацию низкоуровневых программ, таких какядро/микроядро операционной системы.
Достижения
[править |править код]На данный момент на BitC возможно реализоватьMPEG-декодер или алгоритмкриптографического хешированияSHA-1, которые будут иметь доказаннуюбезопасность, и при этом соперничать в быстродействии с реализацией наСи. Этого невозможно добиться наStandard ML,OCaml илиHaskell.[2][аффилированный источник?]
Состояние
[править |править код]В апреле 2009 года главный разработчик, Джонатан Шапиро[3], объявил, что принял предложениеMicrosoft по работе над операционной системойMidori и в августе прекратит работу над языком программирования[4]. В марте 2010 года он объявил, что покидает Microsoft и продолжит работу над BitC[5]. Однако, в марте 2012 он сообщил, что окончательно прекращает разработку, так как язык имеет фундаментальные ошибки в дизайне и в текущем виде работать не будет[6]. 26 февраля 2015 года на официальном сайте было объявлено о работе над версией 0.2 спецификации языка[7].
См. также
[править |править код]Примечания
[править |править код]- ↑The BitC Programming Language (неопр.). — «BitC is a new systems programming language. It seeks to combine the flexibility, safety, and richness of Standard ML or Haskell with the low-level expressiveness of C. ... BitC has just made a transition from a LISP-like (s-expression) syntax to a more conventional syntax.» (недоступная ссылка)
- ↑ChampReview.
- ↑История проекта CoyotosАрхивировано 1 августа 2012 года.
- ↑[bitc-dev] Where Has shap Been Hiding?Архивировано 3 августа 2012 года.. Coyotos.org. Retrieved on 2013-07-21.
- ↑[bitc-dev] Reviewing the state of BitCАрхивировано 14 апреля 2013 года.. Coyotos.org. Retrieved on 2013-07-21.
- ↑[bitc-dev] Retrospective Thoughts on BitCАрхивная копия от 22 июня 2012 наWayback Machine. Coyotos.org. Retrieved on 2013-07-21.
- ↑Draft Bitc SpeciticationАрхивировано 2 апреля 2015 года.
Ссылки
[править |править код]- Домашная страница проекта
- Спецификация языка
- BitC-dev архив рассылки
- Страница проекта Coyotos
- Домашняя страница Джонатана Шапиро
- ChampReview: The BitC Programming Language (неопр.).
 | Этозаготовка статьи окомпьютерных языках. Помогите Википедии, дополнив её. |
