chad-fast/src/AST, branch hashable-gadtAn implementation of CHAD, towards performance
https://git.tomsmeding.com/chad-fast/atom?h=hashable-gadt2025-02-25T22:56:46ZUnMonoid: Properly recurse2025-02-25T22:56:46ZTom Smedingtom@tomsmeding.com2025-02-25T22:56:46Zurn:sha1:6a5055b7747424b8a05ad70354e68e42d680109aPretty: Allow colouring exts (currently not)2025-02-25T22:56:33ZTom Smedingtom@tomsmeding.com2025-02-25T22:56:33Zurn:sha1:ef95be4403d09ebecbaef80e668d52fc5ecd9b46Compile: Emit structs in proper order2025-02-25T22:56:16ZTom Smedingtom@tomsmeding.com2025-02-25T22:56:16Zurn:sha1:7fa10a9a07c7160531baf595d1111277c17a38b2Pretty-printer that supports extension fields2025-01-28T15:58:51ZTom Smedingt.j.smeding@uu.nl2025-01-28T15:58:51Zurn:sha1:3e04b03acd5e7138e0f6241133585f22ddb73060Add ext field to remaining AST constructors2025-01-27T14:08:02ZTom Smedingt.j.smeding@uu.nl2025-01-27T14:08:02Zurn:sha1:88fae8c2914b805a733b71de58ab672124e6069cUnMonoid2024-12-06T18:54:53ZTom Smedingtom@tomsmeding.com2024-12-06T18:54:53Zurn:sha1:3e266262ebe65bd5d775711b4d05bc9670a38a47WIP UnMonoid (to be used for compiling to C)2024-12-06T15:59:59ZTom Smedingt.j.smeding@uu.nl2024-12-06T15:59:59Zurn:sha1:0ccd55fc7b3d5511935111d0e2712f452da035f4Working 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 GMM; it fails2024-11-10T11:39:08ZTom Smedingtom@tomsmeding.com2024-11-10T11:39:08Zurn:sha1:013e01e28aba090c065ed584671a65aa339ea51bComplete GMM implementation2024-11-10T09:04:27ZTom Smedingtom@tomsmeding.com2024-11-10T09:04:27Zurn:sha1:42d59947356ab51e5a4070b930f02f4909208d35