Podlodka Podcast

Podlodka #404 – Системы эффектов в языках программирования


Listen Later

Что общего у скорости вычислений, мутабельности, кеширования и исключений? Все это – сайд-эффекты, которые сопровождают результаты вычислений. Виталий Брагилевский показал нам невероятно прекрасную картину, которая открывается, если рассматривать все возможные эффекты как часть одной системы – программирование становится более простым, контролируемым и выразительным!
Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях!
Telegram-чат: https://t.me/podlodka
Telegram-канал: https://t.me/podlodkanews
Страница в Facebook: www.facebook.com/podlodkacast/
Twitter-аккаунт: https://twitter.com/PodlodkaPodcast
Ведущие в выпуске:
Катя Петрова, Егор Толстой
Полезные ссылки:
Книга про эффекты вообще и ZIO (Scala)
https://effectorientedprogramming.com/
Библиотека для TypeScript
https://effect.website/
OCaml Effect Handlers
https://ocaml.org/manual/5.2/effects.html
Язык Eff
https://www.eff-lang.org/
Язык Effekt
https://effekt-lang.org/
Язык Koka
https://koka-lang.github.io/koka/doc/index.html
Язык Unison
https://www.unison-lang.org/
Functional Core, Imperative Shell
https://www.destroyallsoftware.com/screencasts/catalog/functional-core-imperative-shell
...more
View all episodesView all episodes
Download on the App Store

Podlodka PodcastBy Егор Толстой, Стас Цыганов, Екатерина Петрова и Евгений Кателла

  • 4.4
  • 4.4
  • 4.4
  • 4.4
  • 4.4

4.4

45 ratings


More shows like Podlodka Podcast

View all
Завтракаст (Zavtracast) by Завтракаст (Zavtracast)

Завтракаст (Zavtracast)

121 Listeners

ШоПоКо by Anton Pozdnyakov

ШоПоКо

150 Listeners

Что случилось by Медуза / Meduza

Что случилось

357 Listeners

Два по цене одного by libo/libo

Два по цене одного

90 Listeners

КритМышь by Александр Головин

КритМышь

41 Listeners

kuji podcast by kuji podcast

kuji podcast

132 Listeners

Пробоина by Proboina

Пробоина

1 Listeners

Серёжа и микрофон. Подкаст by Сережа и микрофон. Подкаст

Серёжа и микрофон. Подкаст

55 Listeners

Запуск завтра by libo/libo

Запуск завтра

83 Listeners

Закат империи by libo/libo

Закат империи

187 Listeners

Потом доделаю by WEEEK (@potomdodelau)

Потом доделаю

1 Listeners

Экономика на слух by РЭШ

Экономика на слух

10 Listeners

План Б by Т—Ж

План Б

17 Listeners

Почему мы еще живы by libo/libo

Почему мы еще живы

110 Listeners

Прием by Т—Ж

Прием

6 Listeners

Бреслав и Ложечкин by Александр Ложечкин, Андрей Бреслав

Бреслав и Ложечкин

5 Listeners

На каком основании by libo/libo

На каком основании

13 Listeners