Juvix: Juvixin kääntäminen Michelsoniin

(metastaatti) (8. toukokuuta 2020)

Juvix on riippuvasti kirjoitettu ohjelmointikieli, jonka inspiroi Idris , F ★ ja Coq . Juvix on suunniteltu älykkääksi sopimusten tarkistus- ja toteutuskieleksi, jossa tehokas kokoaminen on avainasemassa, koska muuten tehoton kokoelma hajautetun lohkoketjun virtuaalikoneen alkeellisuuteen johtaa ylimääräisiin varoihin, jotka kuluvat tietyn ohjelman suorittamiseen (lisää älykkään sopimuskielen suunnittelun tausta, katso Miksi Juvix ).

Juvix sen primitiivisen käsikirjoituksen kautta, joka tunnetaan nimellä Michelson . Michelson on erikoinen kieli, koska se on kirjoitettu pinopohjainen kieli Forth ja kissanpentu . Toisin kuin näillä kielillä, Michelsonilta puuttuu primitiivejä erillisten nimettyjen toimintojen tekemiseen.

Vesikarhut Elämän tietosanakirja

Koko artikkeli

Juvixin kääntäminen Michelsonille PLT & Tyyppiteoria R & D Metastatessa

Juvix on suunniteltu älykkääksi sopimuksen tarkistamis- ja toteutuskieleksi, missä tehokas kokoaminen on avainasemassa, kuten…

research.metastate.dev

GitHub

cryptiumlabs / juvix

(Aditya Wikimedia Commonsin kautta, CC-BY-SA 3.0) Juvix syntetisoi korkean tason käyttöliittymän syntaksin, joka riippuu lineaarisesti …

github.com

Kirjoittanut Jeremy Ornelas, ydinkehittäjä ja -tutkija osoitteessa Metastaatti . Jos sinulla on palautetta tai kysyttävää, älä epäröi ottaa meihin yhteyttä: [email protected]

Seuraa meitä ja Twitterissä pysyksesi ajan tasalla! 🐫

Vastaa

Sähköpostiosoitettasi ei julkaista. Pakolliset kentät on merkitty *