(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″>