Bound for Greatness

August is just around the corner, and we have another great talk on deck. J. Haigh will show us how to stop worrying and love types. Please join us for hot pizza, cold beverages, interesting ideas, and a great developer community.

Abstrast

Let's increase the number of our programs that both type check & work. In this talk, we'll discuss how type variables are bound by default, with examples. Then we'll move on to how we can generalize our functions by universally qualifying our polymorphic type variables. We'll take a look at functions that are inexpressible by default & how we can use higher rank types to make these functions type check.