Juvix: Compilarea Juvix la Michelson

(Metastate) (8 mai 2020)

Juvix este un limbaj de programare tipizat în mod dependent inspirat de Idris , F ★ și Coq . Juvix este conceput ca un limbaj inteligent de verificare și execuție a contractului, în care compilarea eficientă este esențială, deoarece altfel orice compilare ineficientă la primitivele unei mașini virtuale pe un blockchain descentralizat va duce la fonduri suplimentare cheltuite pentru a executa orice program dat fundal despre proiectarea limbajului de contract inteligent, consultați De ce pentru Juvix ).

Juvix prin scriptul său primitiv cunoscut sub numele de Michelson . Michelson este un limbaj specific prin faptul că este un limbaj tipizat bazat pe stivă în linia Forth și Pisoi . Cu toate acestea, spre deosebire de aceste limbaje, lui Michelson îi lipsesc primitive pentru a face funcții numite independent.

Water Bears de Enciclopedia vieții

Articolul complet

Compilarea Juvix cu Michelson | PLT & Teoria tipului R & D la metastat

Juvix este conceput ca un limbaj inteligent de verificare și executare a contractului, unde compilarea eficientă este cheia, ca …

research.metastate.dev

GitHub

cryptiumlabs / juvix

(Aditya prin Wikimedia Commons, CC-BY-SA 3.0) Juvix sintetizează o sintaxă frontend de nivel înalt, dependentă-liniar-tastată …

github.com

Scris de Jeremy Ornelas, dezvoltator principal și cercetător la Metastate . Pentru feedback sau întrebări, vă rugăm să nu ezitați să ne contactați: [email protected]

Urmăriți-ne pe și Twitter pentru a rămâne la curent! 🐫

Lasă un răspuns

Adresa ta de email nu va fi publicată. Câmpurile obligatorii sunt marcate cu *