Juvix: Compilando Juvix para Michelson

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

Ursos dágua por Enciclopédia da Vida

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]

Siga-nos no Twitter para ficar ligado! 🐫

Deixe uma resposta

O seu endereço de email não será publicado. Campos obrigatórios marcados com *