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

Spletna stran:

Kategorije

Alternativa Quorumu za Linux

Python

Python

Python je interpretiran, interaktiven, objektno orientiran, razširljiv programski jezik.
Java

Java

Java je računalniški programski jezik splošnega pomena, ki je sočasno, v razredu, objektno usmerjen in posebej zasnovan tako, da ima čim manj odvisnosti od izvajanja.
C (programming language)

C (programming language)

C je splošni računalniški programski jezik.C je eden najpogosteje uporabljanih programskih jezikov vseh časov.
C++

C++

C ++ je statično tipizirana več-paradigma v prosti obliki, sestavljena, splošnega in zmogljivega programskega jezika.
C#

C#

C # je programski jezik z več paradigmi, ki vključuje močno tipkanje, nujno, deklarativno, funkcionalno, generično, objektno usmerjeno (na osnovi razreda) in komponento usmerjeno ...
Lua

Lua

Lua je močan, hiter, lahek in vgrajen skriptni jezik.
Perl

Perl

Perl je visokonamenski, razlagalni, dinamični programski jezik na visoki ravni z več kot 22 leti razvoja.
Scala

Scala

Scala je sodoben programski jezik z več paradigmi, ki temelji na Java Virtual Machine (JVM), zasnovan za izražanje običajnih programskih vzorcev v jedrnat, eleganten in za tip ...
Haskell

Haskell

Haskell je napredni povsem funkcionalni programski jezik.
D (Programming Language)

D (Programming Language)

D je jezik s C-podobno skladnjo in statičnim tipkanjem.Pragmatično združuje učinkovitost, nadzor in moč modeliranja z varnostjo in produktivnostjo programerja. Udobnost
Nim (programming language)

Nim (programming language)

Nim je statično tipan, nujen programski jezik z zmogljivim makro sistemom, ki poskuša programerju zagotoviti vrhunsko moč brez kompromisov pri učinkovitosti izvajanja.
FreeBASIC

FreeBASIC

FreeBASIC je popolnoma brezplačen, 32-bitni kompilator BASIC z odprto kodo, s skladnjo, podobno MS-QuickBASIC, ki dodaja nove funkcije, kot so kazalci, nepodpisani tipi podatkov, inline ...
Ceylon

Ceylon

Podpora za navidezne stroje Java in JavaScript
Factor

Factor

Programski jezik Factor združuje zmogljive jezikovne funkcije s polno predstavljeno knjižnico.
Nim (programming language)

Nim (programming language)

Nim je statično vtipkan, nujen programski jezik, ki poskuša programerju dati vrhunsko moč brez ogrožanja učinkovitosti izvajanja.