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

Что общего у скорости вычислений, мутабельности, кеширования и исключений? Все это – сайд-эффекты, которые сопровождают результаты вычислений. Виталий Брагилевский показал нам невероятно прекрасную картину, которая открывается, если рассматривать все возможные эффекты как часть одной системы – программирование становится более простым, контролируемым и выразительным!

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях!

Telegram-чат: t.me/podlodka
Telegram-канал: t.me/podlodkanews
Страница в Facebook: www.facebook.com/podlodkacast/
Twitter-аккаунт: twitter.com/PodlodkaPodcast

Ведущие в выпуске:
Катя Петрова, Егор Толстой

Полезные ссылки:

Книга про эффекты вообще и ZIO (Scala)
effectorientedprogramming.com

Библиотека для TypeScript
effect.website

OCaml Effect Handlers
ocaml.org/manual/5.2/effects.html

Язык Eff
eff-lang.org

Язык Effekt
effekt-lang.org

Язык Koka
koka-lang.github.io/koka/doc/index.html

Язык Unison
unison-lang.org

Functional Core, Imperative Shell
destroyallsoftware.com/screencasts/catalog/fun…