Русская Википедия:BitC

Материал из Онлайн справочника
Версия от 17:47, 13 июля 2023; EducationBot (обсуждение | вклад) (Новая страница: «{{Русская Википедия/Панель перехода}} {{Карточка языка программирования | name = BitC | logo = | caption = | file ext = | paradigm = | released = | designer = Jonathan S. Shapiro, Swaroop Sridhar и M. Scott Doerrie | developer = Johns Hopkins University, [http://www.e...»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигацииПерейти к поиску

Шаблон:Карточка языка программирования BitC — язык системного программирования, разработанный исследователями Университета Джонса Хопкинса и The EROS Group как часть проекта Шаблон:Нп5. Типобезопасен, ориентирован на разработку надёжных (верифицируемых) встраиваемых систем, драйверов и других задач системного программирования.

Цели

Язык создавался с целью решить две основные задачи:

  1. Объединить достижения современных языков программирования при сохранении производительности языка Си.
  2. Упростить верификацию низкоуровневых программ, таких как ядро/микроядро операционной системы.

Достижения

На данный момент на BitC возможно реализовать MPEG-декодер или алгоритм криптографического хеширования SHA-1, которые будут иметь доказанную безопасность, и при этом соперничать в быстродействии с реализацией на Си. Этого невозможно добиться на Standard ML, OCaml или Haskell.Шаблон:SfnШаблон:Аффилированный источник

Состояние

В апреле 2009 года главный разработчик, Джонатан Шапиро[1], объявил, что принял предложение Microsoft по работе над операционной системой Midori и в августе прекратит работу над языком программирования[2]. В марте 2010 года он объявил, что покидает Microsoft и продолжит работу над BitC[3]. Однако, в марте 2012 он сообщил, что окончательно прекращает разработку, так как язык имеет фундаментальные ошибки в дизайне и в текущем виде работать не будет[4]. 26 февраля 2015 года на официальном сайте было объявлено о работе над версией 0.2 спецификации языка[5].

См. также

Примечания

Шаблон:Примечания

Ссылки

Шаблон:Compu-lang-stub Шаблон:Языки программирования

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

  1. ↑ История проекта Coyotos Шаблон:Webarchive
  2. ↑ [bitc-dev] Where Has shap Been Hiding? Шаблон:Webarchive. Coyotos.org. Retrieved on 2013-07-21.
  3. ↑ [bitc-dev] Reviewing the state of BitC Шаблон:Webarchive. Coyotos.org. Retrieved on 2013-07-21.
  4. ↑ [bitc-dev] Retrospective Thoughts on BitC Шаблон:Wayback. Coyotos.org. Retrieved on 2013-07-21.
  5. ↑ Draft Bitc Specitication Шаблон:Webarchive
Источник — http://wikihandbk.com/ruwiki/index.php?title=Русская_Википедия:BitC&oldid=8597225