8 ms·

http://www.yesodweb.com/book/shakespearean-templates#shakespearean-templates_type_safe_urls http://www.yesodweb.com/book/shakespearean-templates#shakesp... If

http://www.yesodweb.com/book/shakespearean-templates#shakespearean-templates_type_safe_urls http://www.yesodweb.com/book/shakespearean-templates#shakesp... If you're used to only programming in dynamic languages, it can be a shock, but yes, a good type system can do things you never thought possible. If you were the downvoter, I'll take my vote back now.

theoh 12y ago
I don't know who the downvoter is but I think it's a silly claim to be proud of. Anything more complex than a simple template system can enforce referential integrity of internal links by making the programmer refer to other pages on the site with some kind of handle. It's not rocket science and doing it with the (elaborate) type system isn't necessarily a selling point, in my opinion.