I'd like to see some hardware that implements records in, well, hardware. collections of fields with counts and sizes. it'd be nice to do away with the idea tha

I'd like to see some hardware that implements records in, well, hardware. collections of fields with counts and sizes. it'd be nice to do away with the idea that we're haphazardly (and implicitly) overlaying things like structs onto an untyped one-dimensional array of bytes (or in some cases, machine words). that to me is more important than straight bounds checking for arrays, because it implies something a little stronger.