Основы функционального программирования/Трансформация программ: различия между версиями
Содержимое удалено Содержимое добавлено
м Шаблон со списком лекций |
мНет описания правки |
||
Строка 1:
__TOC__
{{ОФП Содержание}}
Под программой P на некотором языке L понимается некоторый текст на L. В случае функционального языка под программой понимается набор клозов. Семантика же языка L определяется, если задан интерпретатор этого языка. Интерпретатор определяется формулой:
| |||