Словарь языка

Все слова flang: слово, четыре поверхности записи, что делает и куда ведёт. Страница печатается из таблицы поверхностей — той единственной, по которой разбирается любой файл на flang. Руками её не правят: правку затрёт следующая сборка, а проверка свежести не даст странице молча разойтись с таблицей.

Понятий в таблице — 150. На всех четырёх поверхностях открыто 133 (88.7 %). На трёх — 6, на двух — 10, на одной — 1. Пустая клетка значит, что слова на этой поверхности нет, и это решение, а не пропуск: придуманное слово хуже отсутствующего. Чем именно дырява таблица — на странице Четыре поверхности.

Документ и модульность

Ведёт: Спецификация языка.

русская	английская	эсперанто	китайская	Что делает
`модуль`	`module`	—	`模块`	открывает файл и даёт ему имя
`экспортирует`	`exports`	`eksportas`	`导出`	перечисляет имена, видные снаружи модуля
`использует`	`uses`	`uzas`	`使用`	подключает другой модуль
`категория`	`category`	`kategorio`	`类别`	объявляет категорию: объекты и морфизмы между ними
`объект`, `структура`	`object`, `structure`	`objekto`, `strukturo`	`对象`, `结构`	объявляет объект категории — запись с полями
`запись`	`record`	`rikordo`	`记录`	объявляет запись: набор именованных полей
`тип`	`type`	`tipo`	`类型`	объявляет тип
`вариант`	`variant`	`varianto`	`变体`	объявляет вариант размеченного объединения
`это`	—	—	—	связывает имя с типом («список чисел» это …)
`вложен объект`, `вложена структура`	`nested object`, `nested structure`	—	`嵌套对象`, `嵌套结构`	объявляет объект, вложенный в другой объект

Функции

Ведёт: Спецификация языка.

русская	английская	эсперанто	китайская	Что делает
`код символа`	`character code`	`kodo de signo`	`字符码`	кодовая точка символа → число
`символ по коду`	`character by code`	`signo per kodo`	`按码字符`	кодовая точка числом → строка из одного символа
`убывает`	`decreases`	—	—	объявляет меру, по которой доказывается завершаемость
`тотальная`	`total`	`totala`	`完全`	признак функции: завершается на всех входах, и это доказано
`функция`	`function`	`funkcio`	`函数`	объявляет функцию
`принимает`	`accepts`	`akceptas`	`接受`	перечисляет параметры и их типы
`возвращает`	`returns`	`redonas`	`返回`	называет тип результата
`пример`	`example`	`ekzemplo`	`示例`	открывает пример — исполняемый тест внутри объявления
`дано`	`given`	`donite`	`给定`	задаёт значение параметра в примере
`ожидается`	`expected`	`atendata`	`期望`	задаёт ожидаемый результат примера

Выражения

Ведёт: Спецификация языка.

русская	английская	эсперанто	китайская	Что делает
`пусть`	`let`	`estu`	`令`	вводит локальное имя
`если`	`if`	`se`	`如果`	открывает условие
`то`	`then`	`tiam`	`那么`	ветвь, когда условие верно
`иначе`	`else`	`alie`	`否则`	ветвь, когда условие ложно
`разбор`	`match`	`kongruo`	`匹配`	разбор значения по вариантам
`случай`	`case`	`kazo`	`情况`	ветвь разбора
`от`	`of`	`de`	`的`	применяет функцию к аргументам
`и`	`and`	`kaj`	`和`	разделяет аргументы, поля, элементы списка
`и притом`	`and also`	`kaj ankaŭ`	`并且`	конъюнкция — логическое «и» инфиксной записью
`или`	`or`	`aŭ`	`或者`	дизъюнкция
`не`	`not`	—	`非`	отрицание
`с`	`with`	`kun`	`带有`	присоединяет уточнение к форме
`из`	`from`	`el`	`从`	источник: откуда берут
`только`	`only`	`nur`	`仅`	ограничивает выбор
`в`, `к`	`to`, `into`, `in`, `onto`	`al`	`到`	цель: куда кладут или во что переводят
`по`	`by`	`per`	`按`	указывает признак, по которому идёт действие
`у`	`at`	`ĉe`	`在`	указывает место или позицию
`как`	`as`	`kiel`	`作为`	даёт имя связке в свёртке
`где`	`where`	`kie`	`其中`	уточняет условие
`начиная с`	`starting with`	`komencante per`	`起始于`	начальное значение свёртки

Встроенные формы

Ведёт: Спецификация языка.

