<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
  <channel>
    <title>flang on Digitable courses</title>
    <link>https://courses.digitable.life/tags/flang/</link>
    <description>Recent content in flang on Digitable courses</description>
    <generator>Hugo -- gohugo.io</generator>
    <language>ru-RU</language>
    <lastBuildDate>Tue, 04 Aug 2026 00:00:00 +0300</lastBuildDate><atom:link href="https://courses.digitable.life/tags/flang/index.xml" rel="self" type="application/rss+xml" />
    <item>
      <title>Как читать репозиторий и как участвовать</title>
      <link>https://courses.digitable.life/post/flang/12-contributing/</link>
      <pubDate>Tue, 04 Aug 2026 00:00:00 +0300</pubDate>
      
      <guid>https://courses.digitable.life/post/flang/12-contributing/</guid>
      <description>Маршрут чтения по каталогу flang, запуск тестов без сборки, что говорят AGENTS.md и CONTRIBUTING.md — и чего они не говорят, потому что написаны про FTS, а не про flang.</description>
    </item>
    
    <item>
      <title>Чего в языке пока нет: проверенный список</title>
      <link>https://courses.digitable.life/post/flang/11-limits/</link>
      <pubDate>Mon, 03 Aug 2026 23:30:00 +0300</pubDate>
      
      <guid>https://courses.digitable.life/post/flang/11-limits/</guid>
      <description>Репозиторий ведёт собственный список недостающего, но часть пунктов уже устарела. Перепроверяем каждый запуском: что действительно отсутствует, что успели починить и чего нет вокруг языка.</description>
    </item>
    
    <item>
      <title>Ядро FTS, переписанное на flang</title>
      <link>https://courses.digitable.life/post/flang/10-selfhosting/</link>
      <pubDate>Mon, 03 Aug 2026 23:00:00 +0300</pubDate>
      
      <guid>https://courses.digitable.life/post/flang/10-selfhosting/</guid>
      <description>Самая амбициозная часть репозитория: лексер, парсер, вычислитель и печать JSON для FTS, написанные на самом flang — 300 функций, все тотальные, 56 моделей из 56 побайтово, и критерий готовности, который стоит перенять.</description>
    </item>
    
    <item>
      <title>Кодогенерация: печать в C, Go, JavaScript, Rust и Python</title>
      <link>https://courses.digitable.life/post/flang/09-codegen/</link>
      <pubDate>Mon, 03 Aug 2026 22:30:00 +0300</pubDate>
      
      <guid>https://courses.digitable.life/post/flang/09-codegen/</guid>
      <description>Пять бэкендов, общее требование совпадения с интерпретатором и практические прогоны: одна программа напечатана в C, Rust и Python, собрана и запущена — с тем же ответом, что даёт интерпретатор.</description>
    </item>
    
    <item>
      <title>Интерпретатор: явный стек, лимиты, хвостовые вызовы</title>
      <link>https://courses.digitable.life/post/flang/08-interpreter/</link>
      <pubDate>Mon, 03 Aug 2026 22:00:00 +0300</pubDate>
      
      <guid>https://courses.digitable.life/post/flang/08-interpreter/</guid>
      <description>Почему вычислитель flang устроен как цикл над явным стеком кадров, а не как рекурсия по стеку JS, как это даёт предсказуемую диагностику вместо RangeError и что показывает лимит шагов на зацикленной программе.</description>
    </item>
    
    <item>
      <title>Стандартная библиотека и связывание модулей</title>
      <link>https://courses.digitable.life/post/flang/07-stdlib/</link>
      <pubDate>Mon, 03 Aug 2026 21:30:00 +0300</pubDate>
      
      <guid>https://courses.digitable.life/post/flang/07-stdlib/</guid>
      <description>Пять модулей stdlib, что в них есть и почему они устроены именно так; импорт как слияние объявлений, а не пространство имён, — и что из этого следует для конфликтов имён.</description>
    </item>
    
    <item>
      <title>Тотальность: как доказывается завершение</title>
      <link>https://courses.digitable.life/post/flang/06-totality/</link>
      <pubDate>Mon, 03 Aug 2026 21:00:00 +0300</pubDate>
      
      <guid>https://courses.digitable.life/post/flang/06-totality/</guid>
      <description>Разбор анализа структурного убывания: происхождение значений, единая убывающая позиция в цикле вызовов, контрпример, объясняющий это требование, — и честный список того, что анализ отвергает.</description>
    </item>
    
    <item>
      <title>Система типов и то, чего в ней нет</title>
      <link>https://courses.digitable.life/post/flang/05-types/</link>
      <pubDate>Mon, 03 Aug 2026 20:30:00 +0300</pubDate>
      
      <guid>https://courses.digitable.life/post/flang/05-types/</guid>
      <description>Двунаправленная проверка вместо Хиндли — Милнера, исчерпывающность разбора, и главное решение: функции не являются значениями первого класса — с объяснением, что за это куплено и чем заплачено.</description>
    </item>
    
    <item>
      <title>Синтаксис по факту: модули, функции, выражения, образцы</title>
      <link>https://courses.digitable.life/post/flang/04-syntax/</link>
      <pubDate>Mon, 03 Aug 2026 20:00:00 +0300</pubDate>
      
      <guid>https://courses.digitable.life/post/flang/04-syntax/</guid>
      <description>Разбор конструкций языка по файлам репозитория и по программам, которые мы прогнали через check и test. Отдельно — места, где спецификация показывает одно, а исходники другое.</description>
    </item>
    
    <item>
      <title>Инструмент: команды flang и контракт вывода</title>
      <link>https://courses.digitable.life/post/flang/03-cli/</link>
      <pubDate>Mon, 03 Aug 2026 19:30:00 +0300</pubDate>
      
      <guid>https://courses.digitable.life/post/flang/03-cli/</guid>
      <description>Шесть команд CLI, JSON-контракт вывода, что запускается без сборки, а что требует собранного ядра FTS — и почему обещанной в спецификации команды fmt на самом деле нет.</description>
    </item>
    
    <item>
      <title>Два класса программ: тотальная и обычная</title>
      <link>https://courses.digitable.life/post/flang/02-two-classes/</link>
      <pubDate>Mon, 03 Aug 2026 19:00:00 +0300</pubDate>
      
      <guid>https://courses.digitable.life/post/flang/02-two-classes/</guid>
      <description>Главное архитектурное решение flang: вместо выбора между полнотой по Тьюрингу и гарантией завершения язык делит программы на два класса, и класс проверяет компилятор, а не документация.</description>
    </item>
    
    <item>
      <title>flang и FTS: что унаследовано, что своё</title>
      <link>https://courses.digitable.life/post/flang/01-fts-relation/</link>
      <pubDate>Mon, 03 Aug 2026 18:30:00 +0300</pubDate>
      
      <guid>https://courses.digitable.life/post/flang/01-fts-relation/</guid>
      <description>Репозиторий называется flang, но внутри лежит FTS, а сам язык — в подкаталоге. Разбираем, где проходит граница, что означает обещание обратной совместимости и почему его пришлось сделать проверяемым тестом.</description>
    </item>
    
    <item>
      <title>flang: язык, которому сутки</title>
      <link>https://courses.digitable.life/post/flang/00-overview/</link>
      <pubDate>Mon, 03 Aug 2026 18:00:00 +0300</pubDate>
      
      <guid>https://courses.digitable.life/post/flang/00-overview/</guid>
      <description>Вводная статья трека: что такое flang, откуда он вырос из FTS, зачем языку два класса программ — и почему всё написанное здесь зафиксировано на конкретный коммит, а не на «язык вообще».</description>
    </item>
    
  </channel>
</rss>
