Справочник стандартной библиотеки

Стандартная библиотека написана на flang и проверяется так же, как ваша программа: типы, завершаемость, unit-тесты (пример) и постусловия. Модулей в ней 64, по файлу на модуль в flang/stdlib/. На этой странице — каждый модуль и каждая его функция.

Какой модуль под какую задачу

Импорт модуля

использует — это импорт. Модуль подключается по имени, путь писать не нужно:

модуль «Моя программа»
  использует «Lists»

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

  использует «Lists» только «Сумма»

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

$ flang check imp1.flang
модуль «Моя программа»: функций 1, из них с доказанным завершением 0; типов 0; файлов вместе с импортами 2
без доказанного завершения: «Двоичный поиск»
место указано строкой и столбцом, но без файла: вместе с импортами проверено файлов 2, а диагностика компилятора имени файла не несёт
FLANG_UNKNOWN_NAME, строка 328, столбец 3: неизвестная функция «Поиск в диапазоне»
FLANG_NOT_TOTAL, строка 328, столбец 3: тотальная функция «Двоичный поиск» вызывает неизвестную функцию «Поиск в диапазоне»: завершение доказать нельзя
imp1.flang: не проверено — замечаний 2

Здесь imp1.flang — две строки: модуль «Моя программа» и использует «Lists» только «Двоичный поиск». Номера строк указывают в flang/stdlib/lists.flang, а не в ваш файл.

Unit-тесты импортированной функции тоже прогоняются в вашей программе, и им тоже нужны их функции. использует «Higher order» только «Свернуть» падает на тестах «Свернуть», которые вызывают «Сложить», «Умножить» и «Большее»:

$ flang check imp2.flang
модуль «Моя программа»: функций 5, из них с доказанным завершением 5; типов 0; файлов вместе с импортами 4
место указано строкой и столбцом, но без файла: вместе с импортами проверено файлов 4, а диагностика компилятора имени файла не несёт
FLANG_UNKNOWN_NAME, строка 131, столбец 3: пример «Сумма»: аргумент «ф»: функции «Сложить» нет
FLANG_UNKNOWN_NAME, строка 136, столбец 3: пример «Произведение той же свёрткой»: аргумент «ф»: функции «Умножить» нет
FLANG_UNKNOWN_NAME, строка 141, столбец 3: пример «Максимум той же свёрткой»: аргумент «ф»: функции «Большее» нет
imp2.flang: не проверено — замечаний 3

Как читать таблицы

Метка говорит, что утверждает постусловие; доказал ли его prover, печатает bootstrap/flang check flang/stdlib/<файл> --proof.

Каждая функция завершается на любом входе (тотальная), кроме семи, помеченных «не тотальная»: «НОД», «НОК», «Цифры» и «Сумма цифр» в Numbers и три функции в Math classics.

Повседневные модули

Списки, строки, числа, Optional и Result, map/filter/reduce, словари и JSON. В конце каждого раздела — пример программы, которая проходит flang check.

Lists

Списки любых значений и списки чисел: длина, срез, промежуток, поиск, свёртки, сортировка.

Импорт: использует «Lists». Исходник: flang/stdlib/lists.flang.

Типы:

• «Пара чисел» — запись с полями

Пример программы (проходит flang check):

модуль «Проба списков»
  использует «Lists»

тотальная функция «Сумма чисел до предела»
  принимает предел: число
  возвращает число
  пример «До пяти»
    дано предел равно 5
    ожидается 15
  «Сумма» от («Числа до» от предел)

Strings

Строки: разбиение, замена, регистр, префикс и суффикс, проверки знака, дополнение до ширины.

Импорт: использует «Strings». Исходник: flang/stdlib/strings.flang.

Типы:

• «Обрезка слева» — запись с полями
• «Обрезка справа» — запись с полями

Пример программы (проходит flang check):

модуль «Проба строк»
  использует «Strings»

тотальная функция «Слово задом наперёд»
  принимает текст: строка
  возвращает строка
  пример «Слово»
    дано текст равно " шалаш "
    ожидается "шалаш"
  «Обратить строку» от («Обрезать пробелы» от текст)

Numbers

