Juvix: Compiling Juvix to Michelson

(Metastate) (8. mai, 2020)

Juvix er et avhengig types programmeringsspråk inspirert av Idris , F ★ , og Coq . Juvix er designet som et smarte kontraktsbekreftelses- og utførelsesspråk, der effektiv kompilering er nøkkelen, ellers vil enhver ineffektiv kompilering til primitivene til en virtuell maskin på en desentralisert blockchain resultere i ekstra penger brukt for å utføre et gitt program (for mer bakgrunn om smart kontraktsspråkdesign, se Hvorfor Juvix ).

Juvix mål gjennom sitt primitive skript kjent som Michelson . Michelson er et merkelig språk ved at det er et skrevet stabelbasert språk i slekten til Forth og Kattunge . Imidlertid, i motsetning til disse språkene, mangler Michelson primitiver for å lage frittstående funksjoner.

Water Bears by Encyclopedia of Life

Full artikkel

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

Juvix er designet som et smart kontraktsbekreftelses- og utførelsesspråk, der effektiv kompilering er nøkkelen, som …

research.metastate.dev

GitHub

cryptiumlabs / juvix

(Aditya via Wikimedia Commons, CC-BY-SA 3.0) Juvix syntetiserer en frontend-syntaks på høyt nivå, avhengig-lineært skrevet…

github.com

Skrevet av Jeremy Ornelas, kjerneutvikler og forsker ved Metastate . For tilbakemelding eller spørsmål, ikke nøl med å kontakte oss: [email protected]

Følg oss videre og Twitter for å holde deg oppdatert! 🐫

Legg igjen en kommentar

Din e-postadresse vil ikke bli publisert. Obligatoriske felt er merket med *