(metastato) (8 de maio, 2020)
Juvix é uma linguagem de programação de tipo dependente inspirada em Idris , F ★ e Coq . Juvix é projetado como uma verificação de contrato inteligente e linguagem de execução, onde a compilação eficiente é a chave, caso contrário, qualquer compilação ineficiente para as primitivas de uma máquina virtual em um blockchain descentralizado resultará em fundos extras gastos para executar qualquer programa (para mais histórico sobre o design de linguagem de contrato inteligente, consulte Por que Juvix ).
Juvix metas por meio de seu script primitivo conhecido como Michelson . Michelson é uma linguagem peculiar por ser uma linguagem baseada em pilha digitada na linhagem de Adiante e Gatinho . No entanto, ao contrário dessas linguagens, Michelson carece de primitivas para fazer funções nomeadas autônomas.
Artigo completo
Compilando Juvix para Michelson | PLT & Teoria de tipo R & D em metaestado
Juvix é projetado como uma verificação inteligente de contrato e linguagem de execução, onde a compilação eficiente é essencial, como…
research.metastate.dev
GitHub
cryptiumlabs / juvix
(Aditya via Wikimedia Commons, CC-BY-SA 3.0) Juvix sintetiza uma sintaxe de front-end de alto nível, de tipo dependente linear…
github.com
Escrito por Jeremy Ornelas, desenvolvedor principal e pesquisador em Metastate . Para comentários ou perguntas, não hesite em nos contatar: [email protected]