Лямбда-исчисление и теория типов (обзорная лекция)
Основы лямбда-исчисления, часть 1
Время от времени я делаю попытки штурмовать функциональное программирование. Не то что бы оно мне нужно, но меня больше интересует, почему я не могу его понять. Что там, в голове, этому мешает? Если долго биться лбом о стену, то на лбу вырастет мозоль. Но и стена в какой-то момент даст маленькую трещину. Кажется, этот момент настал. Я подходил к вопросу немного не с той стороны. Потому что в основе ФП лежит И смысл его очень прост. Ля́мбда-исчисле́ние (λ-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем для формализации и анализа понятия вычислимости...
Лямбда-функция — странное название, но важная роль в Python
Когда я начал изучать Python, одной из первых загадок стали лямбда-функции. Синтаксис вроде простой, а вот название — неожиданное. Почему именно "лямбда"? Почему не просто "анонимная функция" или "короткая функция"? Ответ оказался не только интересным, но и по-своему философским — с математикой, богослужением и элегантной логикой в придачу. В этой статье разберёмся, что такое лямбда-функции в Python, зачем они нужны и почему носят такое необычное имя. Когда вы впервые встречаете лямбда-функцию в...