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