Tom Harding
Expert Overview
Things I'm Doing
Talks I've Given
Tom is a PureScript developer pretending to be a Haskell developer at Habito. Don't tell anyone.
Talks I've Given
-
JavaScript for Idris Developers
Featuring Tom Harding
It's easy to think in your endless 9-to-5 that Idris is all there is: it's your backend, frontend, mobile apps, and endless libraries to learn each week. It's about time someone asked: what can you learn from academia?
haskell type-system ramda.js idris javascript -
Lightning Talk: Who Cares About GHC 8.6?
Featuring Tom Harding
GHC 8.6.1 is live, and it comes with a fresh new batch of extensions! Specifically, you welcome
haskell constraint-programming ghc type-level-programmingDerivingVia,QuantifiedConstraints,BlockArguments,NumericUnderscores, andStarIsType... so why should you care? How will these affect code in the real world?