I'm trying to reduce the memory usage of a tool I'm helping to develop, and was wondering if typed racket could help me? The example I had in mind was a vector of type (Mutable-Vectorof Byte). Does typed racket only guarantee that the runtime value will be between 0 and 255 or does it also guarantee that each element of the vector will only take a byte of memory?
I think you should use bytes instead that does what you want.
Do byte strings have a guarantee each element will only take a byte of memory? I will try this out, this looks like its exactly what I was looking for, thank you
I am still curious about whether typed racket only provides guarantees for runtime values or can also reduce the memory footprint of a program though
Typed Racket does not change the representation of data to use less memory.