An interview with Joey Hess

Posted Feb 4, 2016 13:43 UTC (Thu) by dvandeun (guest, #24273)
In reply to: An interview with Joey Hess by smoogen
Parent article: An interview with Joey Hess

You could say that the myth is partially true: it is very likely that a refactored Haskell program is correct as soon as you get it too compile (assuming that the original was correct), and that is thanks to type checking.