Standard library reference

The standard library is written in flang and is checked the same way as your program: types, termination, unit tests (пример) and postconditions. It has 64 modules, one file each in flang/stdlib/. This page lists every module and every function in it.

Which module for which task

Importing a module

использует is the import. A module is imported by its name, without a path:

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

This brings in the whole module, and the generated code contains all of it. To import only some functions, name them after только:

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

только does not bring in the functions that the named function calls. You have to name them too, or import the whole module. Importing «Двоичный поиск» without «Поиск в диапазоне», which it calls:

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

Here imp1.flang is the two lines модуль «Моя программа» and использует «Lists» только «Двоичный поиск». The line numbers point into flang/stdlib/lists.flang, not into your file.

The unit tests of an imported function are run in your program too, so they also need their functions. использует «Higher order» только «Свернуть» fails on the tests of «Свернуть», which call «Сложить», «Умножить» and «Большее»:

$ 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

How to read the tables

The labels are in Russian, like the code. A label says what the postcondition states; whether the prover has proved it is printed by bootstrap/flang check flang/stdlib/<file> --proof.

Every function terminates on every input (тотальная), except seven marked "not total": «НОД», «НОК», «Цифры» and «Сумма цифр» in Numbers, and three functions in Math classics.

Everyday modules

Lists, strings, numbers, Optional and Result, map/filter/reduce, maps and JSON. Each section ends with a sample program that passes flang check.

Lists

Lists of any values and lists of numbers: length, slice, range, search, folds, sorting.

Import: использует «Lists». Source: flang/stdlib/lists.flang.

Types:

• «Пара чисел» — a record

Sample program (passes flang check):

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

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

Strings

Strings: split, replace, case, prefix and suffix, character tests, padding to a width.

Import: использует «Strings». Source: flang/stdlib/strings.flang.

Types:

• «Обрезка слева» — a record
• «Обрезка справа» — a record

Sample program (passes flang check):

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

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

Numbers

Numbers: sign, absolute value, integer division, GCD and LCM, power, factorial, digits.

Import: использует «Numbers». Source: flang/stdlib/numbers.flang.

Sample program (passes flang check):

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

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

Optional

Optional: a value that may be absent, over any type.

Import: использует «Optional». Source: flang/stdlib/optional.flang.

Types:

• «Возможно» от «А» — variants «Есть», «Нет»

Sample program (passes flang check):

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

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

Result

Result: success with a value, or an error with a reason.

Import: использует «Result». Source: flang/stdlib/result.flang.

Types:

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

Sample program (passes flang check):

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

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

Higher order

Functions as arguments: map, filter, reduce, sort with your own comparison.

Import: использует «Higher order». Source: flang/stdlib/higher-order.flang.

Sample program (passes flang check):

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

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

Dictionary

A string → string map stored as a list of pairs. Lookup is linear: with a thousand keys it is as slow as a thousand-element list.

Import: использует «Dictionary». Source: flang/stdlib/dictionary.flang.

Types:

• «Связь» — a record (one variant)

Sample program (passes flang check):

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

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

Hash map

A string → value map with fast access: a trie over the digits of the key's hash.

Import: использует «Hash map». Source: flang/stdlib/hashmap.flang.

Types:

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

Sample program (passes flang check):

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

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

JSON

JSON: tokenizing, parsing into a value, printing back.

Import: использует «JSON». Source: flang/stdlib/json.flang.

Types:

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

Sample program (passes flang check):

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

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

More collections and data

String lists

Lists of strings: first, last, tail, join, access by index, common prefix.

Import: использует «String lists». Source: flang/stdlib/strlists.flang.

String sets

A set of strings: add, remove, union, intersection, difference, subset.

Import: использует «String sets». Source: flang/stdlib/sets.flang.

Tree map

A string → string map as a search tree: O(log n) access.

Import: использует «Tree map». Source: flang/stdlib/tree.flang.

Types:

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

Number tree

A binary search tree of numbers: insert, search, sort by traversal.

Import: использует «Number tree». Source: flang/stdlib/numtree.flang.

Types:

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

Logic

Boolean operations: and, or, not, xor, implication, "all true" and "any true" over a list.

Import: использует «Logic». Source: flang/stdlib/logic.flang.

Statistics

Descriptive statistics over a list of numbers: mean, median, mode, population and sample variance, quantile by linear interpolation, square root.

Import: использует «Statistics». Source: flang/stdlib/stats.flang.

Bignum

Non-negative integers of any size, stored as a list of digits in base 2^22: addition, subtraction, comparison, multiplication (schoolbook and Karatsuba), division by a small number, conversion to and from a decimal string.

Import: использует «Bignum». Source: flang/stdlib/bignum.flang.

Types:

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

Number format

Printing a non-negative number in bases 2–16 and with a fixed number of digits after the point.

Import: использует «Number format». Source: flang/stdlib/number-format.flang.

Date and time

