Lambda (λ) Calculus Primer

Подписаться 1,8 тыс.

Просмотров 7 тыс.

50% 1

A primer on the lambda calculus with the aim of giving a basic understanding of the theoretical underpinnings of functional programming.
Contents:
1. What is the lambda calculus?
2. Defining a function as a lambda abstraction
3. The simple untyped lambda calculus
4. Evaluation rules
5. Normal form and reduction orders
-------------------------------------------------------
This video is part of the Introduction to Functional Programming with Haskell video course ( • Intro to Functional Pr... ).
Code shown in the course is available on Github here: github.com/LigerLearn/intro-t...

Опубликовано:

4 сен 2023

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист

Посмотреть позже

Комментарии : 18

@andrewapte9981 Месяц назад

Thanks for this, explains it very well

@valentinussofa4135 3 месяца назад

I love how you explain about Beta-reduction very clear. Thank you so much. By the way I love Haskell. So I subscribed this channel and I hope I can learn more about Haskell through this channel. 🙏

@neilclay5835 2 месяца назад

Incredible tutorial.

@axelolafsson7312 Месяц назад

This video is great! Appreciate it a lot

@gustavocruz988 5 месяцев назад

Great video !

@academyofuselessideas 6 месяцев назад

Thanks for the video... Although the use of parenthesis helps to clarify things, it confuses me a little since there are no rule BNF rule for use of parenthesis in 6:24

@matlabysimulinkparamodelad7107 6 месяцев назад

Cristal clear introduction to Lambda Calculus

@tanchienhao 8 месяцев назад

Nice video

@programvydas5379 8 месяцев назад

Very well explained, thank you

@doctorbobstone 6 месяцев назад

The content was well done, but I have some feedback on how the video was edited. I may be more photosensitive than the average person, but around 3:35, and for most of the rest of the video, when you were highlighting stuff the end effect of how you did it was to flash almost the entire screen several times per minute from light to dark and back. Some of the latter transitions started doing a fade, which helped, but the rapid flashing of the whole screen like that made the video hard to watch.