русская	английская	эсперанто	китайская	Что делает
`отобразить`	`map`	`mapi`	`映射`	применяет функцию к каждому элементу списка
`отфильтровать`	`filter`	`filtri`	`过滤`	оставляет элементы, прошедшие условие
`свёртка`, `свертка`	`fold`	`faldo`	`折叠`	свёртка списка с накопителем
`длина`	`length`	`longo`	`长度`	длина списка или строки
`символ`	`char`	`signo`	`字符`	символ строки по позиции
`разложить`	`decompose`	`malkomponi`	`分解`	разбирает значение на части
`на символы`	`into characters`	`en signojn`	`为字符`	уточнение к «разложить»: на символы
`подстрока`	`substring`	`subĉeno`	`子串`	кусок строки
`соединить`	`join`	`kunigi`	`连接`	склеивает список строк
`разделить`	`split`	`dividi`	`分割`	делит строку на список
`содержит`	`contains`	`enhavas`	`包含`	вхождение подстроки или элемента
`начинается с`	`begins with`	`komenciĝas per`	`开始于`	проверка начала строки
`к числу или беда`	`to number or failure`	`al nombro aŭ fiasko`	`转数字或失败`	строка → число либо честный отказ
`к числу`	`to number`	`al nombro`	`转数字`	строка → число
`к строке`	`to text`	`al teksto`	`转文本`	значение → строка
`голова`	`head`	`kapo`	`头`	первый элемент списка
`хвост`	`tail`	`vosto`	`尾`	список без первого элемента
`элемент`	`item`	`ero`	`元素`	элемент списка по номеру
`голова и хвост`	`head and tail`	`kapo kaj vosto`	`头和尾`	разбор списка на голову и хвост
`пусто`	`empty`	`malplena`	`空`	пустое значение
`пустой список`	`empty list`	`malplena listo`	`空列表`	пустой список
`список из`	`list of`	`listo de`	`列表由`	тип: список из элементов названного типа
`список`	`list`	`listo`	`列表`	тип «список»
`добавить`	`add`	`aldoni`	`添加`	добавляет элемент к списку
`приписать`	`prepend`	`antaŭmeti`	`前置`	приписывает элемент в начало списка
`любое`	`any`	`ajna`	`任意`	тип-заглушка: любое значение

Арифметика и сравнения

Ведёт: Спецификация языка.

русская	английская	эсперанто	китайская	Что делает
`плюс`	`plus`	`plus`	`加`	сложение
`минус`	`minus`	`minus`	`减`	вычитание
`умножить на`	`times`, `multiplied by`	`fojoj`	`乘以`	умножение
`делить на`	`divided by`	`dividite per`	`除以`	деление
`остаток от`	`modulo`	`resto de`	`取余`	остаток от деления
`процентов`, `процента`, `процент`	`percent`, `percents`	`procentoj`, `procento`	—	процент от числа
`равен`, `равна`, `равно`, `равным`, `равной`, `равное`	`equals`, `equal to`	`egalas`	`等于`	равенство
`не равен`, `не равна`, `не равно`	`is not equal to`, `not equals`	`ne egalas`	`不等于`	неравенство
`больше`	`is greater than`, `greater than`	`pli granda ol`	`大于`	строго больше
`меньше`	`is less than`, `less than`	`pli malgranda ol`	`小于`	строго меньше
`не больше`	`is at most`, `at most`	`ne pli granda ol`	`不大于`	не больше
`не меньше`	`is at least`, `at least`	`ne pli malgranda ol`	`不小于`	не меньше

Значения и типы

Ведёт: Спецификация языка.

русская	английская	эсперанто	китайская	Что делает
`да`	`true`, `yes`	`vera`, `jes`	`真`	литерал истины
`нет`	`false`, `no`	`malvera`, `ne`	`假`	литерал лжи
`ничто`	`null`	`nenio`	`无`	литерал пустоты
`число`, `числа`, `числом`, `числу`	`number`	`nombro`	`数字`	тип «число»
`строка`, `строки`, `строкой`, `строку`, `текстом`	`string`	`teksto`	`字符串`	тип «строка»
`признак`, `признака`, `признаком`	`boolean`, `flag`	`bulea`	`布尔`	тип «признак» — истина или ложь
`деньги`, `деньгами`	`money`	`mono`	`金额`	тип «деньги» — точная дробь
`дата`, `даты`, `дату`, `датой`	`date`	`dato`	`日期`	тип «дата»
`состояние`, `состоянием`	`state`	`stato`	`状态`	объявляет состояние процесса
`является`	`is`	`estas`	`是`	утверждает принадлежность типу
`иногда является`	`may be`	`povas esti`	`可能是`	утверждает возможную принадлежность типу

Наследие прежней поверхности

Ведёт: Категории и функторы.

