Juvix: Compilation de Juvix vers Michelson

(Metastate) (8 mai 2020)

Juvix est un langage de programmation à typage dépendant inspiré de Idris , F ★ et Coq . Juvix est conçu comme un langage intelligent de vérification et dexécution de contrat, où une compilation efficace est essentielle, car sinon, toute compilation inefficace vers les primitives dune machine virtuelle sur une blockchain décentralisée entraînera des fonds supplémentaires dépensés afin dexécuter un programme donné (pour plus informations générales sur la conception du langage des contrats intelligents, consultez les Pourquoi de Juvix ).

Juvix grâce à son script primitif appelé Michelson . Michelson est un langage particulier en ce quil sagit dun langage typé basé sur une pile dans la lignée de Forth et Chaton . Cependant, contrairement à ces langages, Michelson manque de primitives pour créer des fonctions nommées autonomes.

Ours deau de Encyclopédie de la vie

Article complet

Compilation de Juvix en Michelson | PLT & Théorie des types R & D at Metastate

Juvix est conçu comme un langage intelligent de vérification et d’exécution de contrats, où une compilation efficace est la clé, comme…

research.metastate.dev

GitHub

cryptiumlabs / juvix

(Aditya via Wikimedia Commons, CC-BY-SA 3.0) Juvix synthétise une syntaxe frontale de haut niveau, typée linéairement dépendante…

github.com

Écrit par Jeremy Ornelas, développeur principal et chercheur à Metastate . Pour vos commentaires ou questions, nhésitez pas à nous contacter: [email protected]

Suivez-nous sur et Twitter pour rester à lécoute! 🐫

Laisser un commentaire

Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont indiqués avec *