Erlang is an ancient language sitting on top of a very well engineered and battle-tested platform for building distributed systems.

It lacks type safety, it lacks sugar, it lacks freshness and can be impenetrable to newcomers - and yet we've spent the last half decade happily writing successful enterprise products with it despite the language's shortcomings.

As a consequence of this length of time however, the shortcomings of the language have started becoming clear as the size of our code-base starts to make it hard to safely introduce change - we need types, we need explicit side effects and we need those things now!

Enter Purescript - a language primarily used for compiling to Javascript, but now with an Erlang backend! Monads! Effects! Maybe?! Either, Typeclasses oh my.

How do these two worlds even interoperate, how far are we from being able to build whole applications in Purescript on the Erlang VM? Find out in this talk - a new age of reliable engineering is upon us.