https://incipit0.github.io/pweb/tags/programming-language/Recent content in Programming Language on [[logs]]Hugoen-usFri, 08 Mar 2024 23:38:17 +0000https://incipit0.github.io/pweb/posts/s-repls14/Fri, 08 Mar 2024 23:38:17 +0000https://incipit0.github.io/pweb/posts/s-repls14/<p>This is a very high level summary of the experience attending <a href="https://www.cl.cam.ac.uk/events/s-repls14/">S-REPLS 14</a>. 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.</p> <h2 id="graded-types-and-algebraic-effects">Graded types and algebraic effects</h2> <p>Graded type system is based on the idea of linear types. Linear types essentially allows one to restrict the usage of variables exactly once, which can be useful for resource management such as IO. Graded types go further than this and allows one to specify the number of times a variable can be used. For example, in the following code<sup id="fnref:1"><a href="#fn:1" class="footnote-ref" role="doc-noteref">1</a></sup>, the variable <code>a</code> needs to be used exactly twice.</p>