Juvix: Kompilering af Juvix til Michelson

(Metastate) (8. maj, 2020)

Juvix er et afhængigt skrevet programmeringssprog inspireret af Idris , F ★ og Coq . Juvix er designet som et smart kontraktsbekræftelses- og udførelsessprog, hvor effektiv kompilering er nøglen, da ellers vil enhver ineffektiv kompilering til primitiverne til en virtuel maskine på en decentral blockchain resultere i ekstra midler brugt for at udføre et givet program (for mere baggrund for smart kontrakt sprogdesign, se Hvorfor Juvix ).

Juvix mål gennem dets primitive script kendt som Michelson . Michelson er et ejendommeligt sprog, idet det er et skrevet stakbaseret sprog i slægten Forth og killing . I modsætning til disse sprog mangler Michelson imidlertid primitiver til at lave selvstændige navngivne funktioner.

Water Bears by Encyclopedia of Life

Fuld artikel

Kompilering af Juvix til Michelson | PLT & Type teori R & D at Metastate

Juvix er designet som et smart sprog til verifikation og udførelse af kontrakter, hvor effektiv kompilering er nøglen, som …

research.metastate.dev

GitHub

cryptiumlabs / juvix

(Aditya via Wikimedia Commons, CC-BY-SA 3.0) Juvix syntetiserer en frontend-syntaks på højt niveau, afhængig-lineært skrevet…

github.com

Skrevet af Jeremy Ornelas, kerneudvikler og forsker hos Metastate . For feedback eller spørgsmål, tøv ikke med at kontakte os: [email protected]

Følg os videre og Twitter for at holde dig opdateret! 🐫

Skriv et svar

Din e-mailadresse vil ikke blive publiceret. Krævede felter er markeret med *