Comment on Ask HN: What's new in theoretical CS these days?Comments−ashton3143yKoka [1] has “algebraic effect handlers” which are pretty cool. An alternative to monads for modeling effects in a sound way.Lots of advances in theory of gradual typing. See with by Ben Greenman et al.That’s just stuff from my neck of the woods. (PL) I would recommend reading stuff from POPL or ICFP or OOPSLA.[1]: https://koka-lang.github.io/koka/doc/index.html
Comments
Koka [1] has “algebraic effect handlers” which are pretty cool. An alternative to monads for modeling effects in a sound way.
Lots of advances in theory of gradual typing. See with by Ben Greenman et al.
That’s just stuff from my neck of the woods. (PL) I would recommend reading stuff from POPL or ICFP or OOPSLA.
[1]: https://koka-lang.github.io/koka/doc/index.html