Free as in Monads

Location: Salon C
April 19th, 2017
4:00 PM - 5:00 PM

What is the `Free`? Where did it come from? Why is it here? Why would anyone *really* care? In this talk, we will embark on an epic journey through a live editor buffer as we derive the `Free` monad from scratch for fun and profit in just a few dozen lines of code. And once we have it, we will see how easy to use and powerful it can be when applied to the right problems. When I was exposed to these ideas and abstractions, it forever changed the way I write software. If you aren't careful, it could do

Daniel Spiewak

Software Developer

Functions and Determinism in Property-based Testing

Location: Salon A
April 19th, 2017
2:45 PM - 3:45 PM

Property-based testing is as close to a panacea as we are likely to get in the software industry. Whether you're someone who loves writing tests or someone who finds testing tedious, identifying and testing the properties and invariants of your code can produce more useful (and more interesting) tests. This talk will briefly cover what property-based testing is and how to do it, followed by an in-depth look into how property-based testing actually works. You will leave this talk armed with an understanding of how the "magic" happens, and with the knowledge necessary to start hacking on a property-based testing

Erik Osheim

Co-Founder, Typelevel

The Dream of the 90s is Alive in Haskell

Location: Salon E
April 19th, 2017
10:15 AM - 11:15 AM

Haskell, a language older than Java and Python, has only recently seen an uptick in commercial use. Why did it take so long? In this talk, we'll see how design decisions made almost thirty years ago are paying off, as well as tooling improvements that have made Haskell more suitable for commercial use. Seen through the lens of using Haskell at Helium, we'll also explore production software concerns like builds, deploys, monitoring, logging, and testing.

Reid Draper

VP Engineering, Helium Systems Inc