Dates and times as values: ISO-8601 parsing, addition, difference, leap years, weekdays. It never reads the clock: the time comes in as an argument.

Import: использует «Date and time». Source: flang/stdlib/datetime.flang.

Types:

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

Automaton

Regular expressions run by a finite automaton, without backtracking; the pattern is a string.

Import: использует «Automaton». Source: flang/stdlib/automaton.flang.

Types:

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

Samples

Simple pattern matching on strings without a regex engine: five kinds of pattern, one function each.

Import: использует «Samples». Source: flang/stdlib/samples.flang.

Types:

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

Formats and protocols

These modules build and parse bytes and text. None of them opens a socket or a file: the bytes come from the runtime through a план (see the SQLite sample below).

Requests and responses

HTTP without the socket: parsing and printing requests and responses, headers, status codes, URLs, percent encoding.

Import: использует «Requests and responses». Source: flang/stdlib/http.flang.

Types:

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

WebSocket

WebSocket (RFC 6455): the answer to an upgrade request and the binary frame — three length forms, unmasking, building a frame. No socket.

Import: использует «WebSocket». Source: flang/stdlib/websocket.flang.

Types:

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

UTF-8

Text to bytes and bytes back to code points — UTF-8, RFC 3629.

Import: использует «UTF-8». Source: flang/stdlib/utf8.flang.

Types:

• «Ход разбора utf8» — variants «Разбираем utf8»

Base64

Base64 per RFC 4648: the standard alphabet and the URL-safe one.

Import: использует «Base64». Source: flang/stdlib/base64.flang.

Types:

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

Wire

Helpers for binary protocols: bytes, network-order integers, zero-terminated strings, cutting a stream into messages.

Import: использует «Wire». Source: flang/stdlib/wire.flang.

Types:

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

Protobuf

The Protocol Buffers wire format without a schema: varint, tag, fixed32/fixed64, a message as a list of fields. Values up to 2^53−1; wider ones are refused with a reason.

Import: использует «Protobuf». Source: flang/stdlib/protobuf.flang.

Types:

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

TOML

A subset of TOML: key–value pairs, [table] and [a.b] headers, strings, integers, floats, booleans, one-line arrays, comments. Anything outside the subset is refused with a line number.

Import: использует «TOML». Source: flang/stdlib/toml.flang.

Types:

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

DNS

DNS packets (RFC 1035): header, compressed names (a looping or forward pointer is refused), A/AAAA/CNAME/NS/MX/TXT records, building a query. No socket.

Import: использует «DNS». Source: flang/stdlib/dns.flang.

Types:

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

UUID

UUID (RFC 9562): parsing 8-4-4-4-12 with a reason for every refusal, printing, comparison, version and variant, v5 from a namespace and a name, v4 from sixteen random bytes passed as an argument.

Import: использует «UUID». Source: flang/stdlib/uuid.flang.

Types:

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

CLI

Command-line arguments of your program, parsed against a declaration of flags: every kind of error is its own enum variant, and the --help text is built from the same declaration.

Import: использует «CLI». Source: flang/stdlib/cli.flang.

Types:

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

Postgres

The PostgreSQL 3.0 protocol without the socket: building client messages and parsing server messages.

Import: использует «Postgres». Source: flang/stdlib/postgres.flang.

Types:

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

Redis

The Redis protocol (RESP 2) without the socket: building commands and parsing replies.

Import: использует «Redis». Source: flang/stdlib/redis.flang.

Types:

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

SQLite

SQLite 3 database files: reading the header, pages, cells, records, column values, table names from the schema and the rows of a table by name; building a whole file from scratch («Собрать базу») and inserting a row into an existing file («База со строкой»).

Import: использует «SQLite». Source: flang/stdlib/sqlite.flang.

Types:

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

Not supported: A row is inserted only into the free space of an existing leaf page: no page split, no journal. SQL is not parsed: a table is taken by name, and you write the condition yourself.

The module works on the bytes of the file (a список числа); it does not open files. A program that needs a file is a план: it returns the command «Прочитать октеты из файла», the runtime (flang io) reads the file and calls the plan again with the bytes.

Create a sample database with Python's sqlite3. The page size is set so that your numbers match the ones below:

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()"

Save this as заголовок.flang next to база.db:

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

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

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

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

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

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

Run it. flang io runs a plan only when all its postconditions, including those of the imported modules, are proved; SQLite has unproved ones, so the run needs --trust. jq -r .result prints only the result:

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

Known limit: the header, the schema and the table names can be read, but reading row values runs out of the step limit while decoding UTF-8. The example plan docs/examples/db/sqlite-read.flang, which also prints the rows of a table, stops like this on the same 2 KiB database (saved as obrazec.db next to the plan):

$ 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}}]}

Until this is fixed, use the module for the header and the schema, not for the contents.

Registry

A package registry as data: lookup by name, version order, version ranges, dependency resolution.

Import: использует «Registry». Source: flang/stdlib/registry.flang.

Types:

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