Juvix: Kompilieren von Juvix nach Michelson

Veröffentlicht

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

Water Bears by Enzyklopädie des Lebens

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]

Folgen Sie uns auf und Twitter , um auf dem Laufenden zu bleiben! 🐫

Schreibe einen Kommentar

Deine E-Mail-Adresse wird nicht veröffentlicht. Erforderliche Felder sind mit * markiert.