|
|
|
|
|
|
by ashton314
1513 days ago
|
|
|
Ooooh… Koka is a really neat language. I first encountered it in a seminar when we talked about algebraic effect handlers. Koka has these row types which effectively allow you to statically ensure that all your effects get handled at some point, modulo certain ordering constraints on when those effects get handled. Essentially, you get nice purity around effects but they're way easier to compose (and imo grok) than monads. If anyone is interested in learning more, definitely take a look at this [1] paper by the aforementioned Leijen. (OP, very cool that you get to work with this guy.) One of the best-written papers I've seen. [1]: https://www.microsoft.com/en-us/research/publication/algebra... |
|
|