Juvix: Kompilace Juvix do Michelsonu

(Metastate) (8. května, 2020)

Juvix je závislý typový programovací jazyk inspirovaný Idris , F ★ a Coq . Juvix je navržen jako inteligentní jazyk pro ověřování a provádění kontraktů, kde je klíčová efektivní kompilace, protože jinak každá neúčinná kompilace primitiv virtuálního stroje na decentralizovaném blockchainu bude mít za následek vynaložení dalších finančních prostředků na provedení libovolného daného programu (pro více pozadí návrhu inteligentního smluvního jazyka, viz Proč Juvix ).

Juvix cíle prostřednictvím primitivního skriptu známého jako Michelson . Michelson je zvláštní jazyk v tom, že se jedná o typovaný jazyk založený na zásobníku v linii Forth a Kotě . Na rozdíl od těchto jazyků však Michelson postrádá primitivy, aby vytvořil samostatné pojmenované funkce.

Water Bears od Encyklopedie života

Celý článek

Kompilace Juvix s Michelsonem | PLT & Teorie typů R & D v Metastate

Juvix je navržen jako inteligentní jazyk pro ověřování a provádění smluv, kde je klíčová efektivní kompilace, protože…

research.metastate.dev

GitHub

cryptiumlabs / juvix

(Aditya via Wikimedia Commons, CC-BY-SA 3.0) Juvix syntetizuje front-end syntaxi, závislou lineárně typovanou…

github.com

Autor Jeremy Ornelas, hlavní vývojář a výzkumník v Metastate . V případě zpětné vazby nebo dotazů nás neváhejte kontaktovat: [email protected]

Sledujte nás a Twitter zůstaňte naladěni! 🐫

Napsat komentář

Vaše e-mailová adresa nebude zveřejněna. Vyžadované informace jsou označeny *