Will Jones is a polyglot software engineer and passionate teacher with over five years' experience building applications, creating products and educating other developers and computer scientists. Since obtaining a first-class master's degree and subsequently a PhD in Computing from Imperial College London, Will has participated in and overseen development projects ranging from greenfield efforts to large-scale refactorings of legacy systems.
A functional programmer at heart, with a penchant for statically enforcing correctness through principles such as strong typing and immutable data, Will's passions are deeply embedded in the technologies he is using in his current role as VP Engineering at Habito, such as Haskell, PureScript and event sourcing/CQRS. Alongside his substantial industrial standing, Will also maintains strong ties with his alma mater, giving lecture courses to first-year students on both introductory programming with Java and advanced functional programming with Haskell.
Talks I've Given
Lightning Talk: Dependent Maps
Featuring Will Jones
Sometimes you want something a bit more strongly-typed than Haskell's traditional Map and HashMap types. In this talk, you will explore a variety of increasingly-abusive solutions to try and maximise typing whilst minimising boilerplate.haskell dependent-types