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