Discussion Thread: DIP 1035-- at system Variables--Community Review Round 2

Tue Mar 2 22:06:30 UTC 2021

On Tuesday, 2 March 2021 at 21:41:40 UTC, Paul Backus wrote:
> You are conflating types and values. Pointer *values* can be 
> either safe or unsafe, depending on what they point to. Pointer 
> *types* are always unsafe, because they include both safe and 
> unsafe values.

A type-system can be made to distinguish between safe and unsafe 
pointers.

A type is just a tag stuck onto a value.