Что такое Марлоу?

Marlowe — это язык программирования для финансовых контрактов, разработанный для того, чтобы непрограммисты могли легко писать финансовые контракты, такие как деривативы, кредиты и другие соглашения. Это также облегчает программистам формальную проверку правильности этих контрактов.

Проект был инициирован компанией Input-Output Hong Kong (IOHK), занимающейся исследованиями и разработками блокчейнов, стоящей за Cardano.Marlowe является частью усилий IOHK по внедрению формальных методов в программирование смарт-контрактов, но он отличается от предыдущих подходов тем, что был разработан специально для использования в финансовых приложениях. Чтобы добиться этого, его создатели изучали теорию финансов, в частности работы экономиста, лауреата Нобелевской премии Кеннета Эрроу, который был пионером многих математических идей, лежащих в основе современных финансов. В результате появился набор встроенных абстракций, основанных на реальных финансовых концепциях, таких как время и деньги, а не на более общих концепциях, таких как списки, функции и переменные, которые можно найти в других языках программирования.

Марлоу основан на теории финансовых контрактов, которая была формализована в средстве доказательства теоремы Изабель. Это дает ему несколько уникальных функций, которых нет в других языках контрактов:

-> Возможность рассуждать об ожидаемой стоимости контрактов.

-> Возможность формальной проверки свойств контрактов.

Кроме того, контракты Marlowe могут исполняться на блокчейне Cardano. Пользователи могут опробовать его вживую на Playground, который позволяет пользователям моделировать и выполнять контракты без каких-либо знаний технологии блокчейна или смарт-контрактов.

Marlowe был задуман как простой и мощный инструмент финансового моделирования. Его синтаксис был максимально простым, чтобы его могли использовать как программисты, так и непрограммисты.

Marlowe можно использовать для множества целей, но он особенно подходит для следующих:

-> Создание интерактивных финансовых контрактов

-> Определение протоколов для процессов принятия решений

-> Моделирование бизнес-процессов, например, связанных с финансами или страхованием

- > Моделирование финансовых рынков

-> Исследование идей теории игр

Наш Телеграм 👉 Market Review