Solving Advent of Code “Handy Haversacks” in Type-level Haskell
- A seventeen minute read
- 0 comments
- 2 🗣️ 3 ❤️ 1 🔁
I have been trying to use type-level programming in Haskell to solve interesting problems since I read Thinking with Types by Sandy Maguire. Then I found myself solving the problems in Advent of Code 2020 and some of them seemed suitable to be solved with type-level programming. So I decided to give it a shot.