Our first meetup! Let's get together, learn about each other's interests, find common discussion topics and fire up some talks!
Heiko Seeberger - Rich opportunities with poor man's type classes.
Marek Kubica - Using static typing features for fun and profit
Talk details: Ever passed through a tutorial on exotic type system features without a clue what to use them for? Fear not, I built a system that uses concepts like Phantom Types and Error Monads for normal, daily tasks. No mathemathical mind games, getting things done in an elegant way! I'll introduce you to some interesting solutions to common problems. Don't speak OCaml? Not an issue.
We're looking for speakers! Ping me at [masked]