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