Версия 0.4.5: оболочка наконец доезжает до brew, плюс ввод-вывод и BEAM

Про оболочку — исправление моей ошибки. Я сказал, что после brew install язык
можно потрогать, и проверял это на бинарнике, собранном локально из main.
В опубликованном v0.4.4 файла flang_repl.c нет: он лёг после тега. То есть
поставивший через brew получал компилятор без оболочки, а я утверждал обратное.
Проверено теперь на архиве из чистой распаковки: собирается без Node, отвечает
диагностикой с местом ввода.

Что ещё вошло за сутки:

  • ввод-вывод — язык читает файл и ходит в сеть, не перестав быть чистым:
    поручение это ЗНАЧЕНИЕ, исполняет хозяин. Программа, ходящая в сеть,
    доказана тотальной целиком, а её примеры проверяются без единого эффекта;
  • процессы поехали на настоящей BEAM — GenServer на процесс, дерево
    супервизоров OTP на надзор, сверка по набору исходов из 1000 семян;
  • параметрический полиморфизм, фаза 1 — и печать его не стоит ничего, все
    восемь бэкендов типы уже стирали;
  • изоморфизм и бифунктор; моноид и группа; функтор с тремя доказуемыми
    законами;
  • ЛЕКСЕР САМОПРИМЕНЕНИЯ СТАЛ ТОТАЛЬНЫМ ЦЕЛИКОМ — 84 из 84, долгов не
    осталось ни одного. Печать в C 223 из 326, парсер 188 из 374;
  • обрезка пробелов в stdlib стала тотальной — 18 из 19;
  • языковой сервер flang-lsp, справочник конструкций на портале.

Проверено: 1651 тест языка, ноль падений, неподвижная точка сошлась — семь
файлов побайтово у эталона, flang₁ и flang₂.

Author: Marat Zimnurov

package.json

@@ -1,6 +1,6 @@
 {
   "name": "@digitable-lol/fts",
-  "version": "0.4.4",
+  "version": "0.4.5",
   "description": "flang: a checkable language with total and ordinary functions, emitted to C, Go, Rust, Python, Java, C#, Elixir and JavaScript, over the FTS executable-specification surface.",
   "type": "module",
   "license": "BSD-2-Clause",

packaging/homebrew/flang.rb

@@ -17,13 +17,13 @@
 class Flang < Formula
   desc "Проверяемый язык: исполняемая спецификация, печатается в восемь языков"
   homepage "https://github.com/digitable-lol/flang"
-  url "https://github.com/digitable-lol/flang/releases/download/v0.4.4/flang-0.4.4-c.tar.gz"
+  url "https://github.com/digitable-lol/flang/releases/download/v0.4.5/flang-0.4.5-c.tar.gz"
   # Хеш архива, собранного `node scripts/build-release-c.mjs` и упакованного
   # `tar -czf`. Пересчитывается при каждом релизе: brew сверяет его сам, и
   # расхождение остановит установку до распаковки.
-  sha256 "daedae2d377c7bba0f9110eedb780d86d629b922e017514430d6efd46ff846b1"
+  sha256 "146085565ec2c1d450ab2d0384c7e3b0e81e93fcd9b463dca29b530276f17a20"
   license "BSD-2-Clause"
-  version "0.4.4"
+  version "0.4.5"
 
   # Ни Node, ни каких-либо ещё зависимостей: в архиве C99 и Makefile.
   depends_on "make" => :build