русская	английская	эсперанто	китайская	Что делает
`утилита`	`utility`	`utilaĵo`	`工具`	объявляет исполняемую утилиту
`правило`	`rule`	`regulo`	`规则`	объявляет правило утилиты
`свойство`	`property`	`propraĵo`	`属性`	свойство в правиле
`результат`	`result`	`rezulto`	`结果`	результат правила
`начинает с`	`starts with`	`komencas per`	`始于`	начальное значение правила
`поле`, `поля`	`field`	`kampo`	`字段`	поле записи
`морфизм`	`morphism`	`morfismo`	`态射`	объявляет морфизм между объектами категории
`после`	`after`	`post`	`之后`	композиция морфизмов: один после другого
`цепочка`	`chain`	`ĉeno`	`链`	цепочка морфизмов
`сначала`	`first`	`unue`	`首先`	первый шаг цепочки
`затем`	`next`	`poste`	`然后`	следующий шаг цепочки
`единица`	`identity`	`identeco`	`恒等`	единичный морфизм
`даёт`	`gives`	`donas`	`给出`	результат шага
`закон`	`law`	`leĝo`	`定律`	объявляет закон — проверяемое тождество
`изоморфизм`	`isomorphism`	`izomorfio`	`同构`	объявляет изоморфизм: пара взаимно обратных морфизмов
`прямой морфизм`	`forward morphism`	`rekta morfismo`	`正向态射`	прямая половина изоморфизма
`обратный морфизм`	`inverse morphism`	`inversa morfismo`	`逆态射`	обратная половина изоморфизма
`вложение`	`embedding`	—	`嵌入`	вложение одного объекта в другой
`пересечение`	`intersection`	`komunaĵo`	`交集`	пересечение объектов
`моноид`	`monoid`	`monoido`	`幺半群`	объявляет моноид: носитель, операция, единица
`носитель`	`carrier`	`portanto`	`载体`	носитель моноида
`операция`	`operation`	`operacio`	`运算`	операция моноида
`обратный элемент`	`inverse element`	`inversa elemento`	`逆元`	обратный элемент группы
`монада`	`monad`	`monado`	`单子`	объявляет монаду
`возврат`	`return`	`redono`	`单位`	единица монады: значение → монада
`соединение`	`flatten`	`platigo`	`压平`	соединение монады: монада монады → монада
`в монаде`	`in monad`	`en monado`	`在单子中`	вычисление внутри монады
`теорема`	`theorem`	`teoremo`	`定理`	объявляет теорему
`функтор`, `функтора`	`functor`	`funktoro`	`函子`	объявляет функтор между категориями
`бифунктор`	`bifunctor`	`bifunktoro`	`双函子`	объявляет бифунктор — функтор от двух аргументов
`объекты`	`objects`	`objektoj`	`对象对`	пара объектов бифунктора
`морфизмы`	`morphisms`	`morfismoj`	`态射对`	пара морфизмов бифунктора
`утверждение`	`proposition`	`propozicio`	`命题`	объявляет утверждение о поведении
`имеет`	`has`	`havas`	`具有`	утверждает наличие поля или свойства
`в данных`	`in data`	`en datumoj`	`在数据中`	уточняет, что поиск идёт в данных
`найти где`	`find where`	`trovi kie`	`查找其中`	поиск по условию
`по морфизму`, `затем по морфизму`, `применить морфизм`, `затем применить морфизм`	`by morphism`, `then by morphism`, `apply morphism`, `then apply morphism`	`per morfismo`, `poste per morfismo`	`按态射`, `然后按态射`	указывает морфизм, по которому идёт действие
`следовательно`, `получаем`	`therefore`	`sekve`	`因此`	вывод шага доказательства
`по закону`	`under law`	`laŭ leĝo`	`依定律`	ссылается на закон в доказательстве
`отображается в`, `отображаются в`	`maps to`, `map to`	`mapiĝas al`	`映射到`	образ объекта под функтором
`отображается в поле`	`maps to field`	`mapiĝas al kampo`	`映射到字段`	образ поля под функтором
`отображается в морфизм`, `отображаются в морфизм`	`maps to morphism`, `map to morphism`	`mapiĝas al morfismo`	`映射到态射`	образ морфизма под функтором
`требует`	`requires`	—	—	предусловие функции
`обеспечивает`	`ensures`	—	—	постусловие функции — то, что доказывает ядро
`для всех`	`for all`	—	—	квантор всеобщности в утверждении
`утверждаем`	`claim`	—	—	открывает доказываемое утверждение
`индукция по`	`induction on`	—	—	доказательство индукцией по названному носителю
`по свойству`	`by property`	—	—	шаг доказательства: по свойству
`по примеру`	`by example`	—	—	шаг доказательства: по примеру
`по предположению`	`by hypothesis`	—	—	шаг доказательства: по предположению индукции
`следовательно доказано`	`therefore proved`	—	—	закрывает доказательство
`процесс`	`process`	`procezo`	`进程`	объявляет процесс
`обрабатывает`	`handles`	`traktas`	`处理`	обработчик сообщения процесса
`с запасом`	`with budget`	`kun buĝeto`	`带预算`	запас шагов процесса
`с ящиком`	`with mailbox`	`kun leterkesto`	`带信箱`	размер ящика сообщений
`надзор`	`supervision`	—	`监督`	объявляет надзор над процессами
`стратегия`	`strategy`	`strategio`	`策略`	стратегия перезапуска при отказе
`порог отказов`	`failure threshold`	`sojlo de fiaskoj`	`失败阈值`	порог отказов, после которого надзор сдаётся
`прогон`	`run`	`rulo`	`运行`	объявляет прогон
`семя`	`seed`	`semo`	`种子`	семя генератора случайных значений
`план`	`plan`	`plano`	`计划`	объявляет план — последовательность шагов

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