Media Summary: The basis of almost all functional programming, Professor Graham Hutton explains Just what is functional programming? We asked a member of the team that created Haskell: John Hughes, Professor of Computer ... Monads sound scary, but Professor Graham Hutton breaks down how handy they can be.

Lambda Calculus Computerphile - Detailed Analysis & Overview

The basis of almost all functional programming, Professor Graham Hutton explains Just what is functional programming? We asked a member of the team that created Haskell: John Hughes, Professor of Computer ... Monads sound scary, but Professor Graham Hutton breaks down how handy they can be. Graphical notation invented by John Tromp ( Code at ... Haskell is a purely functional programming language based on Ada Lovelace became known as the world's first computer programmer - Professor Brailsford on how being poet Byron's daughter ...

Discussing the philosophical ideas behind AI Sentience, with Professor Mark Jago, Professor of Philosophy at University of ... Why can't floating point do money? It's a brilliant solution for speed of calculations in the computer, but how and why does moving ... Could a computer program find Fermat's Lost Theorem? Professor Altenkirch shows us how to get started with lean. EXTRA BITS ... It's all about the input. You can't always give all a function's inputs at the same time. Professor Graham Hutton explains about ... Functional Programming is often considered the stuffy tool of academics, but can it be used for creative and entertainment ...

Photo Gallery

Lambda Calculus - Computerphile
Essentials: Functional Programming's Y Combinator - Computerphile
Programming with Math | The Lambda Calculus
Functional Programming & Haskell - Computerphile
What is a Monad? - Computerphile
Seven times Eight in Lambda Calculus
Haskell in 100 Seconds
Computer Science's Wonder Woman: Ada Lovelace - Computerphile
LaMDA Logic - Computerphile
Floating Point Numbers - Computerphile
Automated Mathematical Proofs - Computerphile
Curried Functions - Computerphile
View Detailed Profile
Lambda Calculus - Computerphile

Lambda Calculus - Computerphile

The basis of almost all functional programming, Professor Graham Hutton explains

Essentials: Functional Programming's Y Combinator - Computerphile

Essentials: Functional Programming's Y Combinator - Computerphile

Encoding recursion in the

Programming with Math | The Lambda Calculus

Programming with Math | The Lambda Calculus

The

Functional Programming & Haskell - Computerphile

Functional Programming & Haskell - Computerphile

Just what is functional programming? We asked a member of the team that created Haskell: John Hughes, Professor of Computer ...

What is a Monad? - Computerphile

What is a Monad? - Computerphile

Monads sound scary, but Professor Graham Hutton breaks down how handy they can be.

Seven times Eight in Lambda Calculus

Seven times Eight in Lambda Calculus

Graphical notation invented by John Tromp (https://tromp.github.io/cl/diagrams.html). Code at ...

Haskell in 100 Seconds

Haskell in 100 Seconds

Haskell is a purely functional programming language based on

Computer Science's Wonder Woman: Ada Lovelace - Computerphile

Computer Science's Wonder Woman: Ada Lovelace - Computerphile

Ada Lovelace became known as the world's first computer programmer - Professor Brailsford on how being poet Byron's daughter ...

LaMDA Logic - Computerphile

LaMDA Logic - Computerphile

Discussing the philosophical ideas behind AI Sentience, with Professor Mark Jago, Professor of Philosophy at University of ...

Floating Point Numbers - Computerphile

Floating Point Numbers - Computerphile

Why can't floating point do money? It's a brilliant solution for speed of calculations in the computer, but how and why does moving ...

Automated Mathematical Proofs - Computerphile

Automated Mathematical Proofs - Computerphile

Could a computer program find Fermat's Lost Theorem? Professor Altenkirch shows us how to get started with lean. EXTRA BITS ...

Curried Functions - Computerphile

Curried Functions - Computerphile

It's all about the input. You can't always give all a function's inputs at the same time. Professor Graham Hutton explains about ...

Funky Music from Functional Programming - Computerphile

Funky Music from Functional Programming - Computerphile

Functional Programming is often considered the stuffy tool of academics, but can it be used for creative and entertainment ...