chad-fast/src/AST, branch masterAn implementation of CHAD, towards performance
https://git.tomsmeding.com/chad-fast/atom?h=master2025-11-10T20:50:25ZMove module hierarchy under CHAD.2025-11-10T20:50:25ZTom Smedingtom@tomsmeding.com2025-11-10T20:49:45Zurn:sha1:174af2ba568de66e0d890825b8bda930b8e7bb96Fix pretty-printing for Map2025-11-05T21:29:54ZTom Smedingtom@tomsmeding.com2025-11-05T21:29:54Zurn:sha1:4fbdff58dbf017240fddea1eca5615da655bcc72Some extra Map optimisations2025-11-05T21:29:41ZTom Smedingtom@tomsmeding.com2025-11-05T21:29:41Zurn:sha1:e82b1eed9f9d749afb1e47f0bc8f35e806fda9f6drevLambda works, TODO D[map]2025-11-04T22:09:21ZTom Smedingtom@tomsmeding.com2025-11-04T22:09:21Zurn:sha1:57779d4303f377004705c8da06a5ac46177950b2autoWeak: Improve typing2025-11-04T21:03:49ZTom Smedingtom@tomsmeding.com2025-11-04T21:03:49Zurn: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 map + zip2025-11-03T22:10:23ZTom Smedingtom@tomsmeding.com2025-11-03T22:09:37Zurn:sha1:81d88dbc430ca6ec8390636f8b7162887b390873Simplify foldD2 to not sum x0 contributions2025-10-30T14:58:08ZTom Smedingtom@tomsmeding.com2025-10-30T14:58:08Zurn:sha1:4c9ae47dd5bbd27b1acb6dc5d4a55657ac1f026fImplement reshape2025-10-30T14:56:35ZTom Smedingtom@tomsmeding.com2025-10-30T14:56:35Zurn:sha1:4d456e4d34b1e4fb3725051d1b8a0c376b704692Better fold D{1,2} primitives2025-10-28T10:56:40ZTom Smedingtom@tomsmeding.com2025-10-28T10:56:40Zurn:sha1:955af83f664639701fdbee54718186e07b31d42fCount: Improve counting of tape in EFold1InnerD12025-10-25T08:05:38ZTom Smedingtom@tomsmeding.com2025-10-25T08:05:29Zurn:sha1:765b80616583322226284266605ab3a916da01db