Marlowe jest jezykiem programowania dla umow finansowych, zaprojektowanym tak, aby ulatwic nieprogramistom pisanie umow finansowych, takich jak instrumenty pochodne, pozyczki i inne umowy. Ulatwia on rowniez programistom formalna weryfikacje poprawnosci tych umow.

Projekt zostal zainicjowany przez Input-Output Hong Kong (IOHK), firme badawczo-rozwojowa blockchain stojaca za Cardano.
Marlowe jest czescia wysilkow IOHK, aby wprowadzic metody formalne do programowania inteligentnych kontraktow, ale rozni sie od poprzednich podejsc, poniewaz zostal zaprojektowany specjalnie do uzytku w aplikacjach finansowych. Aby to osiagnac, jego projektanci studiowali teorie finansow, w szczegolnosci prace nagrodzonego nagroda Nobla ekonomisty Kennetha Arrowa, ktory byl pionierem duzej czesci matematycznej mysli stojacej za nowoczesnymi finansami. W rezultacie powstal zestaw wbudowanych abstrakcji opartych na rzeczywistych koncepcjach finansowych, takich jak czas i pieniadze, a nie na bardziej ogolnych pojeciach, takich jak listy, funkcje i zmienne, ktore mozna znalezc w innych jezykach programowania.
Marlowe jest oparty na teorii kontraktow finansowych, ktore zostaly sformalizowane w Isabelle theorem prover. To daje mu kilka unikalnych cech, ktorych nie ma w innych jezykach kontraktow:

Mozliwosc rozumowania o wartosci oczekiwanej kontraktow.

Zdolnosc do formalnej weryfikacji wlasnosci kontraktow.

Dodatkowo, kontrakty Marlowe moga byc realizowane na blockchainie Cardano. Uzytkownicy moga wyprobowac go na zywo na Playground, ktory pozwala uzytkownikom modelowac i wykonywac kontrakty bez znajomosci technologii blockchain lub inteligentnych kontraktow.

Marlowe zostal zaprojektowany jako proste i potezne narzedzie do modelowania finansowego. Jego skladnia zostala utrzymana w jak najprostszej formie, aby mogli z niego korzystac zarowno programisci, jak i nie-programisci.

Marlowe moze byc uzywany do wielu rzeczy, ale szczegolnie nadaje sie do nastepujacych:

Budowania interaktywnych kontraktow finansowych

Definiowania gier i protokolow dla procesow decyzyjnych

Symulacji procesow biznesowych, takich jak te dotyczace finansow czy ubezpieczen

Modelowanie rynkow finansowych

Eksploracja pomyslow w teorii gier

Dziala w srodowisku piaskownicy, umozliwiajac wszystkim rodzajom deweloperow pisanie inteligentnych kontraktow na Cardano.

Obecnie Marlowe bedzie dzialal na Cardano, ale nie jest zwiazany tylko z Cardano. W przyszlosci moze byc uzywany do pisania inteligentnych kontraktow rowniez na innych blockchainach.

Artykul pochodzi ze strony KryptoBiblia.pl - encyklopedia kryptowalut