Thanks for your reply. Your response is extremely spot on. I agree that a type system will _not_ catch all errors, only some. My limited point was: it would be

Thanks for your reply. Your response is extremely spot on. I agree that a type system will _not_ catch all errors, only some. My limited point was: it would be interesting to see statistically what % of time the ERTS (in real deployed production systems) is dealing with errors that could have been avoided at compile time (had their been a static typing system) and how many times are there real runtime errors (which can not be detected by a static type system). Of course with those kind of runtime errors the whole concept of supervision trees etc. is invaluable.