Quorum

Quorum

Programski jezik Quorum.- prvi svetovno dokazni programski jezik.
Kvorum je orodje splošnega pomena, ki mu rečemo programski jezik, ki temelji na dokazih.Začelo se je kot jezik, ki je bil prvotno zasnovan tako, da je lažje slišati skozi bralnike zaslona za slepe ali slabovidne uporabnike.Sčasoma je Quorum postal programski jezik za splošne namene, zasnovan za vsakega uporabnika.Trenutne različice se zberejo v Java Bytecode in delujejo na Java-ovem virtualnem stroju, podobno kot JRuby, Jython ali Scala.Quorum 3.0 se prav tako prevaja v JavaScript in ga je mogoče zagnati iz spleta ....
quorum

Kategorije

Alternativa Quorumu za Playstation s komercialno licenco