Re:Clear defensive programming with Go using Verifier library
by laumars on Thursday August 09, 2018 @12:00PM
(#17725346)
I do agree with your point but this is about more than just language safety. The point the GP was making was more about expressiveness of languages (or at least that was how I interpreted it). You can have safety even in arguably unsophisticated languages (eg Visual Basic pre-dotnet). However it's true that some languages use their expression as a method of enabling developers to write less buggy software.
Because both inexperienced and experienced developers will be prevented from doing the wrong thing more often when using a better language.