Язык программирования Leo

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

Язык Leo в настоящее время находится в активной разработке. Пожалуйста, следите за изменениями в репозитории на GitHub.

Установка LEO

Перейдите к разделу Installation для получения информации о том, как установить Leo.

Начало работы

Ознакомьтесь с руководством Hello World для краткого знакомства с Leo и Leo CLI.

Документация по языку

Чтобы изучить основные понятия и синтаксис Leo, начните с макета программы Leo. Leo комплектуется продвинутой системой тестирования для написания модульных и интеграционных тестов. Чтобы узнать больше, прочитайте раздел “Написание тестов”.

Программная модель

Программы Leo предназначены для работы с Aleo записями и данными транзакций. Понимание того, как получать доступ к этим данным и делать вычисления, необходимо для написания частных приватных приложений. Прочитайте раздел Model, чтобы узнать больше.

Документация по интерфейсу командной строки

Leo CLI предоставляет набор команд, облегчающих программирование в Leo.

  • Разрабатывать свои программы с помощью new, build, watch, test и clean.
  • Загружать пакеты из менеджера пакетов Aleo с помощью функций add, remove, login и publish.
  • Как только ваша программа Leo будет скомпилирована, генерировать доказательства с помощью setup, prove и run.

Дополнительный материал

Правильно ли отформатирован ваш код Leo? Ознакомьтесь с официальным Style Guide и Common Patterns (общими шаблонами) .

Нашли баг? У вас есть идея по поводу фичи? Обратитесь к разделу “Known Bugs” и руководству по совместной разработке Contributing Guide.

--

--

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store