For cases where the platform supports C++ (and its standard library), there is kind of a corresponding "checked C++"[1] that also supports the "completely incremental" migration approach. (And obviously supports "array view" type objects.)

[1] shameless plug: https://github.com/duneroadrunner/SaferCPlusPlus#safercplusp...