Juvix: compilación de Juvix a Michelson

Publicado el

(metastato) (8 de mayo de 2020)

Juvix es un lenguaje de programación de tipo dependiente inspirado en Idris , F ★ y Coq . Juvix está diseñado como un lenguaje inteligente de verificación y ejecución de contratos, donde la compilación eficiente es clave, ya que, de lo contrario, cualquier compilación ineficiente de las primitivas de una máquina virtual en una cadena de bloques descentralizada resultará en fondos adicionales gastados para ejecutar cualquier programa dado (para más antecedentes sobre el diseño del lenguaje de contratos inteligentes, consulte El Por qué de Juvix ).

Juvix objetivos a través de su secuencia de comandos primitiva conocida como Michelson . Michelson es un lenguaje peculiar en el sentido de que es un lenguaje basado en pilas tipadas en el linaje de Forth y Gatito . Sin embargo, a diferencia de estos lenguajes, Michelson carece de primitivas para hacer funciones independientes con nombre.

Water Bears de Enciclopedia de la vida

Artículo completo

Compilando Juvix para Michelson | PLT & Teoría de tipos R & D en Metastate

Juvix está diseñado como un lenguaje inteligente de verificación y ejecución de contratos, donde la compilación eficiente es clave, como…

research.metastate.dev

GitHub

cryptiumlabs / juvix

(Aditya a través de Wikimedia Commons, CC-BY-SA 3.0) Juvix sintetiza una sintaxis de frontend de alto nivel, de tipo dependiente linealmente…

github.com

Escrito por Jeremy Ornelas, desarrollador principal e investigador de Metastate . Si tiene comentarios o preguntas, no dude en ponerse en contacto con nosotros: [email protected]

Síganos y Twitter para estar atento. 🐫

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *