Каковы основные формализации ленивых вычислений?
Что из перечисленного является синонимом "ленивых" вычислений?
Каковы возможные способы реализации "ленивых" вычислений?
Какой комбинатор используется для формализации рекурсии?
Для чего используется механизм сопоставления с образцом?
Каковы основные стратегии вычислений?
Что представляет собой среда вычислений при кодировании по де Брейну?
В какой последовательности строится теория вычислений Д. Скотта?
Каков наиболее полный перечень синтаксических категорий языка SML?
Сколько видов конструкторов доменов в теории вычислений Д. Скотта?
