DIP 1028---Make @safe the Default---Community Review Round 1

[Paulo Pinto]

On Tuesday, 7 January 2020 at 10:22:08 UTC, Max Samukha wrote:
> On Tuesday, 7 January 2020 at 07:14:43 UTC, Paulo Pinto wrote:
>
>> The very first systems programming language that introduced 
>> the concept of unsafe blocks was ESPOL, followed by NEWP for 
>> the Burrougs B5500, in 1961.
>>
>> Other idea that they introduced, at the OS level, was that any 
>> binary containing unsafe code was tainted and required 
>> clearance from the system admin to be executable.
>>
>> 8 years before C was even an idea.
>>
>> Unsafe has a long tradition in safe systems programming 
>> languages, and D is one of very few exceptions that has chosen 
>> something else.
>
> Interesting. However, I didn't say that C# was the first to 
> introduce the concept or name. I said that I didn't like the 
> name when I first encountered it in C#. Also, you suggest that 
> there is really a tradition, which is arguable.

If we count the amount of safe system programming languages that 
have used unsafe and the others that have used something else, 
unsafe leads.

D (@system), Ada (Unchecked), Oberon variants (SYSTEM 
pseudo-module) are the only ones that occur to me as not 
following up on unsafe.