I still remember one of my biggest Haskell/Yesod “aha” moments: not only does Yesod make sure that routes in your HTML are type-safe, but even image files linked in tags are verified to exist on disk by the compiler. No .jpg, no build, it’s that simple. It’s a level of guarantee that dramatically increases your confidence in the code at barely any cost.
via Guest post: Haskell at Front Row | FP Complete.
Detailed Haskell experience reports from real-world apps are still pretty rare, so this was an interesting read.