Ламповый канал про фронтенд и не только. Всё самое полезное для опытных web-разработчиков
Обсуждение постов @defrontchat
Также советую канал @webnya
Post #455
3.18K
Вилл Тейлор опубликовал статью про основные понятия лямбда-исчисления на примере JavaScript — "An introduction to Lambda Calculus, explained through JavaScript".
Лямбда-исчисление — это вычислительная модель, в основе которой лежат чистые функции. В статье на примерах показывается, что в ней нет ничего сложного — основные принципы счисления умещаются в несколько правил. Составные части лямбда-исчисления — переменная, абстракция, аппликация. Для вычислений используется β-редукция — по сути поэтапная замена переменных в функции конкретными значениями. В статье ещё рассказывается про каррирование, связанные и свободные переменные, α-эквивалентность, ассоциативность и приоритет.
Статья не сложная. Если интересуетесь функциональным программированием, очень рекомендую почитать.
#js #math #fp
http://willtaylor.blog/an-introduction-to-lambda-calculus-explained-through-javascript/
www.willtaylor.blog An introduction to Lambda Calculus, explained through JavaScript I have recently become very interested in functional programming - using pure functional languages such as Haskell, as well as functional programming in JavaScript. One of the main areas of study that is often cited as significant for functional programmers… Лямбда-исчисление — это вычислительная модель, в основе которой лежат чистые функции. В статье на примерах показывается, что в ней нет ничего сложного — основные принципы счисления умещаются в несколько правил. Составные части лямбда-исчисления — переменная, абстракция, аппликация. Для вычислений используется β-редукция — по сути поэтапная замена переменных в функции конкретными значениями. В статье ещё рассказывается про каррирование, связанные и свободные переменные, α-эквивалентность, ассоциативность и приоритет.
Статья не сложная. Если интересуетесь функциональным программированием, очень рекомендую почитать.
#js #math #fp
http://willtaylor.blog/an-introduction-to-lambda-calculus-explained-through-javascript/