Числа: знак, модуль, целочисленное деление, НОД и НОК, степень, факториал, цифры.

Импорт: использует «Numbers». Исходник: flang/stdlib/numbers.flang.

Пример программы (проходит flang check):

модуль «Проба чисел»
  использует «Numbers»

тотальная функция «Доля в процентах»
  принимает часть: число, целое: число
  возвращает число
  пример «Половина»
    дано часть равно 1
    дано целое равно 2
    ожидается 50
  «Ограничить» от («Целочисленное деление» от (часть умножить на 100) и целое) и 0 и 100

Optional

Optional: значение, которого может не быть, над любым типом.

Импорт: использует «Optional». Исходник: flang/stdlib/optional.flang.

Типы:

• «Возможно» от «А» — варианты «Есть», «Нет»

Пример программы (проходит flang check):

модуль «Проба опции»
  использует «Optional»

тотальная функция «Первое или ноль»
  принимает элементы: список числа
  возвращает число
  пример «Пустой список»
    дано элементы равно пустой список
    ожидается 0
  «Первый элемент или запасное» от элементы и 0

Result

Result: успех со значением или ошибка с причиной.

Импорт: использует «Result». Исходник: flang/stdlib/result.flang.

Типы:

• «Результат» от «Значение» и «Беда» — варианты «Успех», «Ошибка»

Пример программы (проходит flang check):

модуль «Проба результата»
  использует «Result»

тотальная функция «Деление на ноль не роняет»
  принимает делимое: число, делитель: число
  возвращает число
  пример «Ноль в делителе»
    дано делимое равно 10
    дано делитель равно 0
    ожидается -1
  «Деление или запасное» от делимое и делитель и -1

Higher order

Функции как аргументы: map, filter, reduce, сортировка своим сравнением.

Импорт: использует «Higher order». Исходник: flang/stdlib/higher-order.flang.

Пример программы (проходит flang check):

модуль «Проба высшего порядка»
  использует «Higher order»

тотальная функция «Сумма квадратов»
  принимает элементы: список числа
  возвращает число
  пример «Три числа»
    дано элементы равно [1, 2, 3]
    ожидается 14
  «Свернуть» от функция «Сложить» и 0 и («Отобразить» от функция «Возвести в квадрат» и элементы)

Dictionary

Словарь строка → строка списком пар. Поиск линейный: на тысяче ключей он медленный, как список из тысячи элементов.

Импорт: использует «Dictionary». Исходник: flang/stdlib/dictionary.flang.

Типы:

• «Связь» — запись (один вариант)

Пример программы (проходит flang check):

модуль «Проба словаря»
  использует «Dictionary»

тотальная функция «Значение по ключу связью»
  принимает ключ: строка
  возвращает строка
  пример «Ключа нет»
    дано ключ равно "рост"
    ожидается "нет"
  пусть словарь равно («Положить» от пустой список и "цвет" и "синий")
  «Взять или запасное» от словарь и ключ и "нет"

Hash map

Словарь строка → значение с быстрым доступом: trie по цифрам хеша ключа.

Импорт: использует «Hash map». Исходник: flang/stdlib/hashmap.flang.

Типы:

• «Звено» от «З» — запись (один вариант)
• «Узел хеша» от «З» — варианты «Пустое место», «Одиночка», «Гроздь», «Четвёрка»

Пример программы (проходит flang check):

модуль «Проба словаря хешем»
  использует «Hash map»

тотальная функция «Значение по ключу»
  принимает ключ: строка
  возвращает строка
  пример «Ключ найден»
    дано ключ равно "цвет"
    ожидается "синий"
  пусть словарь равно («Положить в словарь» от («Словарь из ключей» от пустой список) и "цвет" и "синий")
  «Найти в словаре» от словарь и ключ и "нет"

JSON

JSON: разбиение на токены, разбор в значение, печать обратно.

Импорт: использует «JSON». Исходник: flang/stdlib/json.flang.

Типы:

