Gabe Dijkstra is Haskell programmer living in London. Gabe did his PhD in type theory at the University of Nottingham. He now likes putting types to work in the industry to make software more robust and to make writing it more fun.
He has spent a year doing this at Standard Chartered and now is working on distributed ledger technologies at Adjoint.
Talks I've Given
Write Your Own GHC Type Checker Plugins
Featuring Gabe Dijkstra
It has never been easier to do type-level programming in Haskell to capture precise invariants of the values as we are working with. Thanks to extensions such as DataKinds and TypeFamilies, many value-level definitions translate directly to type-level definitions.haskell ghc type-level-programming dependent-types