Marlowe

What Is Marlowe?

Marlowe is a programming language for financial contracts, designed to make it easy for non-programmers to write financial contracts, such as derivatives, loans, and other agreements. It also makes it easier for programmers to formally verify these contracts are correct.

Marlowe is based on a theory of financial contracts that have been formalized in the Isabelle theorem prover. This gives it several unique features not found in other contract languages:

In addition, Marlowe contracts can be executed on the Cardano blockchain. Users can try it live on Playground, which allows users to model and execute contracts without any knowledge of blockchain technology or smart contracts.

Marlowe was designed to be a simple and powerful tool for financial modeling. Its syntax has been kept as simple as possible so that both programmers and non-programmers can use it.

Marlowe can be used for a number of things, but it is particularly suited to the following:

• Building interactive financial contracts

• Defining games and protocols for decision-making processes

• Simulating business processes, such as those involving finance or insurance

• Modeling financial markets

• Exploring ideas in game theory

It works in a sandbox environment, allowing all kinds of developers to write smart contracts on Cardano. 

Currently, Marlowe will run on Cardano, but it’s not tied to Cardano only. In the future, it can be used to write smart contracts on other blockchains as well.