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

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

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях!
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