Description

Eve es un lenguaje de programación e IDE que se centra en el programador humano en lugar de la máquina. Utiliza un enfoque de documento único donde los programas se ven como documentos con código incrustado. En lugar de comentarios, el programador describe el código mediante un texto estructurado que es mucho más fácil de seguir.

CARACTERÍSTICAS NOTABLES

- El programa es la base de datos, por lo que no hay problemas de plomería o impedancia, y no se necesita infraestructura adicional.
- Semántica construida para la concurrencia, la asincronía y la distribución. No hay promesas, sincronizaciones de hilos o préstamos.
- Los programas de Eve practican la programación alfabetizada, ya que el lenguaje no impone ningún orden incidental.
- Los programas crecen orgánicamente a través de la composición.
- Los programas son naturalmente pequeños.
- La corrección se puede definir globalmente a través de restricciones de integridad, lo que permite a las personas contribuir de manera segura a una aplicación sin preocuparse por verificar cada invariante posible localmente ...

Categorías