(Metastate) (8 maggio 2020)
Juvix è un linguaggio di programmazione con tipizzazione dipendente ispirato a Idris , F ★ e Coq . Juvix è progettato come un linguaggio di verifica ed esecuzione di contratti intelligenti, in cui una compilazione efficiente è fondamentale, altrimenti qualsiasi compilazione inefficiente delle primitive di una macchina virtuale su una blockchain decentralizzata comporterà fondi extra spesi per eseguire un determinato programma (per più background sulla progettazione del linguaggio degli smart contract, vedere Perché di Juvix ).
Juvix target attraverso il suo script primitivo noto come Michelson . Michelson è un linguaggio peculiare in quanto è un linguaggio basato su stack tipizzato della discendenza di Forth e Kitten . Tuttavia, a differenza di questi linguaggi, Michelson non dispone di primitive per creare funzioni con nome autonome.
Articolo completo
Compilazione di Juvix a Michelson | PLT & Teoria dei tipi R & D a Metastate
Juvix è progettato come un linguaggio di verifica ed esecuzione di contratti intelligenti, dove la compilazione efficiente è la chiave, come…
research.metastate.dev
GitHub
cryptiumlabs / juvix
(Aditya tramite Wikimedia Commons, CC-BY-SA 3.0) Juvix sintetizza una sintassi di frontend di alto livello, tipizzata linearmente dipendente …
github.com
Scritto da Jeremy Ornelas, sviluppatore principale e ricercatore di Metastate . Per commenti o domande, non esitare a contattarci: [email protected]