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

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

  • Книга про эффекты вообще и 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

Похожие выпуски