• «Значение json» — варианты «Ничто json», «Признак json», «Число json», «Текст json», «Массив json», «Объект json»
• «Поле json» — запись (один вариант)
• «Итог json» — варианты «Разобран json», «Не разобран json»
• «Знак json» — варианты «Скобка json», «Слово json», «Цифирь json», «Строчка json»
• «Разметка json» — запись (один вариант)
• «Счёт json» — запись (один вариант)
• «Исход числа json» — варианты «Число разобрано json», «Число не разобрано json»
• «Рамка json» — варианты «Рамка массива json», «Рамка объекта json»
• «Ход json» — запись (один вариант)

Пример программы (проходит flang check):

модуль «Проба json»
  использует «JSON»

тотальная функция «Разобрать и напечатать»
  принимает текст: строка
  возвращает строка
  пример «Массив печатается обратно»
    дано текст равно "[1,2]"
    ожидается "[1,2]"
  разбор («Разобрать json» от текст)
    случай вариант «Разобран json» с значение как значение
      то «Напечатать json» от значение
    случай вариант «Не разобран json» с причина как причина
      то причина

Другие коллекции и данные

String lists

Списки строк: первая, последняя, хвост, склейка, доступ по номеру, общее начало.

Импорт: использует «String lists». Исходник: flang/stdlib/strlists.flang.

String sets

Множество строк: добавить, убрать, объединение, пересечение, разность, подмножество.

Импорт: использует «String sets». Исходник: flang/stdlib/sets.flang.

Tree map

Словарь строка → строка деревом поиска: доступ за O(log n).

Импорт: использует «Tree map». Исходник: flang/stdlib/tree.flang.

Типы:

• «Дерево» — варианты «Лист», «Узел»

Number tree

Дерево поиска из чисел: вставка, поиск, сортировка обходом.

Импорт: использует «Number tree». Исходник: flang/stdlib/numtree.flang.

Типы:

• «Дерево чисел» — варианты «Пустое», «Развилка»

Logic

Операции над признаками: и, или, не, исключающее или, импликация, «все верны» и «есть верное» по списку.

Импорт: использует «Logic». Исходник: flang/stdlib/logic.flang.

Statistics

Описательная статистика по списку чисел: среднее, медиана, мода, дисперсия по совокупности и по выборке, квантиль линейной интерполяцией, квадратный корень.

Импорт: использует «Statistics». Исходник: flang/stdlib/stats.flang.

Bignum

Неотрицательные целые любой длины, списком разрядов по основанию 2^22: сложение, вычитание, сравнение, умножение (столбиком и Карацубой), деление на малое число, перевод в десятичную строку и обратно.

Импорт: использует «Bignum». Исходник: flang/stdlib/bignum.flang.

Типы:

• «Ход переноса» — запись с полями
• «Ход займа» — запись с полями
• «Ход деления» — запись с полями

Number format

Печать неотрицательного числа в основаниях 2–16 и с заданным числом знаков после точки.

Импорт: использует «Number format». Исходник: flang/stdlib/number-format.flang.

Date and time

Дата и время как значения: разбор ISO-8601, сложение, разность, високосные годы, дни недели. Часы не читает: время приходит аргументом.

Импорт: использует «Date and time». Исходник: flang/stdlib/datetime.flang.

Типы:

• «Календарный день» — запись (один вариант)
• «Часы» — запись (один вариант)
• «Отметка» — запись (один вариант)
• «Итог даты» — варианты «Дата разобрана», «Дата не разобрана»
• «Длительность» — запись (один вариант)
• «Интервал» — запись (один вариант)

Automaton

Регулярные выражения конечным автоматом, без backtracking; образец — строка.

Импорт: использует «Automaton». Исходник: flang/stdlib/automaton.flang.

Типы:

• «Отрезок» — запись с полями
• «Узел» — варианты «Тупик», «Пустое слово», «Знак», «Любой», «Класс», «Начало», «Конец», «Ряд», «Или», «Много»
• «Ход бега» — запись с полями
• «Знак образца» — варианты «Атом», «Звёздочка», «Плюс», «Вопрос», «Черта», «Скобка влево», «Скобка вправо»
• «Ход лексера» — запись с полями
• «Рамка» — запись с полями
• «Ход сборки» — запись с полями
• «Собранный образец» — запись с полями
• «Ход места» — запись с полями
• «Ход строк» — запись с полями

Samples

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

