TGViewer
As For JS As For JS @asforjavascript · 3.07K subscribers
Post #538 5.02K
Послушайте по свободе лекцию Брагилевского о лямбда исчислении.

Станет яснее о чем я говорю когда говорю о:
1) doPerDo
2) математической доказуемости функционального кода
3) познакомитесь с академическим описанием функционального программирования

https://youtu.be/qqGGbtkdLGM?si=mAY-enhVr7Y_kIl3
YouTube 2. Программирование в 𝜆-исчислении Вторая лекция курса «Соответствие Карри–Ховарда: от математической логики к программированию» https://www.mccme.ru/dubna/2017/courses/bragilevsky.html Источник: http://www.mathnet.ru/php/presentation.phtml?presentid=18231&option_lang=rus
  • 👍 52
  • ❤ 5
  • 🤯 5
  • 😁 1
  • 🤣 1
Open in Telegram All posts from @asforjavascript
More from @asforjavascript
  1. Oct 15, 2026Люди любят тех, кто помогает им, любить себя.
  2. Oct 14, 2026Кому нечем заняться и хочется подумать. Как, согласно современному HTML5 должна быть разоб…
  3. Oct 14, 2026https://music.youtube.com/watch?v=y7TOV4AvKJs&si=QbHucJbQ2swJi-0G
  4. Oct 13, 2026Тимур Шемсединов раскопал в записях еще один эфир второго в мире JS радио. Было это недели…
  5. Oct 11, 2026Гениальный Кирилл Львович Масленников о темной материи полтора часа кайфа https://youtu.be…
  6. Oct 10, 2026Два дня назад, в возрасте 90 лет умерла Маргарет Гамильтон. В один из критических моментов…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →