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