123
Eve

Eve

Eve je programski jezik in IDE, ki se osredotoča na človeškega programerja in ne na stroj.
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 ....

Kategorije

Alternativa Eveu za Windows

Light Table

Light Table

Light Table je nova interaktivna IDE, ki vam omogoča spreminjanje tekočih programov in vdelavo česar koli od spletnih mest do iger.
Projucer

Projucer

Projucer je izčrpno orodje za upravljanje projektov in urejanje kode z revolucionarnim C ++ živim kodirnim okoljem, ki ima popolno podporo C ++ 11.
Kajero

Kajero

Interaktivni prenosni računalniki JavaScript - ustvarite dobro videti, odzivne in interaktivne dokumente.
Data-Forge Notebook

Data-Forge Notebook

Orodje za izdelavo prototipov v obliki prenosnika, orodje za raziskovanje, analizo in vizualizacijo namizja.