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