Juvix : Juvix를 Michelson으로 컴파일

(메타 스테이트) (5 월 8 일, 2020)

Juvix Idris , F ★ 및 Coq . Juvix는 효율적인 컴파일이 핵심 인 스마트 계약 검증 및 실행 언어로 설계되었습니다. 그렇지 않으면 분산 형 블록 체인에서 가상 머신의 기본 요소에 대한 비효율적 인 컴파일로 인해 주어진 프로그램을 실행하는 데 추가 자금이 소비됩니다. 스마트 계약 언어 디자인에 대한 배경 지식은 Juvix의 이유 )를 참조하세요.

Juvix 타겟 Michelson 이라는 기본 스크립트를 통해 Michelson Forth Kitten . 그러나 이러한 언어와 달리 Michelson에는 독립형 명명 된 함수를 만드는 기본 요소가 없습니다.

Water Bears by 생명의 백과 사전

전체 기사

Juvix를 Michelson으로 컴파일 | PLT & 유형 이론 R & D at Metastate

Juvix는 스마트 계약 확인 및 실행 언어로 설계되었습니다. 효율적인 컴파일이 핵심입니다.

research.metastate.dev

GitHub

cryptiumlabs / juvix

(Aditya via Wikimedia Commons, CC-BY-SA 3.0) Juvix는 높은 수준의 프런트 엔드 구문을 종속 선형 형식으로 합성합니다…

github.com

Metastate . 의견이나 질문이 있으시면 언제든지 문의 해주십시오. [email protected]

우리를 팔로우하고 Twitter 를 계속 지켜봐주세요! 🐫

답글 남기기

이메일 주소를 발행하지 않을 것입니다. 필수 항목은 *(으)로 표시합니다