Какая алгоритмическая модель лежит в основе функционального программирования?
В чем отличия фунционального программирования и императивного?
Какая модель вычислений служит формальной основой функционального программирования?
В динамических языках программирования:
Что такое операционная семантика языка программирования?
Что такое денотационная семантика языка программирования?
Что такое пропозициональная семантика языка программирования?
Какие языки программирования являются преимущественно функциональными?
Как определяются значения логического типа при формальном построении языка функционального программирования?
Какая рекурсия называется линейной?
