Link to event: meetup.com/NY-Haskell/events/96038872/
Link to slides: github.com/mightybyte/purity-types-monads
All proceeds from the tip jar will go towards NY Haskell Meetup activities.
New Haskell users often point to complicated types and lack of pervasive side-effects in functions as confusing. But these features provide powerful tools to reason with, that can dramatically reduce the complexity of sophisticated code. We're starting off 2013 with two talks, one beginner and one intermediate, that will explain this from the ground up.
Ryan Trinkle will start off the evening with an intro talk to get beginners up to speed. Then, Doug Beardsley will talk about purity, strong types, and monads--why you should care about them, and how they can help you write better quality software. Drawing on experience with real world projects, we will take a look at practical motivations for these concepts. Then we will explore how they were actually used in the development of the recent 0.10 release of the Heist template system.