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

Статья

Факт-чекинг: право ответить «не могу проверить»

Единственная прикладная поверхность языка, разобранная целиком: три входа режима, узкая грамматика утверждений и почему она узкая, три исхода вместо двух, след как …

#flang#факт-чекинг#тотальность

Статья

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

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

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

Статья

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

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

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

Статья

flang: язык, в котором программа обязана доказать, что остановится

Что такое flang: два класса программ вместо одного, доказательство завершения на этапе сборки, примеры и постусловия внутри самой функции, печать готового кода в восемь …

#flang#языки программирования#тотальность