3
Eve je programski jezik in IDE, ki se osredotoča na človeškega programerja in ne na stroj.Uporablja edinstven dokumentski pristop, kjer programi izgledajo kot dokumenti z vdelano kodo.Programer namesto komentarjev opisuje kodo s strukturiranim besedilom, ki mu je veliko lažje slediti.OBVESTILNE ZNAČILNOSTI - Program je baza podatkov, zato ni nobenega vodovodnega ali impedančnega neskladja in dodatna infrastruktura ni potrebna.- Semantika, zasnovana za sočasnost, asinhronost in distribucijo.Brez obljub, sinhronizacije niti ali zadolževanja.- Programi Eve izvajajo pismeno programiranje, saj jezik ne naključno naroči.- Programi rastejo organsko skozi sestavo.- Programi so naravno majhni.- Korektnost je mogoče določiti po vsem svetu z omejitvami integritete, ki ljudem omogoča varno prispevanje k aplikaciji, ne da bi skrbeli za preverjanje vseh možnih invariant lokalno ....
eve