Re:Elixir v1.7 released
by sidkshatriya on Thursday July 26, 2018 @08:52AM
(#17617014)
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.
Re:Elixir v1.7 released
by mercer on Thursday July 26, 2018 @11:46AM
(#17618368)
Surely someone's collected statistics on this and reported on it? Is there some kind of 'IT anthropology' field perhaps that does these kinds of things?
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.