" I don't see any way without either double-fat pointers, or terminating NUL." You don't seem to have followed the discussion or the paper. The array length is

" I don't see any way without either double-fat pointers, or terminating NUL." You don't seem to have followed the discussion or the paper. The array length is known; a slice is a "fat pointer", but not "double-fat". "The point isn't that doing things D's way isn't great; the point is that there's no reasonable way to put this feature into C." You're plainly wrong; the proposal in the article does exactly that.