ox-arrays/src/Data/Array/Nested/Mixed, branch repro-UNPACKNested, compositional struct-of-arrays orthotope arrays
https://git.tomsmeding.com/ox-arrays/atom?h=repro-UNPACK2025-12-16T08:55:17ZOptimize the representation of ListH2025-12-16T08:55:17ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-15T09:47:11Zurn:sha1:21d3d6190bbdaf6ca626ac550dcee26e02318442Inline SMayNat in ListH2025-12-16T08:55:14ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-15T01:05:11Zurn:sha1:0d017c7e42c9618a0b1877974ea200b7741cada3Clone ListX into ListH2025-12-16T08:55:12ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-15T00:19:11Zurn:sha1:fa278ff79ead5ccf8a5b47fd197907dd409ca2d9Implement shxFromShS and shsFromShX as a newtype coerce2025-12-16T08:55:06ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-14T22:12:30Zurn:sha1:8579a03c5ae8f4812b72d477251a614d820dd1fcFix f in SMayNat to always be SNat and UNPACK it2025-12-14T19:42:00ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-14T15:55:45Zurn:sha1:b0cc8caff4ccf5df85f3bea743be1f03ddde01c6Make type variables consistent between shaped and mixed lists2025-12-12T08:11:58ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-12T08:11:58Zurn:sha1:8568944d90f5bc9a60e895a789c85b474d4ff8feGeneralize ix?ToLinear and speed it up a bit2025-12-09T09:34:03ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-09T09:34:03Zurn:sha1:ab020a0ece9383f04412964b9fc09d17874d3383Add INLINEABLE to ixxToLinear ahead of generalization, to benchmark2025-12-09T00:07:41ZMikolaj Konarskimikolaj.konarski@funktory.com2025-12-08T22:41:47Zurn:sha1:3594dd9855efbcbfd8c1e62037e8c8a7ece93411
No horde-ad test speedup noticed.
Inlining magic2025-12-03T19:55:40ZTom Smedingtom@tomsmeding.com2025-12-03T19:55:40Zurn:sha1:13a0ad5e2938218dd97c8db49b3da6c5bdd5a5dbRestore suffixes sharing in *FromLinear2025-12-03T16:33:41ZTom Smedingtom@tomsmeding.com2025-12-03T16:33:41Zurn:sha1:fabab15e38f752bc98008a350e9817819ed0801a
Thanks Mikolaj for spotting it's broken