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