Fpl – functional programming language - презентация, доклад, проект скачать

Нажмите для полного просмотра!

Fpl – functional programming language, слайд №1

Fpl – functional programming language, слайд №2

Fpl – functional programming language, слайд №3

Fpl – functional programming language, слайд №4

Fpl – functional programming language, слайд №5

Fpl – functional programming language, слайд №6

Fpl – functional programming language, слайд №7

Fpl – functional programming language, слайд №8

Fpl – functional programming language, слайд №9

Fpl – functional programming language, слайд №10

Fpl – functional programming language, слайд №11

Fpl – functional programming language, слайд №12

Fpl – functional programming language, слайд №13

Fpl – functional programming language, слайд №14

Fpl – functional programming language, слайд №15

Fpl – functional programming language, слайд №16

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Fpl – functional programming language. Доклад-сообщение содержит 16 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

Fpl – functional programming language Дополним язык Exp4 возможностью декларирования взаимно-рекурсивных функций вида: f1(x1,…xk1)

Слайд 2

Описание слайда:

Абстрактный синтаксис языка Fpl Синтаксические категории p  Prog op  Op D  Dec bop  BOp е  Exp x  Var bе  BExp bx  BVar f  FunVar n  Num 2)Определения p ::= D ::= f(x1,…xk)

Слайд 3

Описание слайда:

Ограничение В каждой программе должны выполняться условия: Каждое имя функции, встречающееся в e должно иметь определение в D. Каждое имя функции может иметь только одно определение в D.

Слайд 4

Описание слайда:

Отношение A для языка Fpl Записывается D, ρ├ e A v , а читается так: «Если продекларировано D , то в окружении ρ выражение e даст арифметический результат v» Имеет тип: A : Dec  ENV  Exp  Num Декларации влияют и на вычисление булевых значений

Слайд 5

Описание слайда:

Отношение B для языка Fpl Декларации влияют и на вычисление булевых значений. Например, выражение Equal(f(e),g(e’)) – булево и использует функции f и g. Следовательно отношение B имеет тип: B : Dec  ENV  BExp  {T,F}

Слайд 6

Описание слайда:

Результат работы программы Отношения A и B позволяют определить результат программы . ρ├  v если D, ρ├ e A v

Слайд 7

Описание слайда:

Естественная семантика языка Fpl Правило FunR

Слайд 8

Описание слайда:

Способы передачи параметров По правилу FunR для вычисления f(e1,…ek) сначала нужно вычислить параметры e1,…ek, а потом тело функции из определения f в окружении, в которое добавлены связи формальных параметров с действительными. Это передача параметров по значению (call by value). Но можно передавать параметры не вычисляя, просто подставляя выражения в тело функции. Это передача параметров по имени (call by name). Передача параметров по значению используется в строгих функциональных языках, а передача параметров по имени – в ленивых.