Послушайте по свободе лекцию Брагилевского о лямбда исчислении.
Станет яснее о чем я говорю когда говорю о:
1) doPerDo
2) математической доказуемости функционального кода
3) познакомитесь с академическим описанием функционального программирования
https://youtu.be/qqGGbtkdLGM?si=mAY-enhVr7Y_kIl3
Станет яснее о чем я говорю когда говорю о:
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
Источник: http://www.mathnet.ru/php/presentation.phtml?presentid=18231&option_lang=rus
👍52❤5🤯5😁1🤣1
чем дальше - тем больше от меня мало что остается.
я сражаюсь с єтим, но сильно проигрываю.
не сердитесь на меня - я очень стараюсь.
мы еще поборемся.
я сражаюсь с єтим, но сильно проигрываю.
не сердитесь на меня - я очень стараюсь.
мы еще поборемся.
❤163🙏74💔11🕊8🔥7💯2🤯1🤣1
Я планирую геройский поступок. На какую тему?
Anonymous Poll
52%
Статическая типизация и js
15%
Закончить с вирусом
22%
Потрындеть за жизнь с ответами на вопросы
10%
Я упырь
🔥31❤12😍3
Выхожу из лифта. В нем остается ребенок лет 7 и его мама.
Двери закрылись, лифт поехал.
Голоса из лифта:
- Мама а зачем у дяди такая борода?
- Дурак потому что
Двери закрылись, лифт поехал.
Голоса из лифта:
- Мама а зачем у дяди такая борода?
- Дурак потому что
😁123🤣58🤯14💔9🔥7👍1💯1
Фанаты мне ничего не написали, потому я расскажу вам стишок:
За столом сидит гость
В голове у него гвоздь
Єто я его забил
Чтобы гость не уходил
За столом сидит гость
В голове у него гвоздь
Єто я его забил
Чтобы гость не уходил
😁69🤯10🌚6👀5😎4❤2👍2
Говорят, сегодня международный день котов.
Теперь вы знаете кого сегодня поздравить.
Теперь вы знаете кого сегодня поздравить.
🔥45❤8👍3😍2🤯1
Друзья.
Ткните меня носом в вопросы которые для вас были важны, а я их пропустил.
Я постараюсь ответить.
Ткните меня носом в вопросы которые для вас были важны, а я их пропустил.
Я постараюсь ответить.
Фанаты пишут:
О величайший, ты знаешь больше чем меньше...
О величайший, ты знаешь больше чем меньше...
😁38❤🔥4❤3🤯2💯2😎2
Харьков.
жилая многоєтажка.
каб.
38.
2 детей.
на третьем году войны, даже россияне уже забыли про сказки о высокоточном оружии.
помолчите минуту.
хотябы на єто вы способны?
жилая многоєтажка.
каб.
38.
2 детей.
на третьем году войны, даже россияне уже забыли про сказки о высокоточном оружии.
помолчите минуту.
хотябы на єто вы способны?
💔109🙏4🤣3
Пробный тестовый формат - ответов на вопросы
Разбор вопроса:
https://youtu.be/4UwH9I-l7u4
Разбор вопроса:
на одном из стримов это вскользь упоминалось
но можно еще раз осветить/подтвердить
функция на 5 строке обращается к родительскому окружению
как вы говорили, для этого, во первых, это окружение должно обязательно быть создано
вы постоянно предостерегаете нас от этого, но сами при этом пишите такой код
почему? потому что это просто красиво и это фп?
Считаете ли вы, что не смотря на свою красоту этот код не оптимален, с той точки зрения, что создается окружение в которое мы смотрим из дочерней функции?
если не считаете, то почему?
и отсюда следующий вопрос, насколько тогда вообще js подходит для функционального программирования?
создать коррирование === создать кучу окружений, что дорого
и кстати, как посмотреть байткод для функции на 5 строке, я как ни пытался не смог
https://youtu.be/4UwH9I-l7u4
YouTube
Про оптимизацию
Join this channel to get access to perks:
https://www.youtube.com/channel/UC8aUxVCtAmBtKXmYdPmzjeA/join
https://www.youtube.com/channel/UC8aUxVCtAmBtKXmYdPmzjeA/join
🔥24❤4👍2🌚2