Marlowe jest językiem programowania dla umów finansowych, zaprojektowanym tak, aby ułatwić nieprogramistom pisanie umów finansowych, takich jak instrumenty pochodne, pożyczki i inne umowy. Ułatwia on również programistom formalną weryfikację poprawności tych umów.

Projekt został zainicjowany przez Input-Output Hong Kong (IOHK), firmę badawczo-rozwojową blockchain stojącą za Cardano.
Marlowe jest częścią wysiłków IOHK, aby wprowadzić metody formalne do programowania inteligentnych kontraktów, ale różni się od poprzednich podejść, ponieważ został zaprojektowany specjalnie do użytku w aplikacjach finansowych. Aby to osiągnąć, jego projektanci studiowali teorię finansów, w szczególności pracę nagrodzonego nagrodą Nobla ekonomisty Kennetha Arrowa, który był pionierem dużej części matematycznej myśli stojącej za nowoczesnymi finansami. W rezultacie powstał zestaw wbudowanych abstrakcji opartych na rzeczywistych koncepcjach finansowych, takich jak czas i pieniądze, a nie na bardziej ogólnych pojęciach, takich jak listy, funkcje i zmienne, które można znaleźć w innych językach programowania.
Marlowe jest oparty na teorii kontraktów finansowych, które zostały sformalizowane w Isabelle theorem prover. To daje mu kilka unikalnych cech, których nie ma w innych językach kontraktów:

Możliwość rozumowania o wartości oczekiwanej kontraktów.

Zdolność do formalnej weryfikacji własności kontraktów.

Dodatkowo, kontrakty Marlowe mogą być realizowane na blockchainie Cardano. Użytkownicy mogą wypróbować go na żywo na Playground, który pozwala użytkownikom modelować i wykonywać kontrakty bez znajomości technologii blockchain lub inteligentnych kontraktów.

Marlowe został zaprojektowany jako proste i potężne narzędzie do modelowania finansowego. Jego składnia została utrzymana w jak najprostszej formie, aby mogli z niego korzystać zarówno programiści, jak i nie-programiści.

Marlowe może być używany do wielu rzeczy, ale szczególnie nadaje się do następujących:

Budowania interaktywnych kontraktów finansowych

Definiowania gier i protokołów dla procesów decyzyjnych

Symulacji procesów biznesowych, takich jak te dotyczące finansów czy ubezpieczeń

Modelowanie rynków finansowych

Eksploracja pomysłów w teorii gier

Działa w środowisku piaskownicy, umożliwiając wszystkim rodzajom deweloperów pisanie inteligentnych kontraktów na Cardano.

Obecnie Marlowe będzie działał na Cardano, ale nie jest związany tylko z Cardano. W przyszłości może być używany do pisania inteligentnych kontraktów również na innych blockchainach.

Artykuł pochodzi ze strony KryptoBiblia.pl - słownik kryptowaluty