2015-08-13

I recently wrote an article about Servant for work. It introduces type-level strings, type-level lists, type-level operators, and type-families. It talks about how Servant makes use of these things to do type-safe routing.

Here are the reddit comments.

tags: haskell