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

Что общего у скорости вычислений, мутабельности, кеширования и исключений? Все это – сайд-эффекты, которые сопровождают результаты вычислений. Виталий Брагилевский показал нам невероятно прекрасную картину, которая открывается, если рассматривать все возможные эффекты как часть одной системы – программирование становится более простым, контролируемым и выразительным! 
 
Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях!  
Telegram-чат: https://t.me/podlodka  
Telegram-канал: https://t.me/podlodkanews  
Страница в Facebook: 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