You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In case Savi gets FAT pointers, could a string slice which String'val effectively is, be encoded more efficiently by using a special encoding for the vtable pointer to include the length of the string and the pointer itself to point directly to the string data?
This would make any string slicing or parsing operations be very efficient (similar to Rust), as no allocation would be required anymore when creating a new slice. The length of a string slice encoded as such has to be limited to less than 64-bits.
The same could be done with Array slices.
The text was updated successfully, but these errors were encountered:
In case Savi gets FAT pointers, could a string slice which
String'val
effectively is, be encoded more efficiently by using a special encoding for the vtable pointer to include the length of the string and the pointer itself to point directly to the string data?This would make any string slicing or parsing operations be very efficient (similar to Rust), as no allocation would be required anymore when creating a new slice. The length of a string slice encoded as such has to be limited to less than 64-bits.
The same could be done with Array slices.
The text was updated successfully, but these errors were encountered: