Juvix: A Juvix összeállítása Michelson

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

Az élet enciklopédiája

Teljes cikk

A Juvix összeállítása Michelsonnal | PLT & Típuselmélet R & D a Metastate-on

A Juvix intelligens szerződés-ellenőrzési és végrehajtási nyelvként van kialakítva, ahol a hatékony összeállítás kulcsfontosságú, mivel…

research.metastate.dev

GitHub

cryptiumlabs / juvix

(Aditya a Wikimedia Commonson keresztül, CC-BY-SA 3.0) A Juvix szintetizál egy magas szintű frontend szintaxist, függőség-lineárisan beírva…

github.com

Írta: Jeremy Ornelas, fő fejlesztő és kutató a Metastate . Visszajelzés vagy kérdés esetén forduljon hozzánk bizalommal: [email protected]

Kövess minket, és Twitteren maradj velünk! 🐫