New comment by za3k in "Structuring Arrays with Algebraic Shapes"

za3k — Sat, 28 Jun 2025 00:47:22 +0000

High-level array combinators seem to ignore memory locality performance details, to me. It's all fine to say you can arbitrarily reorder array indicies in a mathematical sense, but any real program that does that needs to change a lot of things. Similarly, using variant types to index into combined arrays, splits up underlying memory locality and adds "if" branches. Type systems that obscure these details will result is poorly performing code.

That said if you're going to do it, this seems like a reasonable set of primitives to do it with. I'm not a huge performance nut, so I'd love to give it a try.

I'd like to see an implementation in a language with only fixed-stride arrays. I'm not an expert, does Rust do this?

New comment by za3k in "Machine Code Isn't Scary"

za3k — Wed, 04 Jun 2025 22:15:01 +0000

Good joke. E/m looks almost exactly like the programming language Elm though so took me a bit.

Hacker News: za3k

New comment by za3k in "Structuring Arrays with Algebraic Shapes"

New comment by za3k in "Machine Code Isn't Scary"