atic typing</em>.</p>

<p>Type systems are a really interesting and fundamental part of computer science. They are currently the best method we know of detecting errors before running a program. Anyone interested in programming language safety and type systems should find this project really interesting.</p>


<h2 id='conclusion'>Conclusion</h2> <hr/>

<p>Many thanks for reading this book. I hope you've found something of interest in its pages. If you did enjoy it please tell your friends about it. I