История изменений

Лямбда-исчисление - это формальная логическая система, на которой по сути основано современное программирование (не всё и не всегда, но все популярные «молодые» языки умеют в лямбды и ФП)

Аксиомы:

1. Существуют некоторые переменные (лямбда-исчисление не уточняет, что это за переменные, какой смысл они несут и т.д.)
2. Существует конструкция, обычно называемая «лямбда-функцией», которая позволяет взять одно выражение и получить из него функцию, в которой каждое вхождение некоторой переменной заменено аргументом этой функции
3. Существует аппликация, т.е. применение функции к переменным.
4. Каждое выражение состоит из переменных, лямбд и аппликаций.

При использовании математических понятий для переменных, лямбда-исчисление полно по Тьюрингу (т.е. Выражением можно описать любой алгоритм, если упрощённо)

Лямбда-исчисление - это формальная логическая система, на которой по сути основано современное программирование (не всё и не всегда, но все популярные «молодые» языки умеют в лямбды и ФП)

Оно основывается на трёх идеях.

1. Существуют некоторые переменные (лямбда-исчисление не уточняет, что это за переменные, какой смысл они несут и т.д.)
2. Существует конструкция, обычно называемая «лямбда-функцией», которая позволяет взять одно выражение и получить из него функцию, в которой каждое вхождение некоторой переменной заменено аргументом этой функции
3. Существует аппликация, т.е. применение функции к переменным.
4. Каждое выражение состоит из переменных, лямбд и аппликаций.

При использовании математических понятий для переменных, лямбда-исчисление полно по Тьюрингу (т.е. Выражением можно описать любой алгоритм, если упрощённо)

Лямбда-исчисление - это формальная логическая система, на которой по сути основано современное программирование (не всё и не всегда, но все популярные «молодые» языки умеют в лямбды и ФП)

Оно основывается на трёх идеях.

1. Существуют некоторые переменные (лямбда-исчисление не уточняет, что это за переменные, какой смысл они несут и т.д.)
2. Существует конструкция, обычно называемая «лямбда-функцией», которая позволяет взять одно выражение и получить из него функцию, в которой все вхождения некоторых переменных заменены аргументами этой функции
3. Существует аппликация, т.е. применение функции к переменным.
4. Каждое выражение состоит из переменных, лямбд и аппликаций.

При использовании математических понятий для переменных, лямбда-исчисление полно по Тьюрингу (т.е. Выражением можно описать любой алгоритм, если упрощённо)

Лямбда-исчисление - это формальная логическая система, на которой по сути основано современное программирование (не всё и не всегда, но все популярные «молодые» языки умеют в лямбды и ФП)

Оно основывается на трёх идеях.

1. Существуют некоторые переменные (лямбда-исчисление не уточняет, что это за переменные, какой смысл они несут и т.д.)
2. Существует конструкция, обычно называемая «лямбда-функцией», которая позволяет взять одно выражение и получить из него функцию, в которой каждое вхождения некоторых переменных заменены аргументами этой функции
3. Существует аппликация, т.е. применение функции к переменным.
4. Каждое выражение состоит из переменных, лямбд и аппликаций.

При использовании математических понятий для переменных, лямбда-исчисление полно по Тьюрингу (т.е. Выражением можно описать любой алгоритм, если упрощённо)