Отрывок из Erlang Programming:
To quote Joe Armstrong in one of the many type system flame wars, “It seems like it should be ‘easy’—and indeed, a few weeks programming can make a type system that handles 95% of the language. Several man-years of work [by some of the brightest minds in computer science] have gone into trying to fix up the other 5%—but this is really difficult.”