2 ms·
From what I understand, the C committee is very interested in adopting pointer provenance semantics, but they also tend to operate at the speed of molasses and
by jcranmer 4y ago
From what I understand, the C committee is very interested in adopting pointer provenance semantics, but they also tend to operate at the speed of molasses and this is of course a research-hard problem.
- pjmlp 4y agoWell, in 50 years they have hardly bothered to add any kind of fat pointer as suggested by Dennis Ritchie, Walter Bright and others, struct based vocabulary types for string and arrays, annotations like SAL. Hence why I hardly believe pointer provenance is going to be any different.
- tialaramex 4y agoLast I looked WG14 intended to knock together a TS for provenance in the C23 timeframe (so, this year). Of course a TS might go nowhere, vendors could ignore it, it might be a dead end, but I don't believe WG14 produced a TS of sane array types, or fat pointers.