Импорт: использует «Samples». Исходник: flang/stdlib/samples.flang.

Типы:

• «Класс» — варианты «Кириллица», «Латиница», «Цифры», «Хань», «Буквы», «Словесные», «Пробелы», «Ничто»
• «Ход поиска» — варианты «Поиск»
• «Ход замены» — запись с полями

Форматы и протоколы

Эти модули собирают и разбирают байты и текст. Ни один не открывает сокет или файл: байты приносит рантайм через план (см. пример у SQLite ниже).

Requests and responses

HTTP без сокета: разбор и печать запросов и ответов, заголовки, коды ответа, адреса, процентное кодирование.

Импорт: использует «Requests and responses». Исходник: flang/stdlib/http.flang.

Типы:

• «Заголовок» — запись (один вариант)
• «Запрос» — запись (один вариант)
• «Ответ» — запись (один вариант)
• «Разбор запроса» — варианты «Запрос разобран», «Запрос неполон», «Запрос испорчен»
• «Разбор заголовков» — варианты «Заголовки разобраны», «Заголовки негодны»
• «Разбор тела» — варианты «Тело собрано», «Тело неполно», «Тело испорчено»
• «Длина тела» — варианты «Длина названа», «Длина не названа», «Длина негодна»
• «Целое из строки» — варианты «Число получено», «Число не получено»
• «Ход раскодирования» — варианты «Ход»

WebSocket

WebSocket (RFC 6455): ответ на запрос upgrade и двоичный кадр — три формы длины, снятие маски, сборка кадра. Без сокета.

Импорт: использует «WebSocket». Исходник: flang/stdlib/websocket.flang.

Типы:

• «Итог рукопожатия» — варианты «Рукопожатие принято», «Нет заголовка Upgrade», «Нет заголовка Connection», «Нет ключа», «Запрос не разобран»
• «Кадр» — запись (один вариант)
• «Итог кадра» — варианты «Кадр разобран», «Кадр неполон», «Кадр испорчен»
• «Итог длины» — варианты «Длина прочитана», «Длина неполна», «Длина не умещается в число»
• «Отделение» — варианты «Отделено», «Байтов не хватило»
• «Ход маски» — запись (один вариант)

UTF-8

Текст в байты и байты обратно в кодовые точки — UTF-8, RFC 3629.

Импорт: использует «UTF-8». Исходник: flang/stdlib/utf8.flang.

Типы:

• «Ход разбора utf8» — варианты «Разбираем utf8»

Base64

Base64 по RFC 4648: обычный алфавит и алфавит для URL.

Импорт: использует «Base64». Исходник: flang/stdlib/base64.flang.

Типы:

• «Ход кодирования 64» — варианты «Копим»
• «Ход раскодирования 64» — варианты «Разбираем»

Wire

Общее для двоичных протоколов: байты, целые в сетевом порядке, строки с нулём на конце, нарезка потока на сообщения.

Импорт: использует «Wire». Исходник: flang/stdlib/wire.flang.

Типы:

• «Печать» — варианты «Напечатано», «Число непечатаемо»
• «Набор байтов» — варианты «Набрано», «Байтов не хватило», «Знак поперёк границы»
• «Разбор целого» — варианты «Целое взято», «Целое испорчено»
• «Разбор строки» — варианты «Строка взята», «Нуля не нашлось»
• «Разбор числа» — варианты «Число разобрано», «Не число»

Protobuf

Формат Protocol Buffers на проводе без схемы: varint, тег, fixed32/fixed64, сообщение как список полей. Значения до 2^53−1; шире — отказ с причиной.

Импорт: использует «Protobuf». Исходник: flang/stdlib/protobuf.flang.

Типы:

• «Итог varint» — варианты «Varint взят», «Байты кончились», «Число шире 2^53»
• «Итог тега» — варианты «Тег взят», «Байты тега кончились», «Тег шире 2^53»
• «Поле провода» — варианты «Поле»
• «Итог шага» — варианты «Поле взято», «Шаг сорван»
• «Итог сообщения» — варианты «Сообщение разобрано», «Сообщение испорчено»

TOML

