I'm interested in that too! I want to be able to decouple the 'declarative structure' of my data from its concrete representation in memory.
This Tweet was deleted by the Tweet author. Learn more
Conversation
You might find this post interesting. It's about representation polymorphism in Perl 6 - not sure what Raku does these days though:
2
4
There was also this paper: “You can have it all: abstraction and good cache performance” dl.acm.org/doi/10.1145/31 which talks abstracting over struct of arrays (SoA) vs array of structs (AoS) representations.
1
3
There was also a follow up paper by the same group which seemed interesting: “Reshape your layouts, not your programs: A safe language extension for better cache locality”
I've also wondered if somehow you could levitate data descriptions, and then map those to low level memory layouts - thinking of how Rust has different optimizations packing structs and tagged unions, for example. Would be cool if the user could have control over that.
2
5
my language cogent has (or is getting) that. Data layout is separate from type structure and you can choose them independently.
1
5
Show replies