Лямбда исчисление и функциональное программирование. Часть 1 | Лекция

[@scatmanlove]

8:07 - та "бл**ь, не торопись" =))))

[@clubberufa]

Побольше бы таких лекторов

[@trofimovivan]

Судя по комментаторам ссылка на это видео проскакивала где-то на Хекслете. :-) Спасибо за материал.

[@svetlanakhannanova5979]

в задаче о числах Черча она проскочила :)

[@DInfinity3]

Ништяк)

[@tou.f6016]

Спасибо)

[@ЖумагалиШоманов]

Как будто после бодуна, поэтому в число машин я бы добавил движок Карла Бенца.

[@pavelalekseev5849]

Не хватало только примеров на том же JS, мне кажется усваиваемость была бы в разы лучше

[@TMShar]

согласен, но имея общее представление о лямбде после этого видео, можно почитать тут - habr.com/ru/post/322052/

[@ПЭКА-и1т]

Спасибо, я наконец то понял бета-редукцию.

[@mechmaker9346]

А что с отрицательными числами?

[@AlexanderNemish]

Любые другие числа кодируются через натуральные. Например, как пара (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

[@АлександрК-ш]

Ссылка на вторую часть kzbin.info/www/bejne/qmO2koZ-hs2emqc

[@codebooks]

На 1:09:30 о ком речь? Что-то вроде "Кентсон", но не нашёл кто это.

[@AlexanderNemish]

Речь шла о Герхарде Генцене: en.wikipedia.org/wiki/Gerhard_Gentzen Мне надо работать над дикцией :)

[@codebooks]

Спасибо.

[@tou.f6016]

Мне послышалось или он на 39:28 говорит - "если мы прои*енем два аргумента, то.." ?))

[@AlexanderNemish]

Применим. Если мы применим два аргумента :)

[@tou.f6016]

@@AlexanderNemish спасибо за лекцию 🙂

[@AlexanderNemish]

@@tou.f6016 Подписывайтесь, будет еще.

[@asd9524]

1:05 что такое тупл?

[@AlexanderNemish]

Tuple. Так же известен как кортеж и тип-произведение (product type). en.wikipedia.org/wiki/Tuple

[@Cred1Tor]

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)

[@bebryatsenko]

λx.x x != x. Вы тут аппликацию самой лямбды потеряли. x будет (λx.x) x. Если угодно на конкретных значениях, то (λx.x) "foo" == "foo". Другой пример: (λx.λf.f x)(sqr)(2) == (λf.f 2)(sqr) == sqr 2

[@global_silence2623]

Почему макдональдс популярный? Мой ответ такой - популярная реклама, ассоциация всех бургеров с макдосом. Упрощение процессов? Как такое вообще может прийти в голову? Редуцируемость процессов? Предсказуемость? Что бл*ть? Мы про бургеры говорили только что, секунду назад. Ко всем этим определениям должен привести лектор, насколько я понимаю. Это бред. Я вообще не понял, почему эти ответы верны. Почему в таком случае предсказуемость не приписать Carls Junior'у или Burger King'у? Аналогично там тоже есть упрощение процессов...

[@kapiton-popaev]

Чувак не услышал важную вещь про гарантии, но решил забить себе голову бургерами.

[@AnarchySane]

Абстракция? Аналогия? Тебе не известны эти слова?

[@murad_shafii]

Спасибо!

[@Tyn4tyk]

я как ООПешник, говорю всё это ОБЪЕКТЫ 😂

[@cassinid8843]

невозможно слушать, причмокивания и эти попивания из бутылочки х_х

[@tou.f6016]

Вот оно - отношения современных людей к получению ценных знаний "невозможно слушать, причмокивания и эти попивания из бутылочки х_х"... Ломоносов, который приложил over дофигп усилий, что бы получать знания лещей бы тебе надовал за твое стонотство))

[@tonpa]

шо так мало лайков? :-) а где ты лекции читал?

[@AlexanderNemish]

Та я видео перезалил, звук пофиксил. Часть осталась под старой версией. Ну или не нравится людям :) Эту читал во Львове. Написали из Intellias, попросили прочитать что-то про ФП.

[@olendotatv]

Ларин пробует себя в программировании 0_0