Подмножество TOML: пары ключ–значение, заголовки [таблица] и [a.b], строки, целые, дробные, признаки, однострочные массивы, комментарии. Всё вне подмножества — отказ с номером строки.

Импорт: использует «TOML». Исходник: flang/stdlib/toml.flang.

Типы:

• «Значение toml» — варианты «Строка toml», «Целое toml», «Вещественное toml», «Признак toml», «Массив toml», «Таблица toml»
• «Пара toml» — запись (один вариант)
• «Причина toml» — варианты «Строка не закрыта», «Таблица объявлена дважды», «Число записано неверно», «Нет знака равенства», «Ключ повторён», «Ключ записан неверно», «Массив не закрыт», «Скобка заголовка не закрыта», «Синтаксис вне подмножества», «Значение не опознано»
• «Итог toml» — варианты «Разобран toml», «Не разобран toml»
• «Возможное значение toml» — варианты «Есть значение toml», «Нет значения toml»
• «Взятие значения toml» — варианты «Значение взято», «Значение не взято»
• «Взятие ключа toml» — варианты «Ключ взят», «Ключ не взят»
• «Строка документа toml» — варианты «Пустая строка toml», «Заголовок toml», «Строка пары toml», «Строка с отказом toml»
• «Вставка toml» — варианты «Вставлено toml», «Не вставлено toml»
• «Лад кавычек toml» — варианты «Вне кавычек toml», «В строке toml», «После обратной косой toml», «В литерале toml»
• «Резка toml» — запись (один вариант)
• «Этап числа toml» — варианты «Перед числом toml», «После знака числа toml», «Ведущий ноль toml», «Цифры целой части toml», «Черта целой части toml», «После точки toml», «Цифры дроби toml», «Черта дроби toml», «После буквы порядка toml», «После знака порядка toml», «Цифры порядка toml», «Черта порядка toml», «Число сломано toml»
• «Этап строки toml» — варианты «Внутри строки toml», «После косой в строке toml», «За кавычкой toml», «Строка испорчена toml»
• «Чтение строки toml» — запись (один вариант)
• «Беда хода toml» — варианты «Беды нет toml», «Беда случилась toml»
• «Ход toml» — запись (один вариант)

DNS

Пакеты DNS (RFC 1035): заголовок, сжатые имена (зацикленный или ведущий вперёд указатель отвергается), записи A/AAAA/CNAME/NS/MX/TXT, сборка запроса. Без сокета.

Импорт: использует «DNS». Исходник: flang/stdlib/dns.flang.

Типы:

• «Заголовок DNS» — запись (один вариант)
• «Вопрос DNS» — запись (один вариант)
• «Данные записи» — варианты «Адрес IPv4», «Адрес IPv6», «Каноническое имя», «Сервер имён», «Почтовый обмен», «Текст», «Данные как есть»
• «Запись DNS» — запись (один вариант)
• «Пакет DNS» — запись (один вариант)
• «Итог пакета DNS» — варианты «Пакет разобран», «Пакет испорчен»
• «Итог заголовка» — варианты «Заголовок разобран», «Заголовок испорчен»
• «Итог имени» — варианты «Имя разобрано», «Имя испорчено»
• «Итог вопроса» — варианты «Вопрос разобран», «Вопрос испорчен»
• «Итог вопросов» — варианты «Вопросы разобраны», «Вопросы испорчены»
• «Итог данных записи» — варианты «Данные разобраны», «Данные испорчены»
• «Итог записи» — варианты «Запись разобрана», «Запись испорчена»
• «Итог записей» — варианты «Записи разобраны», «Записи испорчены»

UUID

UUID (RFC 9562): разбор 8-4-4-4-12 с причиной каждого отказа, печать, сравнение, версия и вариант, v5 из пространства имён и имени, v4 из шестнадцати случайных байтов, переданных аргументом.

Импорт: использует «UUID». Исходник: flang/stdlib/uuid.flang.

Типы:

• «УУИД» — запись (один вариант)
• «Итог УУИД» — варианты «УУИД разобран», «Длина не та», «Дефис не на месте», «Не шестнадцатеричный знак»
• «Ход проверки знаков УУИД» — варианты «Проверяем знаки»
• «Ход сбора октетов УУИД» — варианты «Собираем октеты»
• «Ход печати УУИД» — варианты «Печатаем октеты»

