Solving Rock-Paper-Scissors in Type-level Haskell | Lobsters

14

Solving Rock-Paper-Scissors in Type-level Haskell haskell notes.abhinavsarkar.net
authored by abhin4v 2 months ago | archive
Archive.org Archive.today Ghostarchive
| 1 comment

1

3

elldritch 2 months ago | link

If anyone is curious about the mechanics behind how type families etc. work, I would strongly recommend Alexis King’s intro to typeclass metaprogramming.