News for hackers. Stuff that matters.
Re:The New Haskell.org by chrisdotcode on Sunday February 15, 2015 @06:14AM (#9052337)
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.

Re:The New Haskell.org by theoh on Sunday February 15, 2015 @12:46PM (#9053310)
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.