Juvix: kompilacja Juvix do Michelson

(Metastate) (8 maja, 2020)

Juvix to zależnie typowany język programowania zainspirowany Idris , F ★ i Coq . Juvix został zaprojektowany jako inteligentny język do weryfikacji i wykonywania kontraktów, w którym wydajna kompilacja jest kluczowa, ponieważ w przeciwnym razie każda nieefektywna kompilacja do prymitywów maszyny wirtualnej na zdecentralizowanym łańcuchu bloków spowoduje dodatkowe fundusze wydane na wykonanie dowolnego programu (na więcej tło na temat projektowania języka inteligentnych kontraktów, zobacz Dlaczego Juvix ).

Juvix target poprzez swój prymitywny skrypt znany jako Michelson . Michelson to specyficzny język, ponieważ jest to język oparty na typie stosu w linii Forth i Kociak . Jednak w przeciwieństwie do tych języków Michelsonowi brakuje prymitywów do tworzenia samodzielnych nazwanych funkcji.

Water Bears autorstwa Encyklopedia życia

Cały artykuł

Kompilowanie Juvix do Michelson | PLT & Teoria typów R & D w Metastate

Juvix został zaprojektowany jako inteligentny język weryfikacji i wykonywania kontraktów, gdzie wydajna kompilacja jest kluczem, ponieważ…

research.metastate.dev

GitHub

cryptiumlabs / juvix

(Aditya via Wikimedia Commons, CC-BY-SA 3.0) Juvix syntetyzuje składnię frontendu wysokiego poziomu, wpisaną liniowo w zależności od typu…

github.com

Autor: Jeremy Ornelas, główny programista i badacz w Metastate . W przypadku opinii lub pytań prosimy o kontakt: [email protected]

Śledź nas na Twitterze , aby być na bieżąco! 🐫

Dodaj komentarz

Twój adres email nie zostanie opublikowany. Pola, których wypełnienie jest wymagane, są oznaczone symbolem *