Static type systems are the world’s most widely applied formal method, in daily use by millions of programmers. The trouble is that weak type systems give types a bad name; they get in your way and stop you writing the programs you want to write. And that leads to the familiar but fruitless static-vs-dynamic debate that I hope to avoid entirely. The trick instead is to develop type systems that have the good properties you love (compact, informative, detect errors early etc), without the ones you hate (get in your way). Haskell is the world’s most crazy adventure playground for innovation in type systems. In this talk, Simon will sketch some of Haskell’s recent developments, to give you a taste of the kind of things that might come over your horizon sometime soon.

No outline is available