Using Types to Make (many) Bugs Impossible

This week we will be talking about how to use types to make all sorts of bugs impossible. This will be a practical dive into functional data modeling. If you are skeptic about static types, this is a perfect talk to attend. We will see how types go beyond preventing silly mistakes like confusing ints and strings. If you are a javascript/frontend developer this talk should be particularly interesting as we will start our exploration using a frontend written in Elm.

As always there will be free Bazbeaux's pizza, so please RSVP so we know how much to get. Looking forward to seeing you there.

-----------------
Using Types to Make (many) Bugs Impossible

This talk is aimed at giving a practical introduction to how the proper use of static types can make many bugs impossible. We will look at how types allow us to model our problem, how functional programming helps us think about our problem more directly, and how to apply this thinking to our applications. Our starting point for this talk will be a simple application written in Elm. We will see how to apply these insights about types in a real working application.