chad-fast/src, branch qualified-contdo An implementation of CHAD, towards performance https://git.tomsmeding.com/chad-fast/atom?h=qualified-contdo 2025-11-07T20:39:09Z Rewrite CPSy code as do-code using QualifiedDo 2025-11-07T20:39:09Z Tom Smeding tom@tomsmeding.com 2025-11-07T20:39:09Z urn:sha1:4ccf1996a5bd739dfb1e62fb3bfb189c04fb6d89 Credits for this trick go to Leary on IRC: https://ircbrowse.tomsmeding.com/browse/lchaskell?id=1691743#trid1691743 Advantage: all the binders are on the left-hand side. Disadvantages: - all continuations need to pass exactly one value, i.e. tuples are required - wacky shit Fix pretty-printing for Map 2025-11-05T21:29:54Z Tom Smeding tom@tomsmeding.com 2025-11-05T21:29:54Z urn:sha1:4fbdff58dbf017240fddea1eca5615da655bcc72 Some extra Map optimisations 2025-11-05T21:29:41Z Tom Smeding tom@tomsmeding.com 2025-11-05T21:29:41Z urn:sha1:e82b1eed9f9d749afb1e47f0bc8f35e806fda9f6 Implement D[map] 2025-11-05T20:52:53Z Tom Smeding tom@tomsmeding.com 2025-11-05T20:52:53Z urn:sha1:38150f4f9792156d8c59439fe47ecb69a0a0e00b Cleanup of D[build] and D[fold1i] 2025-11-05T20:52:24Z Tom Smeding tom@tomsmeding.com 2025-11-05T20:52:24Z urn:sha1:e08936de193f71ea83b472fc9a2eaf77eb84f11b drevLambda works, TODO D[map] 2025-11-04T22:09:21Z Tom Smeding tom@tomsmeding.com 2025-11-04T22:09:21Z urn:sha1:57779d4303f377004705c8da06a5ac46177950b2 autoWeak: Improve typing 2025-11-04T21:03:49Z Tom Smeding tom@tomsmeding.com 2025-11-04T21:03:49Z urn:sha1:351667a3ff14c96a8dfe3a2f1dd76b6e1a996542 - Check that source layout is actually a subset of the target layout statically, because we can and it prevents runtime errors (I didn't actually get such an error yet, but I worried about it too much) - Use less Append in type of (&.) to make type errors _significantly_ less verbose WIP drevLambda abstraction! 2025-11-03T22:10:23Z Tom Smeding tom@tomsmeding.com 2025-11-03T22:10:08Z urn:sha1:3b60a8609649019ba5bce053cdf266b4e3a51dfa WIP map + zip 2025-11-03T22:10:23Z Tom Smeding tom@tomsmeding.com 2025-11-03T22:09:37Z urn:sha1:81d88dbc430ca6ec8390636f8b7162887b390873 Compile: Add -Wno-maybe-uninitialized 2025-11-03T22:10:23Z Tom Smeding tom@tomsmeding.com 2025-11-03T22:09:47Z urn:sha1:2ca218d2e97e521bcc49dea8f4774737ba083ede