λ | Клуб функционального программирования

Discussion: Brief introduction in category theory and lambda calculus
Author: Vladimir Matveev (https://www.meetup.com/SaratovOpenIt/members/138203692/)
Agenda:
Basic concepts of category theory and its relationship with functional programming
• Categories - objects and morphisms
• Functors and their natural transformations
• Monads
Basic concepts of lambda calculus and its relationship with functional programming
• Basic untyped lambda calculus
• Typed lambda calculus, lambda-cube
• Dependent types