Build Stuff'14

Now that most people get the fundamental ideas of Functional Programming, it's time to start talking about type safety. What does it mean? What's it good for? How can you take advantage of it. What does it mean for a language to have a good one or a bad one? What are the downsides to statically checked languages? How do you read type signatures? You don't have to be a mathematics genius, you just have to be able to think a bit abstractly. The good news is that you already do, or you wouldn't be at a developer conference. This talk will allow you to better understand what the type zealots are talking about and perhaps make better use of the languages that you are already using. It may also show you the upsides of using a new language or one you have already thrown away.