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