It's been great to see more Haskell content hitting HN lately. Since the videos were recently posted, I wanted to share a talk I gave last year at the Haskell.love conference that gives an introduction to type level programming. The talk walks through a fairly contrived example that illustrates some of the things you can do at the type level in Haskell.
1 comment
[ 3.7 ms ] story [ 17.2 ms ] thread