<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
  <channel>
    <title>тотальность on Digitable courses</title>
    <link>https://courses.digitable.life/tags/%D1%82%D0%BE%D1%82%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE%D1%81%D1%82%D1%8C/</link>
    <description>Recent content in тотальность on Digitable courses</description>
    <generator>Hugo -- gohugo.io</generator>
    <language>ru-RU</language>
    <lastBuildDate>Mon, 03 Aug 2026 21:00:00 +0300</lastBuildDate><atom:link href="https://courses.digitable.life/tags/%D1%82%D0%BE%D1%82%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE%D1%81%D1%82%D1%8C/index.xml" rel="self" type="application/rss+xml" />
    <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/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: язык, которому сутки</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>
