Core Dump of S-REPLS 14
This is a very high level summary of the experience attending S-REPLS 14. Feel free to look at the respective website of the speakers for more details. To keep this blog concise, I thought I would just use introductory examples where possible to illustrate the idea rather than going into the actual theory behind them. Graded types and algebraic effects Graded type system is based on the idea of linear types....