(Metastate) (8. Mai) 2020)
Juvix ist eine abhängig typisierte Programmiersprache, die von Idris , F ★ und Coq . Juvix ist als intelligente Vertragsüberprüfungs- und Ausführungssprache konzipiert, in der eine effiziente Kompilierung von entscheidender Bedeutung ist, da andernfalls eine ineffiziente Kompilierung der Grundelemente einer virtuellen Maschine in einer dezentralen Blockchain zu zusätzlichen Ausgaben für die Ausführung eines bestimmten Programms führt (für mehr Hintergrundinformationen zum intelligenten Design von Vertragssprachen finden Sie unter Warum von Juvix ).
Juvix Ziele durch seine primitive Schrift, bekannt als Michelson . Michelson ist eine besondere Sprache, da es sich um eine typisierte stapelbasierte Sprache in der Linie von Forth und Kätzchen . Im Gegensatz zu diesen Sprachen fehlen Michelson jedoch Grundelemente, um eigenständige benannte Funktionen zu erstellen.
Vollständiger Artikel
Juvix zu Michelson kompilieren | PLT & Typentheorie R & D bei Metastate
Juvix wurde als intelligente Vertragsüberprüfungs- und Ausführungssprache entwickelt. Wo effizientes Kompilieren der Schlüssel ist, wie …
research.metastate.dev
GitHub
cryptiumlabs / juvix
(Aditya über Wikimedia Commons, CC-BY-SA 3.0) Juvix synthetisiert eine hochrangige Frontend-Syntax, die abhängig linear linear ist…
github.com
Geschrieben von Jeremy Ornelas, Kernentwickler und Forscher bei Metastate . Für Feedback oder Fragen wenden Sie sich bitte an uns: [email protected]