In our Developer Deep Dive series of occasional technical blogs, we invite IOHK’s researchers and engineers to discuss their latest work and insights.

Marlowe is a domain-specific language for secure financial smart contracts that is being developed by IOHK for the Goguen capabilities of the Cardano blockchain. Following my introductory post on Marlowe, in this Deep Dive post…

In our Developer Deep Dive series of occasional technical blogs, we invite IOHK’s researchers and engineers to discuss their latest work and insights.

Marlowe is a domain-specific language for secure financial smart contracts that is being developed by IOHK for the Goguen capabilities of the Cardano blockchain. Following my introductory post on Marlowe, in this Deep Dive post…

本ブログでは、金融コントラクト用の新言語Marlowe（マーロウ）を紹介し、これがドメイン固有言語（DLS）であることの利点を説明します。Marloweはスマートコントラクト全般ではなく、DSLとして金融コントラクトのみに使用されます。この意味で、SolidityやBitcoin Scriptなど一般的な目的で使用されるブロックチェーン言語とは一線を画しています。

Marloweは業界規模です。Marloweコントラクトは屈指の金融スマートコントラクトプロジェクトであるAlgorithmic Contract Types Unified Standards（Actus）システムのサンプルを基に構築されました。現在、これらをはじめとするサンプルはMarlowe Playground…

初期のコンピューターではプログラミングに「機械語」を使用していました。機械語はシステム間に互換性がなかったうえ、レベルが低く、表現も限られていました。プログラムは、ごく単純な指示を長く連ねたものであり、書いた本人以外には圧縮が不可能なものでした。今日システムのプログラミングには、C、Java、Haskellなど、機械語よりも高次の言語が使用されています。同じ言語が幅広い種類の機械に対応し、プログラムの構造はその動作を反映します。ブロックチェーンでは、SolidityやSimplicity…