Естественная семантика языка Fpl. Способы передачи параметров. Передача параметров по имени. | MetodPro.ru

Реклама на сайте

Естественная семантика языка Fpl. Способы передачи параметров. Передача параметров по имени.


Естественная семантика языка Fpl
Все правила аналогичны правилам языка Ехр4, добавлено только одно новое правило:
Правило FunR:
         D, p|- ei   =>A   vi,  i Э  [1;k]                       D, p [x1/v1, … xk/vk]|- e   =>A   v
-----------------------------------------------------------------------------------------------------      [F(x1…xk) <= e є D]
                                           D,p|-F(e1…ek)   =>A   v

Способы передачи параметров
По правилу FunR для вычисления F(e1,…ek) сначала нужно вычислить параметры e1,…ek, а потом тело функции из определения F в окружении, в которое добавлены связи формальных параметров с действительными. Это передача параметров по значению (call by value).
Но можно передавать параметры не вычисляя, просто подставляя выражения в тело функции. Это передача параметров по имени (call by name).
Передача параметров по значению используется в строгих функциональных языках, а передача параметров по имени – в ленивых.
Передача параметров по имени
Правило FunRle:
D, p |- e[x1/e1, … xk/ek]   =>A   v
------------------------------------------------      [F(x1…xk) <= e є D]
 D,p|-F(e1…ek)   =>A   v



Методические пособия

  • Системы автоматизированного проектирования
  • Социология молодёжи
  • Общая социология
  • Криптография
  • Проектирование трансляторов
  • Компьютерная графика
  • Моделирование систем
  • Информационная безопасность
  • Теория вычислительных процессов
  • Логические основы искусственного интелекта
  • Проектирование распределённых информационных систем