Juvix: Juvix compileren naar Michelson

(Metastate) (8 mei, 2020)

Juvix is een afhankelijk getypeerde programmeertaal geïnspireerd door Idris , F ★ , en Coq . Juvix is ​​ontworpen als een slimme contractverificatie- en uitvoeringstaal, waarbij efficiënte compilatie cruciaal is, omdat anders elke inefficiënte compilatie van de primitieven van een virtuele machine op een gedecentraliseerde blockchain zal resulteren in extra geld dat wordt uitgegeven om een ​​bepaald programma uit te voeren (voor meer achtergrondinformatie over slim ontwerp van contracttaal, zie De Waarom van Juvix ).

Juvix doelen via het primitieve script dat bekend staat als Michelson . Michelson is een eigenaardige taal omdat het een op getypte stapels gebaseerde taal is in de lijn van Forth en Kitten . In tegenstelling tot deze talen mist Michelson echter primitieven om zelfstandige benoemde functies te maken.

Water Bears by Encyclopedia of Life

Volledig artikel

Juvix compileren naar Michelson | PLT & Type Theory R & D bij Metastate

Juvix is ​​ontworpen als een slimme contractverificatie- en uitvoeringstaal, waar efficiënte compilatie de sleutel is, zoals …

research.metastate.dev

GitHub

cryptiumlabs / juvix

(Aditya via Wikimedia Commons, CC-BY-SA 3.0) Juvix synthetiseert een frontend-syntaxis op hoog niveau, afhankelijk-lineair getypt …

github.com

Geschreven door Jeremy Ornelas, kernontwikkelaar en onderzoeker bij Metastate . Neem voor feedback of vragen contact met ons op: [email protected]

Volg ons op en Twitter om op de hoogte te blijven! 🐫

Geef een reactie

Het e-mailadres wordt niet gepubliceerd. Vereiste velden zijn gemarkeerd met *