A Flock of Functions: Lambda Calculus and Combinatory Logic in JavaScript | Gabriel Lebec @ DevTalks

preview_player
Показать описание
The Lambda Calculus is a tiny symbol manipulation system which suffices to compute anything Turing-computable. Thanks to this expressive power, LC is woven into the DNA of functional programming languages. In this talk, the surprises and delights of LC and related formalisms are demonstrated through the familiar lens of JavaScript.

Gabriel's slides:

Gist of the Q&A part:

See part II of Gabriel's talk at:

---

Follow us on Twitter:
@smartlyio_devs
  1. SmartlyIO Engineering
  2. lambda
  3. javascript
  4. functional
  5. fp
  6. DevTalks
Рекомендации по теме
A Flock of 0:54:17

A Flock of Functions: Lambda Calculus and Combinatory Logic in JavaScript | Gabriel Lebec @ DevTalks

A Flock of 0:41:33

A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS - Part II

Programming with Math 0:21:48

Programming with Math | The Lambda Calculus

FrontSide - A 1:11:24

FrontSide - A Flock of Functions: Lambda Calculus in JavaScript

Lambda Calculus - 1:02:15

Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript

Why functions are 0:03:59

Why functions are turing complete (Lambda Calculus)

Are Python’s Lambda 0:00:46

Are Python’s Lambda Functions Flawed

Essentials: Functional Programming's 0:13:26

Essentials: Functional Programming's Y Combinator - Computerphile

Learn Python in 10:34:41

Learn Python in 10 hours session 318

Excel LAMBDA - 0:16:02

Excel LAMBDA - HOW & WHEN you Should use it

Lambda Expressions & 0:06:07

Lambda Expressions & Anonymous Functions || Python Tutorial || Learn Python Programming

Lambda Functions 0:00:26

Lambda Functions

How to create 0:03:01

How to create a LAMBDA function using the IFS function. Fully detailed and explained.

AWS Lambda Tutorial 0:09:22

AWS Lambda Tutorial

AWS Lambda logging 0:03:15

AWS Lambda logging | AWS Lambda Fundamentals

Lambda Calculus: The 0:15:43

Lambda Calculus: The foundation of functional programming, and the simplest programming language

Keynote: Excel meets 0:50:38

Keynote: Excel meets Lambda - Andy Gordon, Simon Peyton Jones | Lambda Days 2021

The Lambda Calculus 0:48:27

The Lambda Calculus for Fun and Factorials

Lambdas in C++ 0:11:54

Lambdas in C++

Let's Play Finxter 0:03:15

Let's Play Finxter - The Lambda Function in Python

What is Lambda 0:08:52

What is Lambda Calculus and why?

AWS Lambda | 0:00:16

AWS Lambda | What is the maximum timeout value for an AWS Lambda function?

what is lambda 0:00:14

what is lambda function? by Prashant Jha sir I #python #lambda_function #mock_interview #coding

Recursive AWS Lambda 0:13:36

Recursive AWS Lambda Functions in Node.js JavaScript

Комментарии
Автор

Interobang spotted!! Nice talk, it made a lot of things clearer, thank you.

DevineLuLinvega
Автор

There is something incredibly daoist about boolean logic and equality expressed as combinators

neilbedwell
Автор

Once thought an idiot bird, later was found to be fond of all other birds and itself. 🥰

helloimwill
Автор

Great talk! I'd probably put Cantor and Gentzen on that historical slide, too (and note that Russell's paradox was noticed by Frege).

DumblyDorr
Автор

Can someone please explain to me λf.ff. In particular the ff after the period. Can this be reduced and if so, how? I don't understand how to understand this 😸

(λf.ff)λa.a = (λa.a)λa.a .. i get it but i don't get it.

Ancipital_
Автор

Google changes people. Hmm or maybe its just age.😶

caosed
Автор

Confusing. Too quick and without order design.

LaureanoLuna
welcome to shbcf.ru