Eve est un langage de programmation et un IDE qui se concentre sur le programmeur humain plutôt que sur la machine.Il utilise une approche documentaire unique où les programmes ressemblent à des documents avec du code intégré.Plutôt que des commentaires, le programmeur décrit le code au moyen d'un texte structuré qui est beaucoup plus facile à suivre.CARACTÉRISTIQUES REMARQUABLES - Le programme est la base de données, donc aucune incompatibilité de plomberie ou d'impédance, et aucune infrastructure supplémentaire n'est nécessaire.- Sémantique conçue pour la concurrence, l'asynchronie et la distribution.Aucune promesse, synchronisation de threads ou emprunts.- Les programmes Eve pratiquent la programmation alphabétisée, car aucun ordre incident n'est imposé par la langue.- Les programmes se développent organiquement grâce à la composition.- Les programmes sont naturellement minuscules.- La justesse peut être définie globalement par le biais de contraintes d'intégrité, permettant aux utilisateurs de contribuer en toute sécurité à une application sans se soucier de vérifier chaque invariant possible localement ....