Редактирование: Haskell, 02 лекция (от 05 октября)
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 1: | Строка 1: | ||
- | * '''Презентация:''' [[Media:ТФП -- Лекция 2.pdf]] | ||
* '''Аудиозапись:''' http://esyr.org/lections/audio/haskell_2010_winter/haskell_10_10_05.ogg | * '''Аудиозапись:''' http://esyr.org/lections/audio/haskell_2010_winter/haskell_10_10_05.ogg | ||
* '''Видеозапись:''' http://esyr.org/video/haskell/haskell_10_10_05.raw.ogv | * '''Видеозапись:''' http://esyr.org/video/haskell/haskell_10_10_05.raw.ogv | ||
Строка 62: | Строка 61: | ||
Определим 0 как FALSE для удобства. | Определим 0 как FALSE для удобства. | ||
- | 0 = FALSE = λ | + | 0 = FALSE = λx.x |
1 = λfx.fx | 1 = λfx.fx | ||
2 = λfx.f(fx) | 2 = λfx.f(fx) | ||
Строка 71: | Строка 70: | ||
add = λmnfx.mf(nfx) | add = λmnfx.mf(nfx) | ||
succ=λnfx.f(nfx) | succ=λnfx.f(nfx) | ||
- | mlt=λ | + | mlt=λmnfm(nf) |
exp=λmn.nm | exp=λmn.nm | ||
легко проверить, что | легко проверить, что |