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
[ 0.25 ms ] story [ 14.8 ms ] thread