Тема: тотальность

Статья

Тотальность: как доказывается завершение

Разбор анализа структурного убывания: происхождение значений, единая убывающая позиция в цикле вызовов, контрпример, объясняющий это требование, — и честный список того, …

#flang#тотальность#завершаемость

Статья

Два класса программ: тотальная и обычная

Главное архитектурное решение flang: вместо выбора между полнотой по Тьюрингу и гарантией завершения язык делит программы на два класса, и класс проверяет компилятор, а …

#flang#тотальность#теория вычислимости

Статья

flang: язык, которому сутки

Вводная статья трека: что такое flang, откуда он вырос из FTS, зачем языку два класса программ — и почему всё написанное здесь зафиксировано на конкретный коммит, а не на …

#flang#fts#языки программирования