Juvix: Compiling Juvix to Michelson

Metastate
METASTATE
Published in
1 min readMay 8, 2020

Juvix is a dependently typed programming language inspired by Idris, F★, and Coq. Juvix is designed as a smart contract verification and execution language, where efficient compilation is key, as otherwise any inefficient compilation to the primitives of a virtual machine on a decentralized blockchain will result in extra funds spent in order to execute any given program (for more background on smart contract language design, see The Why of Juvix).

Juvix targets Tezos through its primitive script known as Michelson. Michelson is a peculiar language in that it is a typed stack based language in the lineage of Forth and Kitten. However, unlike these languages, Michelson lacks primitives to make standalone named functions.

Water Bears by Encyclopedia of Life

Full Article

GitHub

Written by Jeremy Ornelas, core developer and researcher at Metastate. For feedback or questions, please do not hesitate to contact us : team@metastate.dev

Follow us on Medium and Twitter to Stay Tuned! 🐫

--

--