3 ms·
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 gra
by ashton314 4y ago
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 https://koka-lang.github.io/koka/doc/index.html