Skip to content

Instantly share code, notes, and snippets.

@dyrkow

dyrkow/FunctionalProgramming

Last active March 3, 2020 18:48
Show Gist options
  • Save dyrkow/db40c563857a532137de748041cd61d2 to your computer and use it in GitHub Desktop.
Save dyrkow/db40c563857a532137de748041cd61d2 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
FunctionalProgramming
# Функциональщина
## lambda исчисления
Аппликация - применение функции к определеннному значениию, обозначается ƒ a где ƒ - функция а - значение (ƒ - трактуется как алгоритм производящий работу с входным значением а)
В λ-исчислении любой программный код является термом
λ - определение функции
выражение λx.N - говорит о том, что мы обьявили функцию с аргументом x и телом функции N
выражение λx.x - говорит о том, что была обьявлена функция с аргументом x которая сразу же возвращает этот аргумент
(λx.(λy.x)) - константная функция, они описывает создание функции принимающей один аргумент и возвращающая новую функцию которая принимает аргумент y и возврващет x
композиция - это функция принимает две функции одного аргумента и направляет выход второй функции на вход первой
она может быть описана вот так
(λf.(λg.(λx.(f(gx)))))
f и g - функции которые учавствуют в композиции
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment