Eve — это язык программирования и IDE, ориентированный на программиста-человека, а не на машину. Он использует уникальный документный подход, при котором программы выглядят как документы со встроенным кодом. Вместо комментариев программист описывает код в виде структурированного текста, за которым гораздо легче следить.
ПРИМЕЧАТЕЛЬНЫЕ ОСОБЕННОСТИ
- Программа представляет собой базу данных, поэтому не требуется никаких несоответствий по сантехнике или импедансу, а также не требуется дополнительная инфраструктура.
- Семантика, созданная для параллелизма, асинхронности и распределения. Никаких обещаний, синхронизации потоков или заимствований.
- Программы Eve практикуют грамотное программирование, поскольку язык не навязывает случайное упорядочение.
- Программы органично растут за счет композиции.
- Программы естественно крошечные.
- Корректность может быть определена глобально через ограничения целостности, что позволяет людям безопасно вносить свой вклад в приложение, не беспокоясь о проверке всех возможных инвариантов локально.
