Bitc

bitc
Jazyková třída programovací jazyk a procedurální programovací jazyk
Autor Jonathan S. Shapiro, Swaroop Sridhar a M. Scott Doerrie
Vývojář Univerzita Johnse Hopkinse , The EROS Group, LLC
Uvolnění BitCC 0.9.1 (17. února 2006)
Testovací verze BitC 0.11+ přechodné (28. září 2008)
Byl ovlivněn C , ML / Haskell , schéma [1]
Licence BSD
webová stránka bitc-lang.org

BitC  je systémový programovací jazyk vyvinutý výzkumníky z Johns Hopkins University a The EROS Group jako součást projektu Coyotos . Je typově bezpečný , zaměřený na vývoj spolehlivých ( ověřitelných ) vestavěných systémů , ovladačů a dalších úloh systémového programování .

Cíle

Jazyk byl vytvořen, aby řešil dva hlavní problémy:

  1. Spojte výdobytky moderních programovacích jazyků při zachování výkonu jazyka C.
  2. Zjednodušte ověřování nízkoúrovňových programů, jako je jádro / mikrokernel operačního systému .

Úspěchy

V současné době je možné implementovat MPEG dekodér nebo kryptografický hashovací algoritmus SHA-1 v BitC , který bude prokazatelně bezpečný a přesto bude konkurovat ve výkonu implementaci C. Toho nelze dosáhnout v Standard ML , OCaml nebo Haskell . [2]

Stav

V dubnu 2009 hlavní vývojář Jonathan Shapiro [3] oznámil, že přijal nabídku Microsoftu pracovat na operačním systému Midori a v srpnu přestane pracovat na programovacím jazyce [4] . V březnu 2010 oznámil, že opouští Microsoft a bude pokračovat v práci na BitC [5] . V březnu 2012 však oznámil, že vývoj definitivně zastaví, jelikož jazyk má zásadní designové chyby a v současné podobě nebude fungovat [6] . Dne 26. února 2015 byly na oficiálních stránkách oznámeny práce na verzi 0.2 jazykové specifikace [7] .

Viz také

Poznámky

  1. ↑ Programovací jazyk BitC . — „BitC je nový systémový programovací jazyk. Snaží se spojit flexibilitu, bezpečnost a bohatost Standard ML nebo Haskell s nízkou úrovní expresivity C. ... BitC právě provedl přechod od syntaxe podobné LISP (s-expression) ke konvenčnější syntaxi "."  (nedostupný odkaz)
  2. ↑ ChampReview .
  3. ↑ Historie projektu Coyotos Archivováno 1. srpna 2012.
  4. ↑ [bitc-dev] Kde se skrývá shap? Archivováno z originálu 3. srpna 2012. . Coyotos.org. Získáno 21. 7. 2013.
  5. ↑ [bitc-dev] Kontrola stavu BitC Archivováno 14. dubna 2013. . Coyotos.org. Získáno 21. 7. 2013.
  6. ↑ [bitc-dev] Retrospektivní myšlenky na BitC Archivováno 22. června 2012 na Wayback Machine . Coyotos.org. Získáno 21. 7. 2013.
  7. ↑ Návrh bitc specifikace archivován 2. dubna 2015.

Odkazy

 Programovací jazyky