Презентация Fpl – functional programming language онлайн

На нашем сайте вы можете скачать и просмотреть онлайн доклад-презентацию на тему Fpl – functional programming language абсолютно бесплатно. Урок-презентация на эту тему содержит всего 16 слайдов. Все материалы созданы в программе PowerPoint и имеют формат ppt или же pptx. Материалы и темы для презентаций взяты из открытых источников и загружены их авторами, за качество и достоверность информации в них администрация сайта не отвечает, все права принадлежат их создателям. Если вы нашли то, что искали, отблагодарите авторов - поделитесь ссылкой в социальных сетях, а наш сайт добавьте в закладки.

Презентации » Устройства и комплектующие » Fpl – functional programming language

Просмотр ВСЕЙ презентации! ЖМИТЕ

Оцените презентацию от 1 до 5 баллов!

Смотреть онлайн
Скачать

Тип файла:

ppt / pptx (powerpoint)
Всего слайдов:

16 слайдов
Для класса:

1,2,3,4,5,6,7,8,9,10,11
Размер файла:

307.50 kB
Просмотров:

47
Скачиваний:

0
Автор:

неизвестен

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

№1 слайд

Содержание слайда: Fpl – functional programming language Дополним язык Exp4 возможностью декларирования взаимно-рекурсивных функций вида: f1(x1,…xk1) <= e1 … fn(x1,…xkn) <= en Это список определений функций: fi – имя функции, ei – её тело, а (x1,…xki) – список параметров. Новый язык будем называть Fpl .

№2 слайд

№3 слайд

Содержание слайда: Ограничение В каждой программе <e,D> должны выполняться условия: Каждое имя функции, встречающееся в 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 позволяют определить результат программы <e,D>. ρ├ <e,D>  v если D, ρ├ e A v

№7 слайд

Содержание слайда: Естественная семантика языка Fpl Правило FunR

№8 слайд

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

№9 слайд

Содержание слайда: Передача параметров по имени

№10 слайд

Содержание слайда: Теоремы Для языка Fpl нельзя доказать теорему, что для каждого выражения e Fpl можно найти результат, поскольку если f(x) <= f(x+1)  D , то выражение, содержащее вызов f будет вычисляться бесконечно. Теорема об уникальности результата справедлива. Для каждого выражения e Fpl, окружения  и программы p=<e,D>, из ρ├ p  n и ρ├ p  n’ следует, что n=n’. В доказательстве метод структурной индукции неприменим. Нужно использовать метод индукции по дереву вывода.

№11 слайд