Лямбда исчисление и функциональное программирование. Часть 1 | Лекция
ฝัง
- เผยแพร่เมื่อ 4 ต.ค. 2024
- Лекция посвящена лямбда исчислению, изоморфизму Карри-Говарда и функциональному программированию.
Читал во Львове, по приглашению компании Intellias. Лекция "камерная", поэтому может содержать ненормативную лексику, некоторые неточности и strong opinions :)
Слайды - www.slideshare...
8:07 - та "бл**ь, не торопись" =))))
Побольше бы таких лекторов
Спасибо, я наконец то понял бета-редукцию.
Судя по комментаторам ссылка на это видео проскакивала где-то на Хекслете. :-)
Спасибо за материал.
в задаче о числах Черча она проскочила :)
Ништяк)
Спасибо)
Как будто после бодуна, поэтому в число машин я бы добавил движок Карла Бенца.
Не хватало только примеров на том же JS, мне кажется усваиваемость была бы в разы лучше
согласен, но имея общее представление о лямбде после этого видео, можно почитать тут - habr.com/ru/post/322052/
Ссылка на вторую часть th-cam.com/video/t2SaSHQhkdE/w-d-xo.html
А что с отрицательными числами?
Любые другие числа кодируются через натуральные. Например, как пара (a, b), где целое число k = a - b.
en.wikipedia.org/wiki/Church_encoding#Signed_numbers
cs.stackexchange.com/questions/2272/representing-negative-and-complex-numbers-using-lambda-calculus
я как ООПешник, говорю всё это ОБЪЕКТЫ 😂
Мне послышалось или он на 39:28 говорит - "если мы прои*енем два аргумента, то.." ?))
Применим. Если мы применим два аргумента :)
@@AlexanderNemish спасибо за лекцию 🙂
@@tou.f6016 Подписывайтесь, будет еще.
невозможно слушать, причмокивания и эти попивания из бутылочки х_х
Вот оно - отношения современных людей к получению ценных знаний "невозможно слушать, причмокивания и эти попивания из бутылочки х_х"...
Ломоносов, который приложил over дофигп усилий, что бы получать знания лещей бы тебе надовал за твое стонотство))
35:48 я вообще не понял, что он там показал: вместо вот этого - вот это, вместо этого - это. qavo?
бета редукция это же типа λx.x x == x
то есть из (λs.s s)(λs.s s) должно было получиться просто s s, ну вроде как оно и получилось, учитывая, что мы за s взяли селф-аплай функцию, но я чет не понял как он к этому пришел
на 33:34 еще. λs.s s - это вызов функции. а на жс он написал просто функцию без вызова s => s(s). то есть по логике должно быть так (s => s)(s)
λx.x x != x. Вы тут аппликацию самой лямбды потеряли. x будет (λx.x) x. Если угодно на конкретных значениях, то (λx.x) "foo" == "foo".
Другой пример:
(λx.λf.f x)(sqr)(2) ==
(λf.f 2)(sqr) ==
sqr 2
На 1:09:30 о ком речь? Что-то вроде "Кентсон", но не нашёл кто это.
Речь шла о Герхарде Генцене: en.wikipedia.org/wiki/Gerhard_Gentzen
Мне надо работать над дикцией :)
Спасибо.
1:05 что такое тупл?
Tuple. Так же известен как кортеж и тип-произведение (product type).
en.wikipedia.org/wiki/Tuple
шо так мало лайков? :-) а где ты лекции читал?
Та я видео перезалил, звук пофиксил. Часть осталась под старой версией. Ну или не нравится людям :)
Эту читал во Львове. Написали из Intellias, попросили прочитать что-то про ФП.
Почему макдональдс популярный? Мой ответ такой - популярная реклама, ассоциация всех бургеров с макдосом.
Упрощение процессов? Как такое вообще может прийти в голову?
Редуцируемость процессов? Предсказуемость? Что бл*ть? Мы про бургеры говорили только что, секунду назад. Ко всем этим определениям должен привести лектор, насколько я понимаю. Это бред. Я вообще не понял, почему эти ответы верны. Почему в таком случае предсказуемость не приписать Carls Junior'у или Burger King'у? Аналогично там тоже есть упрощение процессов...
Чувак не услышал важную вещь про гарантии, но решил забить себе голову бургерами.
Абстракция? Аналогия? Тебе не известны эти слова?
Ларин пробует себя в программировании 0_0
Спасибо!