WikiSort.ru - Программирование

ПОИСК ПО САЙТУ | о проекте
BitC
Класс языка язык программирования и процедурный язык программирования[d]
Автор 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 — язык системного программирования, разработанный исследователями Университета Джона Хопкинса и The EROS Group как часть проекта Coyotos[en]. Типобезопасен, ориентирован на разработку надёжных (верифицируемых) встраиваемых систем, драйверов и других задач системного программирования.

Цели

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

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

Достижения

На данный момент на 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].

См. также

Примечания

  1. ↑ 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.». (недоступная ссылка)
  2. ↑ ChampReview.
  3. ↑ История проекта Coyotos Архивировано 1 августа 2012 года.
  4. ↑ [bitc-dev] Where Has shap Been Hiding? Архивировано 3 августа 2012 года.. Coyotos.org. Retrieved on 2013-07-21.
  5. ↑ [bitc-dev] Reviewing the state of BitC Архивировано 14 апреля 2013 года.. Coyotos.org. Retrieved on 2013-07-21.
  6. ↑ [bitc-dev] Retrospective Thoughts on BitC Архивировано 25 марта 2012 года.. Coyotos.org. Retrieved on 2013-07-21.
  7. ↑ Draft Bitc Specitication Архивировано 2 апреля 2015 года.

Ссылки

Это заготовка статьи о компьютерных языках. Вы можете помочь проекту, дополнив её.

Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".

Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.

Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .



Текст в блоке "Читать" взят с сайта "Википедия" и доступен по лицензии Creative Commons Attribution-ShareAlike; в отдельных случаях могут действовать дополнительные условия.

Другой контент может иметь иную лицензию. Перед использованием материалов сайта WikiSort.ru внимательно изучите правила лицензирования конкретных элементов наполнения сайта.

2019-2024
WikiSort.ru - проект по пересортировке и дополнению контента Википедии