On: The CompCert C Compiler

[pjmlp]

Because typing &myarray[0] is too much typing. /s

Even Dennis Ritchie tried to add fat pointers, but failed to have the new C overlords care about his proposals.

Despite what we might think about their feature set, it is quite relevant that Alef, Limbo and Go were designed by the UNIX folks, and all of them don't repeat the same mistake with arrays and strings.

[psychoslave → pjmlp]

Interesting hint on Dennis Ritchie attempt. Here is a related thread: https://news.ycombinator.com/item?id=39677581