Scala language-design Projects
A research language with effect handlers and lightweight effect polymorphismProject mention: Testimonials about the usage of Izumi BIO typeclasses | reddit.com/r/scala | 2022-03-14
The only thing that is now missing from my ideal concept of a purely functional program with side effects is effect tracking itself. A way to guarantee that no Scala code can blockingly write to a file, unless it requires that capability in the effect "stack", like in https://effekt-lang.org/ . Would be useful to have a collection of best-effort lint rules that cover something like that.
Scala language-design related posts
Are you hiring? Post a new remote job listing for free.