Are nested arrays always implemented as arrays of pointers? Is there an implementation that treats ragged arrays of a consistent type as segmented/sparse arrays? i.e. maintaining a separate offset array to indicate where the "rows" begin or end?