Bitc

bitc
Nyelvóra programozási nyelv és procedurális programozási nyelv
Szerző Jonathan S. Shapiro, Swaroop Sridhar és M. Scott Doerrie
Fejlesztő Johns Hopkins Egyetem , The EROS Group, LLC
Kiadás BitCC 0.9.1 (2006. február 17.)
Teszt verzió BitC 0.11+ átmeneti (2008. szeptember 28.)
Befolyásolt C , ML / Haskell , Scheme [1]
Engedély BSD
Weboldal bitc-lang.org

A BitC  egy rendszerprogramozási nyelv, amelyet a Johns Hopkins Egyetem és az EROS Group kutatói fejlesztettek ki a Coyotos projekt részeként . Típusbiztos , megbízható ( ellenőrizhető ) beágyazott rendszerek , illesztőprogramok és egyéb rendszerprogramozási feladatok fejlesztésére összpontosít .

Célok

A nyelvet két fő probléma megoldására hozták létre:

  1. Kombinálja a modern programozási nyelvek vívmányait, miközben megőrzi a C nyelv teljesítményét .
  2. Egyszerűsítse az alacsony szintű programok, például az operációs rendszer kernelének / mikrokernelének ellenőrzését.

Eredmények

Jelenleg lehetőség van egy MPEG dekódoló vagy SHA-1 kriptográfiai kivonatoló algoritmus megvalósítására a BitC-ben , amely bizonyítottan biztonságos , de teljesítményében mégis versenyez a C implementációval . Ez nem érhető el Standard ML , OCaml vagy Haskell esetén . [2]

Állapot

2009 áprilisában a vezető fejlesztő, Jonathan Shapiro [3] bejelentette, hogy elfogadta a Microsoft ajánlatát, hogy a Midori operációs rendszeren dolgozzon, és augusztusban leállítja a programozási nyelvet [4] . 2010 márciusában bejelentette, hogy elhagyja a Microsoftot, és tovább dolgozik a BitC-n [5] . 2012 márciusában azonban bejelentette, hogy végre leállítja a fejlesztést, mivel a nyelv alapvető tervezési hibákkal rendelkezik, és a jelenlegi formájában nem fog működni [6] . 2015. február 26-án a hivatalos weboldalon bejelentették a nyelvi specifikáció [7] 0.2-es verziójával kapcsolatos munkát .

Lásd még

Jegyzetek

  1. ↑ A BitC programozási nyelv . — „A BitC egy új rendszerprogramozási nyelv. A Standard ML vagy a Haskell rugalmasságát, biztonságát és gazdagságát igyekszik ötvözni a C alacsony szintű kifejezőképességével. A BitC éppen most lépett át a LISP-szerű (s-kifejezés) szintaxisról egy hagyományosabb szintaxisra .".  (nem elérhető link)
  2. ↑ ChampReview .
  3. ↑ A Coyotos projekt története Archiválva : 2012. augusztus 1.
  4. ↑ [bitc-dev] Hol rejtőzött a Shap? Archiválva az eredetiből 2012. augusztus 3-án. . Coyotos.org. Letöltve: 2013-07-21.
  5. ↑ [bitc-dev] A BitC állapotának áttekintése Archiválva : 2013. április 14. . Coyotos.org. Letöltve: 2013-07-21.
  6. ↑ [bitc-dev] Retrospective Thoughts on BitC Archiválva : 2012. június 22. a Wayback Machine -nél . Coyotos.org. Letöltve: 2013-07-21.
  7. ↑ A Bitc specifikáció vázlata archiválva : 2015. április 2.

Linkek

 Programozási nyelvek