Филип Уодлер, один из главных разработчиков языка программирования Haskell, — ключевая фигура в исследованиях, лежащих в основе @Cardano ($ADA). Haskell служит основой блокчейна, а Уодлер работал над инструментами для смарт-контрактов в @IOGroup.

От Haskell к смарт-контрактам Cardano

Королевское общество называет Уодлера одним из главных разработчиков Haskell и отмечает его вклад в две основные инновации языка: классы типов и монады. Эдинбургский университет сообщает, что его исследования повлияли на разработку широко используемых языков, включая Java, Go, Swift и Haskell.

В компании Input Output Global (IOG) Уэдлер является соавтором Plutus наряду с Мануэлем Чакраварти. IOG описывает Plutus как смарт-язык программирования для блокчейна. Согласно биографии Уэдлера на сайте Эдинбургского университета, сейчас он занимает в компании должность главного научного сотрудника.

Согласно той же статье IOG, Уэдлер также участвовал в исследованиях IOG расширенной модели UTXO — модели реестра, используемой Cardano.

Признание Королевского общества

В 2023 году Уэдлер был избран членом Королевского общества. Школа информатики Эдинбургского университета отметила, что он пополнил список бывших членов, в который входят Исаак Ньютон, Чарльз Дарвин, Альберт Эйнштейн и Стивен Хокинг. В представлении Королевского общества ему приписывают введение классов типов и монад, а также вклад в появление обобщённых типов в Java.

Недавние работы о Plinth

Среди недавних исследований Уэдлера — Plinth, язык для написания смарт-контрактов Cardano. В статье 2025 года, представленной на симпозиуме ACM SIGPLAN по Haskell и написанной в соавторстве Уэдлером и Чакраварти, говорится, что Plinth (ранее Plutus Tx) повторно использует подмножество синтаксиса Haskell и коммерчески применяется с 2021 года. В статье также отмечается, что программы Plutus выполняются на машине с формальной спецификацией на Agda — помощнике для доказательств, — что позволяет проверять, ведут ли контракты себя так, как задумано.

По словам авторов статьи, для разработчиков Plinth привлекателен тем, что в нём используются стандартные синтаксис и типы Haskell. В той же статье отмечается, что только в Cardano уже существует более полудюжины языков для смарт-контрактов.

Источники

Королевское общество: профессор Филип Уэдлер, член Королевского общества
Эдинбургский университет: выдающиеся учёные вступили в Королевское общество
Цифровая библиотека ACM: Plinth — язык на основе Haskell с поддержкой плагинов