Juvix: Kompilering av Juvix till Michelson

Publicerad

(Metastate) (8 maj, 2020)

Juvix är ett beroende programmerat språk inspirerat av Idris , F ★ och Coq . Juvix är utformat som ett smart kontraktsverifierings- och exekveringsspråk, där effektiv kompilering är nyckeln, eftersom annars kommer ineffektiv kompilering till primitiverna för en virtuell maskin i en decentraliserad blockchain att leda till extra pengar för att genomföra ett visst program (för mer bakgrund om smart kontraktsspråkdesign, se Varför Juvix ).

Juvix mål genom sitt primitiva skript som kallas Michelson . Michelson är ett märkligt språk genom att det är ett typat stapelbaserat språk i släktlinjen Forth och Kattunge . Till skillnad från dessa språk saknar dock Michelson primitiver för att göra fristående funktioner.

Water Bears by Livscykel

Fullständig artikel

Kompilering av Juvix till Michelson | PLT & Typteori R & D at Metastate

Juvix är utformat som ett smart verifikations- och exekveringsspråk för kontrakt, där effektiv sammanställning är nyckeln, som …

research.metastate.dev

GitHub

cryptiumlabs / juvix

(Aditya via Wikimedia Commons, CC-BY-SA 3.0) Juvix syntetiserar en frontend-syntax på hög nivå, beroende-linjärt typad …

github.com

Skriven av Jeremy Ornelas, kärnutvecklare och forskare vid Metastate . För feedback eller frågor, tveka inte att kontakta oss: [email protected]

Följ oss vidare och Twitter för att hålla dig uppdaterad! 🐫

Lämna ett svar

Din e-postadress kommer inte publiceras. Obligatoriska fält är märkta *