An Unsafe Talk on Safe Haskell

Greetings Haskellers,

Looking forward to our September meetup. Erik Feller will be discussing the Safe language extension. Drinks, pizza, and camaraderie as always. Abstract below.

Haskell as a language is established in such a way that it should provide us, as programmers, with several guarantees about the safety and security of our code. Unfortunately programmers have managed to break this guaranteed safety in many ways, one of the most popular being the widely used unsafePerformIO. The Safe language extension was introduced into Haskell to help take back the glorious guarantees of safety and resulting security it can provide. In this talk we will explore the Safe language extension in Haskell and discuss the practicality of using it in a real world codebase.