D mentioned on Rust discussions site

[RazvanN]

On Sunday, 24 May 2020 at 06:08:42 UTC, H. S. Teoh wrote:
> On Sat, May 23, 2020 at 09:05:47PM -0700, Walter Bright via 
> Digitalmars-d wrote:
>> [...]
>
> On Sat, May 23, 2020 at 09:15:18PM -0700, Walter Bright via 
> Digitalmars-d wrote:
>> [...]
>
> [...]

I totally agree with this. I am teaching low-level courses like 
assembly language and operating systems and I have to tell you 
most of the students (even top students) have a lot of problems 
implementing data structures correctly in C. Almost all of them 
make mistakes with regards to null-terminated strings, arrays and 
pointers. That is mostly because they are focused on implementing 
the actual algorithm/solution and they do not care about the rest 
of the details. If a veteran programmer sometimes accidentally 
introduces a buffer overflow bug, imagine how it is for a young 
programmer that is eager to focus on interesting problems and 
doesn't care about boring stuff like making sure the length of 
the array is correct.

We are talking about students that will get hired in 1-2 years 
and most likely it will take a while before they actually 
understand the importance of paying attention to this sort of 
issues; in the mean time they will recklessly introduce 
vulnerabilities all over the place. Having an automatic method of 
verification is the best solution to this sort of problem. 
Languages have evolved enough so that we should not concern 
ourselves with such low-level details.