BitC — язык системного программирования, разработанный исследователями Университета Джонса Хопкинса и The EROS Group как часть проекта Coyotos[en]. Типобезопасен, ориентирован на разработку надёжных (верифицируемых) встраиваемых систем, драйверов и других задач системного программирования.
BitC | |
---|---|
Класс языка | язык программирования и процедурный язык программирования |
Автор | Jonathan S. Shapiro, Swaroop Sridhar и M. Scott Doerrie |
Разработчик | Johns Hopkins University, The EROS Group, LLC |
Выпуск | BitCC 0.9.1 (17 февраля 2006) |
Тестовая версия | BitC 0.11+ Transitional (28 сентября 2008) |
Испытал влияние | Си, ML/Haskell, Scheme[1] |
Лицензия | BSD |
Сайт | bitc-lang.org |
Язык создавался с целью решить две основные задачи:
На данный момент на 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].
![]() | Это «статья-заготовка» о компьютерных языках. Вы можете помочь проекту, дополнив эту статью, как и любую другую в Википедии. Нажмите и узнайте подробности. |
![]() Языки программирования | |
---|---|
| |
|