Представляем LIGO: новый умный контрактный язык для Tezos
Введение в LIGO
Для реализации Marigold , решения уровня 2 для Tezos, мы создали язык, который позволял бы нам писать сложные, но эффективные, умные контракты. Таким образом, LIGO родился. LIGO все еще находится на ранней стадии разработки, но мы рады предоставить вам краткий обзор.
LIGO - это простой умный контрактный язык, разработанный для разработки более длинных контрактов, чем можно было бы написать в Майкельсоне. Это императивный язык, который компилируется для очистки кода Майкельсона, с синтаксисом, подобным Паскалю, и системой простого типа.
LIGO разрабатывается разработчиками Nomadic Labs, Жоржем Дюпероном и Кристианом Риндеркнехтом, а также проектом Marigold.
В настоящее время мы заканчиваем первый прототип LIGO. Это показывает богатые сообщения об ошибках, небольшую структуру модульного тестирования и передачу Майкельсону. В течение следующей недели мы опубликуем учебник по установке и игре с ним.
Для тех, кто не может дождаться, чтобы узнать больше, ниже приведен пример кода: точка входа в краудфандинговый контракт.
Дорожная карта
Помимо прототипа, мы работаем над интеграцией редактора. Мы начинаем с VS Code, но LIGO должен легко включить поддержку Emacs и других популярных редакторов.
После того, как мы закончим интеграцию прототипа и основного редактора (подсветка синтаксиса, информация о типе и интеллектуальное автозаполнение), мы предоставим руководство пользователя, документацию для компилятора, а также стабилизируем интерфейс командной строки.
Затем Nomadic Labs будет работать над формальной проверкой и улучшением инструментов. Между тем, проект Marigold сосредоточится на написании своих умных контрактов для масштабирования уровня 2 в LIGO.