chad-fast/src/Interpreter, branch hashable-gadtAn implementation of CHAD, towards performance
https://git.tomsmeding.com/chad-fast/atom?h=hashable-gadt2025-02-25T22:56:16ZCompile: Emit structs in proper order2025-02-25T22:56:16ZTom Smedingtom@tomsmeding.com2025-02-25T22:56:16Zurn:sha1:7fa10a9a07c7160531baf595d1111277c17a38b2Working argument accum mode (...)2024-11-26T22:05:30ZTom Smedingtom@tomsmeding.com2024-11-26T22:05:30Zurn:sha1:ade38c607a8d0dc8dc1d701084ed88df2fa89df9
The derivative of 'neural' in full accum mode is pretty atrocious now; I
think this is because when you have code like this:
\(a :: Arr 1 R) ->
let b = a
in let c = b
in sum d
then because the argument, as well as both let bindings, bind a value of
array type, each will introduce an accumulator, hence resulting in three
(!) nested `with` clauses that each just contribute their result back to
their parent. This is pointless, and we should fix this.
Test gmm2024-11-10T21:40:54ZTom Smedingtom@tomsmeding.com2024-11-10T21:40:54Zurn:sha1:a46f53695d1dfab8834c7cc52707c0c0bb9b8ba0Show accumulator as dummy string, not error2024-10-26T19:28:28ZTom Smedingtom@tomsmeding.com2024-10-26T19:28:28Zurn:sha1:30314e18f48851edc3d39315ac4dd3f60a0a8421Debugging2024-10-25T22:04:14ZTom Smedingtom@tomsmeding.com2024-10-25T22:04:14Zurn:sha1:af51ad3cdce90ac6afe4727c8713426624ebaecdFix interpreter bug2024-10-22T21:47:53ZTom Smedingtom@tomsmeding.com2024-10-22T21:46:39Zurn:sha1:3847c6ae2d5eb581dac88629e7534aa42e143411Tests2024-10-21T21:20:57ZTom Smedingtom@tomsmeding.com2024-10-21T21:20:57Zurn:sha1:e7d7ac0fd8b81c1d6fae9ab7c1e4654133c631eaReverse-by-forward, and checking neural (it's wrong)2024-10-01T21:18:15ZTom Smedingtom@tomsmeding.com2024-10-01T21:18:15Zurn:sha1:948cae3ca7279040627db393e4372a668f8a22f7Interpreter typechecks, at the cost of compositionality of RepAc2024-09-22T21:11:37ZTom Smedingtom@tomsmeding.com2024-09-22T21:11:37Zurn:sha1:7bc10684870e2249efbdcdddb4950f52d8527699Some hacking2024-09-22T12:32:49ZTom Smedingtom@tomsmeding.com2024-09-22T12:32:49Zurn:sha1:157f64af7070d312f06d0539115da2be11754b6c