Bitc

bitc
clase de idioma lenguaje de programación y lenguaje de programación procedimental
Autor Jonathan S. Shapiro, Swaroop Sridhar y M. Scott Doerrie
Desarrollador Universidad Johns Hopkins , The EROS Group, LLC
Liberar BitCC 0.9.1 (17 de febrero de 2006)
Versión de prueba BitC 0.11+ de transición (28 de septiembre de 2008)
sido influenciado C , ML / Haskell , Esquema [1]
Licencia BSD
Sitio web bitc-lang.org

BitC  es un lenguaje de programación de sistemas desarrollado por investigadores de la Universidad Johns Hopkins y The EROS Group como parte del proyecto Coyotos . Es de tipo seguro y se centra en el desarrollo de sistemas integrados , controladores y otras tareas de programación de sistemas confiables ( verificables ) .

Goles

El lenguaje fue creado para resolver dos problemas principales:

  1. Combine los logros de los lenguajes de programación modernos mientras mantiene el rendimiento del lenguaje C.
  2. Simplifica la verificación de programas de bajo nivel como el kernel / microkernel del sistema operativo.

Logros

Por el momento, es posible implementar un decodificador MPEG o un algoritmo hash criptográfico SHA-1 en BitC que demostrará ser seguro y, sin embargo , competirá en rendimiento con la implementación C. Esto no se puede lograr en Standard ML , OCaml o Haskell . [2]

Condición

En abril de 2009, el desarrollador principal, Jonathan Shapiro [3] , anunció que había aceptado la oferta de Microsoft para trabajar en el sistema operativo Midori y que dejaría de trabajar en el lenguaje de programación en agosto [4] . En marzo de 2010, anunció que dejaba Microsoft y que seguiría trabajando en BitC [5] . Sin embargo, en marzo de 2012, anunció que finalmente detendría el desarrollo, ya que el lenguaje tenía fallas de diseño fundamentales y no funcionaría en su forma actual [6] . El 26 de febrero de 2015, se anunció en el sitio web oficial el trabajo sobre la versión 0.2 de la especificación del lenguaje [7] .

Véase también

Notas

  1. ↑ El lenguaje de programación BitC . — “BitC es un nuevo lenguaje de programación de sistemas. Busca combinar la flexibilidad, seguridad y riqueza de Standard ML o Haskell con la expresividad de bajo nivel de C. ... BitC acaba de hacer una transición de una sintaxis similar a LISP (expresión s) a una sintaxis más convencional. .".  (enlace no disponible)
  2. ↑ Revisión de campeones .
  3. ↑ Historia del proyecto Coyotos Archivado el 1 de agosto de 2012.
  4. ↑ [bitc-dev] ¿Dónde se ha estado escondiendo Shap? Archivado desde el original el 3 de agosto de 2012. . Coyotos.org. Recuperado el 21-07-2013.
  5. ↑ [bitc-dev] Revisión del estado de BitC Archivado el 14 de abril de 2013. . Coyotos.org. Recuperado el 21-07-2013.
  6. ↑ [bitc-dev] Pensamientos retrospectivos sobre BitC Archivado el 22 de junio de 2012 en Wayback Machine . Coyotos.org. Recuperado el 21-07-2013.
  7. ↑ Borrador de especificación de Bitc Archivado el 2 de abril de 2015.

Enlaces

 Lenguajes de programación