(metasztátussal) (május 8., 2020)

Juvix egy függően beírt programozási nyelv, amelyet az Idris , F ★ és Coq . A Juvix intelligens szerződés-ellenőrzési és végrehajtási nyelvként van megtervezve, ahol kulcsfontosságú a hatékony fordítás, mivel különben a decentralizált blokkláncon lévő virtuális gép primitívjeinek minden nem hatékony összeállítása többletköltségeket eredményez az adott program végrehajtásához (további információkért) Az intelligens szerződéses nyelvtervezésről lásd: Miért a Juvix ).

Juvix Michelson néven ismert primitív szkriptjén keresztül. A Michelson egy sajátos nyelv, mivel tipizált verem alapú nyelv a Forth és Cica . Ezektől a nyelvektől eltérően azonban Michelsonnak nincsenek primitívumai az önálló elnevezett függvények elkészítéséhez. div id = “4edc265914″>