CLI

Аргументы командной строки вашей программы, разобранные по объявлению флагов: каждый вид ошибки — свой вариант enum, текст --help строится из того же объявления.

Импорт: использует «CLI». Исходник: flang/stdlib/cli.flang.

Типы:

• «Флаг» — запись (один вариант)
• «Объявление» — запись (один вариант)
• «Значение флага» — запись (один вариант)
• «Итог доводов» — варианты «Доводы разобраны», «Неизвестный флаг», «Пропущено значение», «Лишнее значение», «Флаг задан дважды», «Нет обязательного флага», «Позиционных не хватает», «Лишний довод», «Запрошена справка»
• «Ход доводов» — варианты «Идёт разбор», «Разбор прерван»

Postgres

Протокол PostgreSQL 3.0 без сокета: сборка сообщений клиента и разбор сообщений сервера.

Импорт: использует «Postgres». Исходник: flang/stdlib/postgres.flang.

Типы:

• «Поле» — запись (один вариант)
• «Беда базы» — варианты «Беда»
• «Весть» — варианты «Готов», «Вход разрешён», «Нужен пароль», «Вход не поддержан», «Нужен SASL», «Продолжение SASL», «Конец SASL», «Настройка», «Ключ отмены», «Разбор принят», «Привязка принята», «Строка данных», «Дело сделано», «Отказ базы», «Замечание базы», «Запрос был пуст», «Данных не будет», «Портал приостановлен», «Описание строк», «Весть незнакома»
• «Разбор вести» — варианты «Весть разобрана», «Вести мало», «Кадр испорчен»
• «Разбор потока» — варианты «Поток разобран», «Поток оборван»
• «Значение» — варианты «Текстом», «Целым», «Истиной», «Дробным текстом», «Тип не разобран»

Redis

Протокол Redis (RESP 2) без сокета: сборка команд и разбор ответов.

Импорт: использует «Redis». Исходник: flang/stdlib/redis.flang.

Типы:

• «Ответ Redis» — варианты «Слово Redis», «Беда Redis», «Счёт Redis», «Груз Redis», «Ничего Redis», «Набор Redis»
• «Разбор Redis» — варианты «Ответ разобран», «Ответа мало», «Ответ испорчен»
• «Край Redis» — варианты «Край взят», «Края нет»
• «Поток Redis» — варианты «Поток Redis разобран», «Поток Redis оборван»

SQLite

Файлы базы SQLite 3: чтение заголовка, страниц, ячеек, записей, значений колонок, имён таблиц из схемы и строк таблицы по имени; сборка файла с нуля («Собрать базу») и вставка строки в существующий файл («База со строкой»).

Импорт: использует «SQLite». Исходник: flang/stdlib/sqlite.flang.

Типы:

• «Варинт» — варианты «Взятый варинт»
• «Сбор варинтов» — варианты «Собираем варинты»
• «Сбор указателей» — варианты «Собираем указатели»
• «Значение» — варианты «Ничего», «Целое», «Дробное», «Текст», «Двоичное»
• «Ряд» — варианты «Строка таблицы»
• «Таблица» — варианты «Таблица базы»
• «Сбор октетов» — варианты «Собираем октеты»
• «Сброс октетов» — варианты «Сбрасываем октеты»
• «Ячейка» — варианты «Ячейка страницы»
• «Сбор смещений» — варианты «Собираем смещения»
• «Лист» — варианты «Лист рядов»
• «Раскладка» — варианты «Раскладываем ряды»
• «Сбор внутренних» — варианты «Собираем внутренние»

Чего нет: Строка вставляется только в свободное место существующего листа: без деления страницы и без журнала. SQL не разбирается: таблица берётся по имени, условие пишете сами.

Модуль работает с байтами файла (список числа) и файлов не открывает. Программа, которой нужен файл, — это план: она возвращает команду «Прочитать октеты из файла», рантайм (flang io) читает файл и вызывает план снова, уже с байтами.

Создайте пробную базу через sqlite3 из Python. Размер страницы задан, чтобы ваши числа совпали с числами ниже:

