Memory safety does not matter

Kapendev alexandroskapretsos at gmail.com
Thu Aug 1 03:29:31 UTC 2024


On Sunday, 28 July 2024 at 19:54:44 UTC, monkyyy wrote:
> There *cant* be a complete solution, if you could decide where 
> a pointer could point with 100% accuracy why not decide the 
> halting problem? While there trivial partial solutions like... 
> *drum roll* slices, note slices are data structure and not 
> "code coloring" and deal with indexing.
>
> If you want safer code, *provide nice to use data structures* 
> that provide clever, *partial* solutions on opIndex. Not @safe 
> vs unsafe vs @live vs whatever code coloring hell.


I'm not a fan of function coloring, but there are some instances 
where it's OK I think. For example, when dealing with safe and 
trusted code, function coloring can help to identify a potential 
issue. But yeah, good data structures are always better than 
function coloring or bower checker stuff.


More information about the Digitalmars-d mailing list