Juvix: Compiling Juvix to Michelson (Italiano)

Pubblicato il

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

Water Bears di Encyclopedia of Life

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]

Seguici su e Twitter per rimanere sintonizzato! 🐫

Lascia un commento

Il tuo indirizzo email non sarà pubblicato. I campi obbligatori sono contrassegnati *