python3 -c "import sqlite3; c=sqlite3.connect('база.db'); \
  c.execute('pragma page_size=1024'); c.execute('vacuum'); \
  c.execute('create table люди(имя text, лет integer)'); \
  c.executemany('insert into люди values (?,?)', [('Аня',31),('Боря',44),('Вера',7)]); \
  c.commit()"

Сохраните это как заголовок.flang рядом с база.db:

модуль «Заголовок базы»
  использует «SQLite»

тип «Ход»
  вариант «Начало»
  вариант «Ждём октеты»

тотальная функция «Начало хода»
  возвращает «Ход»
  вариант «Начало»

тотальная функция «Отчёт»
  принимает октеты: список числа
  возвращает строка
  соединить [
      "это база SQLite: ", (если («Это база SQLite» от октеты) то "да" иначе "нет"),
      "\nразмер страницы: ", (к строке («Размер страницы» от октеты)),
      "\nстраниц: ", (к строке («Страниц в базе» от октеты)),
      "\nтаблицы: ", (соединить («Имена таблиц» от октеты) по ", ")
    ] по ""

тотальная функция «Дальше»
  принимает ход: «Ход», отклик: «Отклик»
  возвращает «Продолжение»
  разбор ход
    случай вариант «Начало»
      то вариант «Сделать» с поручение равным (вариант «Прочитать октеты из файла» с путь равным "база.db") и потом равным (вариант «Ждём октеты»)
    случай вариант «Ждём октеты»
      то разбор отклик
        случай вариант «Октеты» с октеты как октеты
          то вариант «Конец работы» с значение равным («Отчёт» от октеты)
        случай любое
          то вариант «Провал» с код равным "FLANG_IO_ORDER" и сообщение равным "ждали октетов"

план «Заголовок»
  состояние «Ход»
  начинает с «Начало хода»
  обрабатывает «Дальше»

Запустите. flang io выполняет план, только если доказаны все его постусловия, включая постусловия импортированных модулей; у SQLite есть недоказанные, поэтому нужен --trust. jq -r .result печатает только результат:

$ flang io заголовок.flang --trust | jq -r .result
на веру: доказанность не считалась — запуск по ключу --trust
это база SQLite: да
размер страницы: 1024
страниц: 2
таблицы: люди

Известное ограничение: заголовок, схема и имена таблиц читаются, а на значениях строк чтение упирается в лимит шагов при раскодировании UTF-8. Пример-план docs/examples/db/sqlite-read.flang, который печатает ещё и строки таблицы, на той же базе в 2 КиБ (сохранённой как obrazec.db рядом с планом) останавливается так:

$ flang io docs/examples/db/sqlite-read.flang --trust
на веру: доказанность не считалась — запуск по ключу --trust
{"error":"функция «Кодовые точки из байтов» исчерпала лимит шагов (10000000) на глубине вызовов 9","diagnostics":[{"code":"FLANG_RECURSION_LIMIT","message":"функция «Кодовые точки из байтов» исчерпала лимит шагов (10000000) на глубине вызовов 9","severity":"error","span":{"line":90,"column":1}}]}

Пока это так, берите модуль для заголовка и схемы, а не для содержимого.

Registry

Реестр пакетов как данные: поиск по имени, порядок версий, диапазоны версий, разрешение зависимостей.

Импорт: использует «Registry». Исходник: flang/stdlib/registry.flang.

Типы:

• «Версия» — запись с полями
• «Разбор версии» — варианты «Версия годна», «Версия негодна»
• «Диапазон» — варианты «Любая версия», «Ровно», «Не ниже», «В пределах»
• «Разбор диапазона» — варианты «Диапазон годен», «Диапазон негоден»
• «Нужда» — запись с полями
• «Запись реестра» — запись с полями
• «Сбор нужд» — запись с полями
• «Разбор записи» — варианты «Запись годна», «Запись негодна»
• «Реестр» — запись с полями
• «Выбор» — запись с полями
• «Исход разрешения» — варианты «Разрешено», «Не разрешено»
• «Выбор имени» — варианты «Выбрано», «Не выбрано»
• «Круг» — запись с полями