Библиотека на функциях-значениях написана — и не там, где должна

Пункт 5 плана: свёртка, отображение, фильтр, поиск, сортировка и композиция
принимают функцию аргументом. 36 функций, все тотальные, 55 примеров, печать во
все восемь целей, C под -Werror -pedantic, сверка с интерпретатором на 179
точках, сверка с девятью специализированными функциями lists.flang на 64.

Положить её в flang/stdlib нельзя, и это проверено запуском, а не выведено из
«печать заработала — значит можно». Тот же файл там роняет пять тестов: три в
self-bootstrap и два в self-parser, с диагностикой flang₁ «FLANG_PARSE: не
разобрана конструкция: ожидался тип». Печать во все восемь целей и разбор
самоприменением — разные контракты; сняли первый, второй остался. Три из пяти
упавших — ровно те, которыми за то же заплатил полиморфизм.

Каталога для такого файла в репозитории тоже нет: hof-emit смотрит на flang/**
целиком. Поэтому модуль лежит в flang/test/stdlib-hof.test.mjs — там же, где по
той же причине живут исходники фаз 1 и 3, — и рядом стоит улика, которая
покраснеет в день фазы 5 и потребует перенести его в
flang/stdlib/higher-order.flang.

Четыре объяснения недостачи пережили сами недостачи и заменены проверенными:
«функции не являются значениями» (lists.flang), «передать предикат некому»
(там же), «значение варианта в примере записать нельзя» (strings.flang — третье
место, где это пережило починку), «типы не параметрические» (optional.flang и
result.flang). Про язык всё это неправда; правда про репозиторий, и она уже.
Каждое проверено прогоном. Там же исправлено «связывания между модулями нет» в
каталоге LeetCode: импорт работает, flang test на import-check.flang даёт 46
сошедшихся примеров.

В каталог недостач добавлена запись «функции первого класса в программах
репозитория» с двойной уликой в missing.test.mjs: эталон обязан ПРИНЯТЬ
программу с функцией-значением, а парсер на flang — ОТКАЗАТЬ.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01P6ehGNnEcrkCK1V5iMHNYi

Author: Marat Zimnurov

flang/PLAN.md

@@ -178,10 +178,36 @@ gcc и clang, Java, Elixir, Rust, Python; Go и .NET на машине нет 
 это две обычные функции и три обычные суммы; чего не хватает остальным семи,
 расписано таблицей в том же разделе контракта.
 
-**5. Стандартная библиотека, настоящая.** Сейчас 76 функций, и они дублируются
-по типам. С (1) и (2) появляются свёртки, отображения и фильтры, работающие с
-любым типом и любой функцией; персистентные структуры; строки и числа одним
-набором.
+**5. Стандартная библиотека, настоящая. 🟡 Написана — но лежит не там, где
+должна.** Сейчас в `flang/stdlib` 76 функций, 69 из них тотальные, 151 пример.
+Дублирование посчитано, а не оценено: девять функций отличаются друг от друга
+ровно одним подставленным предикатом, сравнением или операцией — «Все не
+меньше» и «Любой не меньше», «Минимум» и «Максимум», «Сумма» и «Произведение»,
+«Вставить по порядку» и «Сортировать», «Сжать суммами»; ещё 55 функций из 202 в
+`stdlib`, `examples/leetcode` и `examples/rosetta` — побайтовые копии друг
+друга.
+
+Замена написана целиком и проверена целиком: 36 функций, ВСЕ тотальные, 55
+примеров, печать во все восемь целей, C под `-Werror -pedantic`, сверка с
+интерпретатором на 179 точках (gcc, clang, JavaScript). Свёртка, отображение,
+фильтр, поиск, сортировка и композиция принимают функцию аргументом; отдельным
+тестом сверено, что общие функции дают ровно то же, что девять
+специализированных.
+
+Положить её в `flang/stdlib` нельзя, и это измерено: тот же модуль там роняет
+ПЯТЬ тестов — три в `self-bootstrap` и два в `self-parser`, с диагностикой
+flang₁ `FLANG_PARSE: не разобрана конструкция: ожидался тип`. Печать во все
+восемь целей (пункт 2, фаза 3) этого не меняет: корпус сверки собирается по
+маске каталога, а `self/parser.flang` новой формы не знает. То же и с (1):
+параметрический тип, снимающий дублирование по типам, репозиторию тоже
+запрещён. Значит пункт 5 упирается не в (1) и (2), а в ИХ САМОПРИМЕНЕНИЕ —
+фазу 5 в `HOF.md` и фазу 4 в `POLY.md`.
+
+Пока их нет, библиотека живёт в `flang/test/stdlib-hof.test.mjs` — там же, где
+по той же причине лежат исходники фаз 1 и 3, — и рядом с ней стоит улика,
+которая покраснеет в день, когда `self/` научится, и потребует перенести модуль
+в `flang/stdlib/higher-order.flang`. Осталось после этого: персистентные
+структуры и «строки и числа одним набором» — они требуют (1), а не (2).
 
 **6. Отказоустойчивость.** Шаги 1–3 конкурентности сделаны, печать в Elixir в
 работе. После (4) процессы получают ввод-вывод, и система становится тем, чем

flang/cat/HOF.md

@@ -546,10 +546,43 @@ JavaScript. Go и .NET печатаются и проверяются струк
 парсер (AST-контракт сверяется побайтово с эталоном — расхождение видно сразу),
 затем типы.
 
-**Фаза 6 — stdlib.** Только после фазы 5, ни минутой раньше:
-`flang/stdlib/*.flang` входит в тот же корпус, что и `examples`. Тогда
-появляются настоящие свёртки, отображения и фильтры, работающие с любой
-функцией, — то, ради чего пункт 5 плана ждёт этого пункта.
+**Фаза 6 — stdlib. 🟡 Библиотека НАПИСАНА, но перенести её нельзя до фазы 5.**
+
+Модуль «Высший порядок» — 36 функций, все тотальные, 55 примеров — лежит в
+`flang/test/stdlib-hof.test.mjs` и проверен целиком: типы, завершаемость,
+примеры, `flang check` и `flang test` через настоящий CLI, печать во все восемь
+целей, сборка C под `-Werror -pedantic`, сверка с интерпретатором на 179 точках
+(gcc, clang, JavaScript), плюс сверка с девятью специализированными функциями
+`stdlib/lists.flang` на 64 точках — они дают ровно то же.
+
+Соблазн был положить его сразу в `flang/stdlib/`: фаза 3 сделана, печать
+работает. Проверка запуском это опровергла — тот же файл там роняет ПЯТЬ
+тестов:
+
+```
+flang/stdlib/…: связывание на flang дало диагностики
+  FLANG_PARSE  не разобрана конструкция: ожидался тип   (self-bootstrap)
+flang/stdlib/…: связанный AST разошёлся                 (self-bootstrap)
+flang/stdlib/…: диагностики разошлись                   (self-bootstrap)
+flang/stdlib/…: парсер на flang отказал там, где образец разобрал (self-parser ×2)
+```
+
+Три из них — ровно те, которыми за то же самое заплатил полиморфизм
+(`POLY.md`); два — те, до которых он не дошёл. Урок тот же и стоит записи
+третий раз: **печать во все восемь целей и разбор самоприменением — РАЗНЫЕ
+контракты**, и снятие первого не снимает второго.
+
+Каталога, куда такой файл можно положить, в репозитории тоже нет:
+`hof-emit.test.mjs` требует от каждого `.flang` под `flang/`, чтобы проход
+дефункционализации вернул ТОТ ЖЕ объект, — а библиотеку он по существу
+переписывает.
+
+Чтобы объяснение не пережило недостачу (это уже случалось четырежды за сутки),
+рядом с модулем стоит улика: тест «`self/parser.flang` не понимает библиотеку».
+В день, когда фаза 5 будет сделана, он покраснеет и потребует перенести модуль
+в `flang/stdlib/higher-order.flang`. Вторая улика, на ту же недостачу со
+стороны каталога языка, — в `flang/test/missing.test.mjs`: эталон обязан
+ПРИНЯТЬ программу с функцией-значением, а парсер на flang — ОТКАЗАТЬ.
 
 **Чего решено не делать никогда.** Замыканий над локальными именами: тег с
 захватом — это фаза 4, а анонимная функция, замыкающая произвольное окружение,

flang/examples/leetcode/index.json

@@ -2,7 +2,7 @@
   "версия": 1,
   "язык": "flang",
   "каталог": "flang/examples/leetcode",
-  "описание": "Решения задач LeetCode на flang. Каждый файл самодостаточен: связывания между модулями в языке нет, поэтому вспомогательные функции повторяются в каждом решении.",
+  "описание": "Решения задач LeetCode на flang. Каждый файл самодостаточен НАРОЧНО, а не по нужде: здесь стояло «связывания между модулями в языке нет», и это неправда — «использует «Списки» из \"../stdlib/lists.flang\"» работает, проверено запуском flang check и flang test на flang/examples/import-check.flang (46 примеров, все сходятся). Самодостаточность оставлена потому, что решение задачи читается целиком в одном файле; цена ей — 55 повторяющихся функций на 202 в flang/stdlib, flang/examples/leetcode и flang/examples/rosetta.",
   "решено": 26,
   "тотальных решений": 24,
   "категории": [
@@ -861,6 +861,10 @@
       "чего": "параметрический полиморфизм",
       "пояснение": "«Обратить» для списка числа и для списка строки — две разные функции с одинаковым телом. Опциональное значение приходится заводить отдельно под каждый тип, а имена вариантов обязаны быть уникальны в модуле."
     },
+    {
+      "чего": "функции первого класса в программах репозитория",
+      "пояснение": "У ЯЗЫКА они есть: функция становится значением, применение проверяется по типам и арности, анализ завершаемости работает на высшем порядке, и все восемь целей печатают это дефункционализацией (flang/cat/HOF.md, фазы 1 и 3). А ПОЛЬЗОВАТЬСЯ ими ни stdlib, ни examples не вправе: flang/self/parser.flang новой формы не разбирает, а корпус сверки самоприменения собирается по маске каталога — первый же такой файл роняет пять тестов (три в self-bootstrap, два в self-parser) с диагностикой flang₁ «FLANG_PARSE: не разобрана конструкция: ожидался тип». Проверено запуском, а не рассуждением. Ровно та же граница держит и параметрический полиморфизм. Из-за неё «Все не меньше» и «Любой не меньше» в lists.flang остаются двумя функциями под один предикат, «Минимум» и «Максимум» — двумя телами одной свёртки, а «Сортировать» знает один порядок. Готовая замена всему этому написана и проверена целиком (36 функций, все тотальные, 55 примеров, печать во все восемь целей, сверка с интерпретатором на 179 точках) и ждёт в flang/test/stdlib-hof.test.mjs."
+    },
     {
       "чего": "обработка ошибок",
       "пояснение": "Отказ встроенной формы («к числу» от «abc», «голова» от пустого списка) прекращает вычисление целиком и не перехватывается. Проверять пригодность аргумента приходится заранее, а выразить эту проверку удаётся не всегда."

flang/stdlib/lists.flang

@@ -2,11 +2,32 @@
 
 // Списки чисел: длина, обращение, соединение, срез, поиск, свёртки, сортировка.
 //
-// Почему модуль про числа, а не «про любой список»: типы в flang не
-// параметрические (SPEC, раздел 3), а функции не являются значениями. Поэтому
-// «Сортировать» для строк — это отдельная функция с отдельным телом, а не
-// та же самая с другим параметром типа. Здесь взят самый частый случай —
-// список числа; для списка строки те же приёмы повторяются дословно.
+// Почему модуль про числа, а не «про любой список», и почему свёртка не берёт
+// функцию аргументом. Здесь стояло «функции не являются значениями» — это
+// БОЛЬШЕ НЕ ПРАВДА про язык: функция стала значением (flang/cat/HOF.md, фаза 1)
+// и печатается во все восемь целей (фаза 3). Проверено запуском: модуль с
+// `функция из числа в число` разбирается, проходит типы, доказывается
+// тотальным и считает верно.
+//
+// Правда — про РЕПОЗИТОРИЙ, и она уже: ни stdlib, ни examples не вправе
+// использовать ни функции-значения, ни параметрические типы, пока их не
+// понимает `flang/self/parser.flang`. Корпус сверки самоприменения собирается
+// по маске каталога, поэтому первый же такой файл здесь ломает неподвижную
+// точку. Это не осторожность: тот же модуль, положенный в flang/stdlib,
+// роняет пять тестов — три в self-bootstrap и два в self-parser, с
+// диагностикой flang₁ «FLANG_PARSE: не разобрана конструкция: ожидался тип».
+// Полиморфизм заплатил за это тремя упавшими тестами (flang/cat/POLY.md).
+//
+// Готовая библиотека на функциях-значениях уже написана и проверена целиком —
+// 36 функций, все тотальные, 55 примеров, печать во все восемь целей, сверка с
+// интерпретатором на 179 точках, — и лежит там, где корпус её не видит:
+// flang/test/stdlib-hof.test.mjs. Туда же вынесена улика, которая покраснеет,
+// когда `self/` научится, и потребует перенести модуль сюда.
+//
+// Пока этого нет: «Сортировать» для строк — отдельная функция с отдельным
+// телом, а «Все не меньше» и «Любой не меньше» — отдельные функции под
+// отдельный предикат. Здесь взят самый частый случай — список числа; для
+// списка строки те же приёмы повторяются дословно.
 //
 // Приписать элемент в начало списка встроенной формой нельзя: «добавить … к …»
 // дописывает в конец. Поэтому «Приписать в начало» — первая функция модуля:
@@ -171,9 +192,12 @@
     ожидается нет
   элементы содержит значение
 
-// «все» и «любой» в языке без функций высшего порядка приходится писать
-// отдельно под каждый предикат: передать предикат некому. Здесь взят самый
-// частый — сравнение с порогом.
+// «все» и «любой» здесь написаны под ОДИН предикат — сравнение с порогом.
+// Причина не в языке: передать предикат теперь есть чем («Все» и «Любой»,
+// принимающие `функция из числа в признак`, написаны и проверены в
+// flang/test/stdlib-hof.test.mjs, и там же сверено, что они дают ровно то же,
+// что эти две). Причина в границе, названной в шапке модуля: файл входит в
+// корпус сверки самоприменения, а `self/parser.flang` этой формы не знает.
 тотальная функция «Все не меньше»
   принимает элементы: список числа, порог: число
   возвращает признак

flang/stdlib/optional.flang

@@ -9,10 +9,20 @@
 //
 // Два обстоятельства видны прямо в коде модуля.
 //
-// 1. Типы не параметрические: «Есть» с полем любого типа записать нельзя,
-//    поэтому здесь именно «Число или ничто». Для строк пришлось бы завести
-//    второй тип с другими именами вариантов — имена вариантов обязаны быть
-//    уникальны в модуле (types.mjs).
+// 1. Здесь стояло: «типы не параметрические, «Есть» с полем любого типа
+//    записать нельзя». Про ЯЗЫК это больше не правда — проверено запуском:
+//    `тип «Возможно» от «А»` разбирается, проходит типы и обслуживает разом
+//    `«Возможно» от числа` и `«Возможно» от строки`, одной суммой вместо двух
+//    (flang/cat/POLY.md, фаза 1 сделана).
+//
+//    Правда про РЕПОЗИТОРИЙ, и она уже: этот файл входит в корпус сверки
+//    самоприменения, а `flang/self/parser.flang` параметрических типов не
+//    разбирает — первый же такой файл здесь роняет неподвижную точку, чем
+//    полиморфизм уже заплатил три упавших теста. Поэтому тип остаётся
+//    непараметрическим — «Число или ничто», — и для строк пришлось бы завести
+//    второй с другими именами вариантов: имена вариантов обязаны быть
+//    уникальны в модуле (types.mjs). Схлопнется это в одну сумму сразу, как
+//    только `self/` научится (POLY.md, фаза 5).
 //
 // 2. Здесь было записано, что у функций с вариантом примеров быть не может:
 //    будто parseLiteralValue сворачивает конструктор в запись и теряет имя