Juvix:JuvixをMichelsonにコンパイルする

投稿日:

(メタステート)(5月8日) 2020)

Juvixは、 Idris 、 F★、および Coq 。 Juvixはスマートコントラクトの検証および実行言語として設計されており、効率的なコンパイルが重要です。そうでない場合、分散ブロックチェーン上の仮想マシンのプリミティブへの非効率的なコンパイルは、特定のプログラムを実行するために余分な資金を費やすことになります(詳細スマートコントラクト言語設計の背景については、 Juvixの理由を参照してください。

Juvixターゲット Michelson として知られるプリミティブスクリプトを介して。 Michelson は、 Forth および子猫。ただし、これらの言語とは異なり、Michelsonには、スタンドアロンの名前付き関数を作成するためのプリミティブがありません。

Water Bears by 生命百科事典

記事全文

JuvixをMichelsonにコンパイルする| PLT &型理論R & D at Metastate

Juvixは、スマートコントラクトの検証および実行言語として設計されています。効率的なコンパイルが重要なのは…

research.metastate.dev

GitHub

cryptolabs / juvix

(ウィキメディアコモンズ経由のAditya、CC-BY-SA 3.0)Juvixは、高レベルのフロントエンド構文を合成し、従属線形型で…

github.com

Metastate 。フィードバックや質問については、お気軽にお問い合わせください: [email protected]

フォローして Twitter をチェックしてください! 🐫

コメントを残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です