"Introducing Lambda Calculus with Python" - Indranil Ghosh (PyConline AU 2020)

YouTube Excerpt: Indranil Ghosh https://2020.pycon.org.au/program/AL8WB3 We will be focusing on untyped lambda calculus and start by the simple definition of a function, that can be implemented with Python lambda. We will then discuss the concepts of **abstraction** and **application** in lambda calculus and then move on to understand what a **substitution** is and how can these be implemented in Python. We will finally study some combinators which are the basic building blocks of combinatory logic, before ending with encoding datatypes in lambda calculus and implementing the same with Python lambda. Datatypes we will be discussing are: 1. Boolean values like TRUE and FALSE 2. Logical operators like AND, OR and NOT 3. Church Numerals 4. Predicates 5. Recursions Produced by NDV: https://youtube.com/channel/UCQ7dFBzZGlBvtU2hCecsBBg?sub_confirmation=1 Python, PyCon, PyConAU, PyConline Sat Sep 5 14:40:00 2020 at Python 2

Indranil Ghosh https://2020.pycon.org.au/program/AL8WB3 We will be focusing on untyped lambda calculus and start by the simple definition of a...

Read Full Article 🔍

Curious about "Introducing Lambda Calculus With Python" - Indranil Ghosh (PyConline AU 2020)'s Color? Explore detailed estimates, salary breakdowns, and financial insights that reveal the true scope of their profile.

Source ID: _Ob5YOJRQoA

Category: color style guide