Статья
Два класса программ: тотальная и обычная
Главное архитектурное решение flang: вместо выбора между полнотой по Тьюрингу и гарантией завершения язык делит программы на два класса, и класс проверяет компилятор, а …
База знаний
Тема: теория вычислимости
2 материалов в этой теме.
Материалы
2 на странице
Статья
Математика для программиста: карта трека и зачем она нужна на практике
Обзорная карта трека: какие разделы математики реально окупаются в инженерной работе, в каком порядке их брать и как каждый из них проявляется в типах, БД, распределённых …
По этому запросу ничего не найдено.