For the last few years we have been doing all of our commercial work in Purescript on both the back-end and the front-end.

Explaining exactly *why* we choose to work with this language is a hard proposition, nobody really wants to hear about functional programming except people who already do functional programming and there isn't much point in talking to people that do functional programming because all they want to do is talk about functional programming.

So, in this session we're going to skip any pretence at giving an "intro" and just dive right into all the really cool things that Purescript can do that C# (and even F#) cannot - it is as simple as that. Every feature that will be demonstrated will be something that we lean on heavily in production software with an emphasis on how cool those things are and what their equivalents in a language like C# would be if you wanted to replicate them.

There will be some simple code examples that everybody can understand and then there will be some code examples that ... aren't so simple but demonstrate how the developer can gain so much compile-time power in modern languages that it should possibly be illegal.

Can your language do these things? No, it probably cannot - but knowing what features are out there can shed valuable perspective on your own platform and that will be the takeaway for this talk.