8LU - Keynote by Corey Haines: Fun with Types

Join us for 8th Light University on Friday, July 14th. We're excited to have a keynote presentation by Corey Haines!

Lunch will be provided.

Title: "Fun with Types"

Abstract:

It isn't uncommon to hear people talk about how having a type system allows you to do interesting things, such as "Make Impossible States Impossible." Perhaps even that types allow you to skip some automated tests. But, what is it about a type system that supports these statements?

In this talk, we'll look at some interesting uses of types and how they can provide a level of safety not easily available without them via real-world examples from our Elm codebase.

If you've mostly worked in a language with a more free-form type system, such as Ruby or Javascript, or a rigid, but less-featured, such as C# or Java, then this talk will be awesome for you! If you've worked in Haskell or Elm or something like that, then this talk will be amazing for you!

Bio: @coreyhaines (https://twitter.com/coreyhaines?ref_src=twsrc%5Egoogle%7Ctwcamp%5Eserp%7Ctwgr%5Eauthor) is a developer, author, speaker, teacher and all around groovy guy. With over twenty years of software and product development, he brings a fine-tuned eye to the craft of software development. He co-founded and currently works as CTO of Hearken, helping newsrooms around the world better listen to their audience. He co-created and led the evolution of the coderetreat workshop, including the creation of the annual Global Day of Coderetreat. He's the author of the book "Understanding the 4 Rules of Simple Design" and is currently working on a new title, Exploring the Lambda Calculus. Outside of working on Hearken, Corey enjoys spending time with his cat, Louise.