Brian McKenna on Haskell + Nix and Vijay Anant on GADTs

We have two talks scheduled in this meetup.

1. Haskell and Nix by Brian McKenna

Nix is Haskell's pure functional cousin. Haskell enables pure functional programming. Nix enables purely functional package management. Brian will explain what Nix is, walk through some of its terminology, and then demonstrate some common Nix and Haskell workflows.

Brian is an experienced Haskeller with 10 years of Haskell, and 4 years of Nix experience. He works on Atlassian Marketplace where both Nix and Haskell are used in production. He moved from Australia to Bengaluru recently to hire and train developers in functional programming!

2. GADTs To Eliminate Runtime Checks by Vijay Anant

This talk starts with a quick introduction to GADTs and motivation regarding why we care about run time checks followed by a code walk through to demonstrate how types can be used over tests.

Vijay is an experienced programmer and a Haskell enthusiast who writes Node.js at work!

This is a good opportunity to hear first hand from experienced Haskellers. Looking forward to see you all.