Yesod believes in the philosophy of making the compiler your ally, not your enemy. We use the type system to enforce as much as possible, from generating proper links, to avoiding XSS attacks, to dealing with character encoding issues. In general, if your code compiles, it works. And instead of declaring types everywhere you let the compiler figure them out for you with type inference.
Guest: Michael Snoyman.
Download or subscribe to this show at twit.tv/floss.
We invite you to read, add to, and amend our show notes.
Running time:: 0:55:58