http://programmers.stackexchange.com/questions/215482/what-are-the-safety-benefits-of-a-type-system/215483#215483 http://programmers.stackexchange.com/questions

http://programmers.stackexchange.com/questions/215482/what-are-the-safety-benefits-of-a-type-system/215483#215483 http://programmers.stackexchange.com/questions/215482/what-a... has a good list of the type (no pun intended) of error that type systems can prevent