Ví dụ đầu tiên
Hướng dẫn này giới thiệu một hợp đồng tài chính đơn giản trong mã giả (pseudocode), trước khi giải thích cách nó được sửa đổi để hoạt động trong Marlowe, đưa ra ví dụ đầu tiên về hợp đồng Marlowe.

Giả sử
alice
muốn mua một con mèo của bob
, nhưng cả hai đều không tin tưởng người kia. May mắn thay, họ có một người bạn chung carol
mà cả hai đều tin tưởng trung lập (nhưng không đủ tin cậy để đưa tiền và cho cô ấy làm trung gian). Do đó, họ đồng ý về hợp đồng sau, được viết bằng mã giả chức năng đơn giản. Loại hợp đồng này là một ví dụ đơn giản về ký quỹ .When aliceChoice
(When bobChoice
(If (aliceChosen `ValueEQ` bobChosen)
agreement
arbitrate))
Hợp đồng được mô tả bằng cách sử dụng các hàm tạo của kiểu dữ liệu Haskell. Hàm tạo ngoài cùng
When
có hai đối số: đối số đầu tiên là một quan sát và đối số thứ hai là một hợp đồng khác. Ý nghĩa của điều này là khi hành động xảy ra, hợp đồng thứ hai được kích hoạt.Bản thân hợp đồng thứ hai là một hợp đồng khác
When
- yêu cầu một quyết định từ bob
- nhưng bên trong đó, có một sự lựa chọn : If
alice
và bob
đồng ý về những gì phải làm, nó được thực hiện; nếu không, carol