10 ms·
Funny that you mention data oriented design when I coincidentally happened to mention research on types and data layout in my other comment in this post[1]. May
by Dewie3 11y ago
Funny that you mention data oriented design when I coincidentally happened to mention research on types and data layout in my other comment in this post[1]. Maybe this won't turn out to be practical for data oriented design or for caring about memory layout in particular; maybe it won't or wouldn't give enough positive benefits, like being able to easily change the layout of the data structures without changing a lot of the calling code. But the view that PL research and ideas are all about denying the underlying machine seems to be an overplayed meme. Not to mention the idea that people that want more powerful languages are lazy and don't want to think about engineering considerations, instead preferring to put their fingers in their ears and deny reality; I don't think we will be able to simply send our specifications to the compiler and let it figure out everything for us. Thankfully there are a many more approaches that don't involve a black box like an omniscient compiler.
Jonathan Blows Jai language also has some ideas about being able to easily change between SoA and AoS.
[1] http://dl.acm.org/citation.cfm?id=604147 http://dl.acm.org/citation.cfm?id=604147
- agentultra 11y ago> But the view that PL research and ideas are all about denying the underlying machine seems to be an overplayed meme. Well I am not terribly hip to what's "played out," but I don't intend to disparage academic research. What I am concerned with is the idea that you can't have mathematical reasoning and correct programs in the absence of a VM and some combination of denotational semantics and program invariants and other features-du-jour. The trade-offs for "expressivity," are not zero and we throw them out rather casually these days. Other trade-offs such as "correctness" also have a cost and non-trivial trade offs for compile times, run-time support, etc. And it makes reasoning about these characteristics more difficult the more abstract Flub is from a real machine. > Jonathan Blows Jai language also has some ideas about being able to easily change between SoA and AoS. His work is pretty cool and I have been following it from a distance. The paper you linked to looks interesting. I wish I was an ACM member so I could read it!