From 772b7ed5ac115060c9e45cbb59a287ae196a25c9 Mon Sep 17 00:00:00 2001 From: GaoNeng-wWw Date: Sat, 23 Mar 2024 13:52:25 +0800 Subject: [PATCH] docs: Discussion on the Commutability of Function Combinations --- dl-flow-backend/.dockerignore | 3 ++- ...242\346\200\247\350\256\250\350\256\272.pdf" | Bin 0 -> 26177 bytes dl-flow-backend/src/code-generate/README.md | 12 ++++++++---- 3 files changed, 10 insertions(+), 5 deletions(-) create mode 100644 "dl-flow-backend/proof/\345\207\275\346\225\260\347\273\204\345\220\210\347\232\204\345\217\257\344\272\244\346\215\242\346\200\247\350\256\250\350\256\272.pdf" diff --git a/dl-flow-backend/.dockerignore b/dl-flow-backend/.dockerignore index 8102f87fe..d0f4e39ef 100644 --- a/dl-flow-backend/.dockerignore +++ b/dl-flow-backend/.dockerignore @@ -1,3 +1,4 @@ .env node_modules -*.md \ No newline at end of file +*.md +proof \ No newline at end of file diff --git "a/dl-flow-backend/proof/\345\207\275\346\225\260\347\273\204\345\220\210\347\232\204\345\217\257\344\272\244\346\215\242\346\200\247\350\256\250\350\256\272.pdf" "b/dl-flow-backend/proof/\345\207\275\346\225\260\347\273\204\345\220\210\347\232\204\345\217\257\344\272\244\346\215\242\346\200\247\350\256\250\350\256\272.pdf" new file mode 100644 index 0000000000000000000000000000000000000000..92f2f8f9e12c566d5000386164541c0056d87882 GIT binary patch literal 26177 zcmdS9W0YpimM&Upo0Yb$H*MRtZL`vqwr$(CZ9B8lcBM{zy}SGF-Tn1FXWSq6j{A=K`JjSO3O&c3QgMcoc{^UM8H5`XJ`q{%}qcrZDDI-;Ar7#VobpJ zr$xZT#s~lq(2Emj5pb|E5HPZ`5$F)m%Mq{<(2Ec-v2rjl5zx#2)m8c5T8sp|ywE1L z#(xb*@c;G?n)#muQTDJmA)r@RG%@`nhKa42vpE4H!=HJIT39=qIR3d?8#tQ?n;6*{ z|LOLRyS#y;jT6CNCs+Sxh(8RFlbmHt3V@CUrV#&i95;QlK<^b*1Z zTHGc81_O3Rb`}OB112^GQ&v_c1|t9)vnhw6sS%?AqX92B6EmX`yD^&~yP=7Z2^$-L ziGkUe!-$EA(b&j@(U6^;SLd%)aB_AuF|dJl&onYL-Zj%V)MtkxNp1007v&Fdfd82U zPoi!H0!5}5n~Ezg0UE3C2Tr06&2NZKph1WD4Eu8l3|R^kIo*(8*@>W!63%eQKN1=E zJG3Dq*$;JSSn0?JWqum)VFAH!-}p9QivC*ifB)Y9SBw8&!TkSC8~QJX{D=C<87oP2(<|brk>uh4{?DR)L{-F|oG)Cr+IvEJsx&P6De+c;Cll zPni`>oa|g2jsBp(%<<1C{DsUvLGagj{{h#C zBs6w@Wvu;zeRBDFNF3j34^BGJsrm*8OECRmQYG(APUMr0@DGC}$z8LxJjs_(@9m1s5=nIa$?-^RA`G z?MJLO&^$3XmMr+XK3E^i4#(s{VP#cGhtZ&OFiR>OGWZj?49ai>5EQY}?aPAun}|p& zhswd>V?s_VX2r`mDQU&SGE2n~(SNwd1!G8ybKLId)=Bt$>9piTNfNL-)dPH}yVM|6 z18k)Wni`4aSfPg~EMtMmgTWlTS~T%cM#d|y>uNNg5=?v6=A>pDuGcNBhmk&5kYl2K z!uv|TO-%0I-oW)*WUBsH@EG>=V}|qs-wW+FIGwSV!(7gTycQAE5k?g=Ju(}Adrch8 zMPiuYA>nk(=BkKWPw%M8m0?{&f|kyS$vRWvYvfA~CT4+o3A%W1WZg3TCUW;_LF zB2|`hn?B`9E7MB5eCEBVxPq}E2jv&~k?5H&g^mg&{=J118}O~L%`E8t{N5gqpNfNH zdmhcsLS$0p&guvUL&`;`xV4&f@g{B@(~1Xg#cI6rcM3H7N(>BI1ZZbs_@LM>Fp!AA z8>n~8M*uML20ikPBGINnk9e;X^B(*c29$dls`lkqpl~UY_AhHp`Z$GM{;k)GIyHZz zbqq@T(>4R@3kRrrQS!!&~+IFB!PZi_+fD zkhd$BQ{1;UW??f~yplgkaRV~HEp3_xun6Gq0T1xp#@X|fA*rH|dViZa z!0C+uJ~sz5S%!N#|HiA{akH&6U}|mQW=)(k>%O2U-0$?7mdX6-wcpZmR)hZu5}-8& z`rj=e`~RV7Vr2yUi)GSTmW7bks~-lYZ69#jv>e&Pbx0eBGmw6V;5ajNQb>a zF->TvH)Fmg1PA4vESerChTUTKbWj^R<&@qoq&;eZ`G#7vKc?0$S>K9%W)~uU_OF3c5 zIG848A5}ynd3xNTT#zv-$&3jO*(AA-oe*=}DK@?qpFR!r`xU>6?hs~lJnN`r2z08( zfqmt)QMMT?nxq#ZwL=mCRib0X+4?epgh6F9o|$H}V}CA-^59vg*KRF{Q4v2Sj3T%x z^tfc~Ua6*h?1&{;3i~ggKxo4yPnz1|T431#06K5t4PHIEppa>OGa`AWJOL5`vxY({ zWmDifX~phg(a=KDynxR<*r>E7tpG27lP1GYrRDzTh4uhkWurWzOW?(7!5<%ucDdj> zSeVS?y;qw0nF?$Z0&v4C6jcJcH=EW)1EyZrROVc*EckB49Yu|7^xHI@=(BwTn0$0Q z+*63bJ%00X7jyreOn>>n{}VsQ#PY9hPDftGDu@BG>sW2lL5fl|I6I(rs#+xcL*0$O zYsk3KKRpN&;q%Qhk>??HZ|ZRBpi9Etr92Wo*4vXB8+O*BfIHgt4moc~7dzfGw-MG0 zqXH+07^)`N3j;*(?&`5eVlO1Jn=e5B9CMWU}dFZF)Gfpt*$<`P%Is@v3_#LBjOXF+mEN->4@7 zauvQl?`#S#4`XhEj_6?$<|8p+ejyzr8ti>qwpFtDrpI84mh}Maov0Bi_8BSoc zTps!j5`kv(dwbK~d5t^q3^O@^sVN+VUYDfNz=l<3s(#5|ODK8hEMvK`!fs>W1X?%I z;}&7nZ+9$$0J0cUPLz)5nP2*3;Zb%V@m&6f0a&BL~(?9m|_lQM!o`vfp2Wrp+ zqd=+*Wf3cDPvSzauqpB+3Gyu^12rU6Y$7RZ4pIaGttE#9I_tAL@D+7hXJM6pSX*Xs zQnj>P%EVDB1^o!Bi-oTvbmF}xJdNZ;d^?p%pG#4xKUY4DztHolK_O~eW4;8HIJJfZ zZM$Z7#Y1O>duF)2f?RA{*L{L=;LFxcA6@rT#xRTzpRaK!ZyA0=aD92Ar`+=k+eN4E zLivjIMo6Vik7i82@s({}?)eRAWqt8|zkpuPE+a4d>ey900?%*kzE6Qn^*q;tQ~p7s zf}(pBw=RR|r_ilhTN}+4@ZhE|&2J2MQTuOr#rXe}SBz``)_);ZmWr3W@-bSE z8%8qrM6OB07?Z@+M{yb%)z5iZEt_;nWIQ0K@E^BGBVsHFN`Wz=MjM?n>!*#&-;X;Ujn=n^WG|$@&iTxyKc)}drmx>k z=_E)<5J@EF)AKXmI|ClPrR)Mw57Ubs{Pg-g?)$GR-XI2Xq7+Ccf{ttf9(d z&}qY8%mQo(jXzrIIc2E~tz0Tu@kYO?E}QPV>)rv4fCS1|p{w&C()?gPk976H(e1#V8a_9r7<%N z0$7WB&|zF7_t?Ec;XKy9NL3XZz!#8pJQ*T(^1XK$tC6iM?&$b!Si_?c|D~p?Nws2* zQO_!E<~Lpriu5XTs(D4FUf^!z!$_iocA|7FSSsHo3K0Isa7j1vpc9W6CP}O>+dQuv}FtbzZ}Dx-VUN zRHZ5UMgpINpD|^wqd4Ghu*yTjP)Zvg@1a)laElLAS0~hMY>f!jUAa*ldG!c&mCH9$ zJEJPLkhfZcqu&&naH};;Wr3BU&aF6GY6)xONnC!wqUovOVLXZ#m)AVIZ_y>x<*h+c zrjR$r_{UK`+(9*Rw)PY?H4We@A9wh47u!@rIr)8;9 z>O8Uf!Cged=Ee#?mtdcJJ&Y^47Ny6(q8$36fT!B8XFUY7Y;vz^oAO;TssCmJmfP!a z`{6C&IvX?VVG02Q1tW_{%<+^ynv!Rd35N1|V5 z!6Px+H*7h#axH%0{IsdIlpA7VIyb;4aAa;`o9$7xq_1IHgplV-O$I^L#z0?}an`z0 zf1-SXz@+jzlJRDKRIk`}a+BNl&^QxUWcs6CT-+(Nkd8 z>tv_!xs6WQinScCd3R$HaDZmbPPajH66790;#gwjZy?ZxKn(rwn& zBA8YNJf^TsN8CF*6MX_kL4((Lx^2#3!-F~pBMsx-zlG=%(j$h$JM zC(8NnAvrMxo5aDHFV)EpbzVB)B|v!2bX8+u`IKhr^2z#2U$4Ft!)h~Nu^uC&)K|>T z#U)EZBbjE_~LUhzxar!fOA_L)^v9eGB#h?437^tp}r>bp9;A zt~+opEIbdn9rWxn){>8!k#NS-;yXx0elZLeE2kLTp@EQ>(azOSPux51Vtb5kPlO_0#|tSO z-zr-Iqx^bX14Kxf{Y8{*J6dzUe(shZ!7LEv(a!bz>2nL_>Oq7%(V|809Z+}Jb*ZMl zRW2(c?8Wn=`?Z>kdSP;K&6%#J!CM@Hg*(OK#=^=L7waC{%&$}zQDqHfh zS)nSS~ISSQr2H>wzCBAG((PIfRcFmmqQ;&)68n%S#W? zPPhQ_-*~xyP7METlI4Gjo){Te{)?AW^pRFE!Qnmj&Hh>1yTO07?Pi4zPhxHbDmY=B z8{oakQc!gT|J?oTxbN*S-R7+;ABS{Pj!{h{vL+G~lA4f6I`7%kTaH}A-mD!+C z@#z_ZrNt*x??C z4ITiVUQkWA*i@K~BULJ!aK=;-hEA)-~6xV8}XppJPC{s;#M7*HnmDh?;x>8XOynJQYx{Pdec)z<3bc3A+N)LjdIJ z0n`b6ZG1@+28q`c0>frbquZN)oLKvz@76fdA&4+$R8F-r5#J$ucm( z@BbK{rv&966DN{vJL}>?rC^wxjhOhIw>Cc;oCGtM6d&e@RM&`#`m@(hdm(?6jb;li zS$1p14E1~c=R*?Ti(gMY4o2>A@GpP7@A9ybleLWx1cHc#lne0%X2jXz1gc2z`%s2( z27o&QqGprQ&Wj9>&yM9mzZp^L zKagj+(gn@s>6A0Sh-GPWmD^E@hoT1E~&Do?H~C!E)7 zSi_$?%HL8Jb_rDKZATL4%XWXD2I+AssAM%5IPV9ELnb0sBISS)DxZ(WRK)N>STM#f z6x%WyTgOVJ2_Ck~@h(RzB;F#MM)G&Y7{I5+LbJB3xeeQ9h@BQ3w$a%lQP}ll>aFUd z7=-WA6CE@@JLc<&sG${!az{&-Dn44HMPYMG1&T}Fbm5cz2;s4WbF)n+*v3ana{($< z)8P=e8Lnld{YW`P(zd4X?NkRTJLT7Id$=iItNrc!U@vOAP{ZRfHJ$r(8$?qo5EXpP zRi9}meuhM+>LWXQS;$dnVcgtaUff)|!E}*DGQ`vVS^gQdLMO4M({O4`M!xTObpkYotZbcsT%1)| zGxFC&-LbE&Nd>_}*of=?m}k1sX+NUC87ptF$6zEf9-%%a|J2R0W$0T1~vjE=%@-%x`Dxo9(R2~H{;XITQU7HP++-Gn3eT5ge3D#a-3=G zD1+1jO;%R?p&wQpvxu~|m=X%>@w#ReQ-?mMA4S!>MqF}5aMdhp+bXOR7YWU9QB9G< ztH)FPP5d+;$>yes$xO$%=pJH;-%jaoaQo*9!r$WdKiO#(=D%uM|5Pe6);BQFH#RE{%f-!avx*nbtH zn~;(JqI@AsHZJ@{mi&!_1G?{ZEUk<*2^x#-J1Hrc>hIr2M@ODvZ9|@~BB!qDoX|&U zq~DNur4+VkOp@Y}mU_AlH%)T|e)YE@ zJ6m&G95r`U!*M&qTRlo0ej6npuCKH=TBX(99St3U1x-CZ`J0PZCC4#77~9WT7Qfwo zUA^IW^Bw!9Y`*K*F(2&Zv`_M7_3WT$vDSEfzK36FzVg+qSyH!8OdPw+#DCqMxuu>+ z|CEk;&q=XnMNCV(^Dct%W1o4=2H5NiHt$F*tf@KZ?CP=yhaUHP|q2Rr+}GJ!VMP8!<;XCx=o^}Nb?%XE2i(4EIUkA}F&D5D{y z6cqT=-(;L6p^di1v9ak=#|B{>KX0pjov+6cmlhRWpO#p(8EdT78tVIR!Gj!g(@gq@ zB;=or!{+-i4IPg8cwBniIpiL9Z%1#hyqKqtkVe+Fb~Zd7`RDRdW-HjCmmBml7knjb zUzL*=u~p*5wc1LgD`$rwo{k@+A3eq8BS`&^Z_O544KfqDNheTf?Q>#?{tit=&D93B z25B%17s0$aF?*-_u`m!kbbuKqy7Xsz>rt`LO;@$_+VCo|!CCF7urkw-x8I>tZervIqkRiY_v?*$CVVvxxAaHjRA72LaV) z2+K+a2-n5BCW6wnIj4E+?8zmvv%Vqomg|ib!S@iq-O0pV9C@T;RVGfRO2K)8y%_tU zG6yL$MeXvPM&*MU<_k=nK|TVW4>D9{CL|g%-<1=)QR~L(g|oaBk!cXH0G4RZjdjhY z2S0;8e|sDNm33CH(ui$b*Hrm<`F)gJugBn8+4!wnZhMPiDXIaY+Q*;gV~~p^6}~=xK>J=1T&5b(9sn#9h)U>;WH{KIa1NW0wG244?>rP zMQ_lfenebx=^9$OAMX+b4LC8Fu?Fr_+gwo^j!}_2qZthujOhh4BL39&_6&;TXY%zp zyk2Q;#*2#LhmIGf!AK)3;m4fOA)UOLRapEe#)_U1s#}F{sBrFO09olbz{Dg=l7k&! zkf-Ty`mXqaAVM+L1ye5;b?;MIr*ZXRM4W;kEGSgmQ6iF^0xPwl@!%o=6yeEH;Jc27V4b(3E=4#J=Gf%+Jv9z z`T_5_zB*Iy{Nm+HOo>AXyxN_tY&mnCO^p~0X36;#V*$yj$*SLJ_9{`0**SQHAMtPuUzuN>euXnRp-LO#DBu$)ivu$4 zM@O9q#HxZKSNB`M2h7JB4%eRMj!I25(LBTNjM8ph9SuXx)-^XQm$*7mvKi^LbQb%DokvLWoBXTE~ z4-f6c=aO04>GLjvm_ZGZ{`G9*#YRN*ilvK<>hePp8+)(PeA&=0I zD4z4NQHRS%AED?>{Gz8>4=rZS*~bd+I1igQ+>C+;1|q z9Q#SCNg=^o0YX5KNoa3-UdfmeT8E|?l`A}x$+sD`TU}Dy`uHwBP${H2@R4>QVr|#Q z-+JCNZM1srYCLiYs`D!-e%yHN9)fS(|8LF=F#c~#X8#$$2uTQw{yA0fSGJzv|H{_? z*>5ubYe*RE389XvhVhhtF$o!j=}JBwU{I%TH&s{R^OD$eazZ#GDBbyRr7zaChLQ zye7Hky)Fvw-M4|kj~GCAi~x_&Lgz#9a#^i3s0bB-SAw^~emdEjEsbSpnXMfS+=DPm z5xI=o!tXXZ7ARS3*v{nhd8%A%$eKjSB)jBxx4-UBV=gEtFavesVQv<=OylqfK`Dt* zdI2iYFA01L6dHH}y^gUDU%zT(qOu&hVjyoBwPBuQo}}V3$jaK}$qY&S>;eDWX-@mR zy6WNz6zYc$v3vWHwTIh5^1bQpk@ljuv|G$By;S&Oy1>F~BPMy#yZ*F#@#8f#Q75^2 z2XLr;_~F%Ay4V}v^hDV}Bk;7|`@!#be{p>Bk?Nu0gwcPRAijw$Mt}5qxqWVIeF@pe ze5_u)A%uvDfPZb=eP!NVOTIfTe<=@zCWMR}aL74iUvV#Z6x^d93m+e#gvdZg^<&|blNaeEKl$kDpp9^dkj zrN{%HUH#On>Tda5B)d#vZLaCzG$=eDC3me^uj~J)iTOT+{W!TjZ*Xe9AGH@PHu#$n z$w+F%20LeOlVi?Oan$&D3{Q5nc*#hkp{}}{Sc()%6~!%fIObWgbu70t z+SN;+fi-e#w5-%`ovaLSacajuvqPy2vMi_~^QD*Uf2a!It>F&RG(y{m>QZ2?QN=Ja zyn&>?P)Ghyqg;T2)2N=A7(;H*iv?RN|5NwWBV2IK+l${r22+E~;uNDDny=zZvA8}M zZqa#%3i_^J1f&g%F26Vg{s7}=>=$s}c&*tjAwcnTv&IKmrSX#Gg001LNf@0aVK*H3 z1~p{jk#V8y5h6*dBv)=6zY{4~fe;fR6~+~p>b#RtR(0IKA&j$*?62K&Sxj;pW)X_> zB%|=l7S(J}SNcqvA`$~l+|j7uk{)1HVKt~mmmLE4il`7@G^Ik3{J^jw_)_dFxK@0n z=&Eqh5~RvwEJPD>nJ*^sYVE^1$-L?>LNDF1zvWU@(BpJ4h0kUA7F0ziXj!N~w|zg1 zW2==5D?=1bXy&NFi!&qmLILRHi5T^x}l4r zFTN{l8+Z3da-h6whDwG>Zg12mztR4zpm7+EGZZZBTmARSyWYEauMO=ZXi57$<(d_d z)ZnN7#ft=uM~x;__tfyP0!oR{r~H+~wCI3>lIZwLO4cxuF!!hJPT^Mt4VK3SMX&m) z?4>x7H89CGZ(jryyh$-?13c$c98{+TRJsBzqdQ zge@Tr9K(XY8PgGr;+SbNaw}=502GCs;8i{W+n}CQ>?)E=ZEIM<%FI{hY?>k7bI`^` zKaG07$nArVat2V(IK%Ts%3nbQX*J4LD2FZ}j7^#ald1}=)p{3&id=DrbHD_w!|Fmr zJEiRMy@jB)MTI}d#4knM{;&y0_Z$-oGg40NC)$H zpiY`lQ-NSx1xA%>=_SULeo>HXn7tyZ}F6j)aN;}R*;o*o+#*TS{iG(po;5X(cM zicAQDHTR%O@ll(lNdx&}1->oR27=eoPS($8?`0-FH(-{S*thpy5k zh<#lk?|cv-;G@XGV~JN~{DXaKdC2@N1R!$q&3Z5r`v|q7wrvFtw#8KS!t`My{a~r-dQE*or~qP8YgkpV=w`ltUafJg zS9v~aHxP-SPkaa0LK~P0*B*=u+o)gz7Gq({xG5{%U96UxvPAjnrY^sS!xE zhybC!{g|{YjV)7|=SF%n0ityer&$~;UJ8vHL=9gKTbzsi#JuR~LI9rI8p0=F@>?FM z*yzJ&?ThDP(1eO`BFseY)XT0?H9J;lW~jsZb!HOcg+TNO@#s$fq>4*d2QqTC({A9( zXS|858-e6`6Qs&5AOq|CJ>taQZqZmq!e0@#yEbi+vaJ)j?3pLQ0{>#njSRH9L7&b& zjuQ+}t9I?ixxhP^!3XrK*IJN)$t)qArfOnh3RwtTgJL4#c$5;zZ#f>DOYqg4yRJSO z;Vm{@wBh#5{WDReS4^OhDIOvFlPbTGS1$Tm8o%Ai0i(eP8{dYc^)`y)hkQPo^F_S) zO6*df4w9Q8Z(;KHR@7x_RO#yUmDWk8wuq6$ZzeeR6J;YdIsmMdCY#gs;%YkD@&(x>JCQPF+9Yai2RyhVgh*4hg^juLCG$XRPnDF>Mb@Rv8ru@-6joym z6<#&EZX%dMDvxF+f*i)p@=i6!7^)=-)-}V8D1e3)59qnUcupsyb~)5J-vR{reUM(j z{HmxJQ3;&+;+cp0+*9)X%JgQjJ~lKPEeo|X`tjG+6?-Ov%rEZRmw^(7cGP*wRNHzI zZ|G=Vhxeo(04rA3cGMw(V0K*en;4|qYAEW2d?gYKi`(zYqVLs_-$KgikcvO_V?Go=WCf3F;*Dsph`cXwe=fZ4i;h8e{_!KhrBbl7stak35I~6 z@iO!RX*+`0LTwN(xg(4mn0##yfmw;*TepMW%RecFv!-w718VjPl!7X$D(c7ahWpG8 z^})6@CV0#zIC(uITDRw1j-ACU+C?dqh$A>nYpi-7VpS5yB6^3gy7{LEyB~Zk-f(0R zTD5!EQ54MIg)@WGV}suzLFlu;z?EPb3NXL|;PMU5v5v;>>Mh%phjOc;%(3L@YJVE) zeMt>z!V9eypVM#h<>^@x-!a zDEZ<-BQ_x}*9SLSFVxSNi`sw1^905FbR(pwcx}T}1woZwP)mwDE%Eg@msPWCkWMMk zT^Kim)u^9diuG|Bdo(NhQ_FGQ3Jpw1J*SsB(mt8r&U0x6zJM4uFvpwmZP+n`dd)Hi{nU16iXFEk zps5dsbBBkiClb&!KHhH%ch-(Wx7<*{p-o{Nb!(wz$5bjh9Xwhh=wo+Bjzb%OG)SE0 z^EUIZz}Z-L4j~DDK^pb>XuJk=XKzIr^)9<5vbp{nQY1VG%GO~S|3MeY{6;eT68L1o zh$(8?b_>~WNI@{eWd4VHi-$tD(X=pVOht;-D0`3HJ->&Rs+CCnJwDe6-L|R&$>)E- z1gi-dE~hOE5v2zpOEiunujqP5G5QArS;L}-?ChX7W79hPB+E93YwPapm2#eWMwS+Z zdZy%d0K4qSwj=tv58)BBh#=L_2(8hr#F)U&Y&)C>pgfdBZBf~rZ%Qn(MCC{igOh$= z=4pVh^#sF+=yhXflla5Dt;v zF5~ax?La$=%g62Bc&mn=ikNF&stgz{WTz|15i~yEY#wpr%3=Ldr&BSbOq|#@dlz~+ zVT*GU-6*xlUo{eXaZ;@SWX67~Lh8EVEo40U;jbq~tl(~6w!j$vxDT@^iBXbicQ9HFj$s?<%xOW;#(QpHx zX=vJ2!={YxXL^IVCfbt09;|{5dbxOS9D63){ZI%IbA%B;_fN%R-=yXqqch{n1>t^) zAc$-&_-Q5ZLXUtDy+4AAzcnYKqaKwO8-AEbyDM zwjij1ZQa&c^7q-7&DO9doe@BnV4@yPd#Yb{x#BNN$HCEld*@5S7I8Nu&M6Vq`ymENV?DPx0XCbiq zmIC0iCoYDjFO(vQGEwo;IFmGH_i!MM1koj*h}rBlX_R^8%D!RdrRuogITz&#QTsAB z+%3bW&vncwlRy!!3+*iw`9vU-e-AB_`srCvF6X9Fm_g6*eG^m0uFujm#=5;lRSpA#Tb%(n`a>bnsB*r*0>yTgXTT;7XOC>jK%zd-()8)rd%EHaA} z?2yV-*VAxa5Xrl_e7~*?@`AiWU0Z&0YQ*!V2tryfe|N436GL<_g2ap*we)aHllZFK z9P;{3gq`IY8GFQQU;{fmE6~%LYgrAp|TDDXjX#=I{0+ z2xyyEM9@C_LXgqP2>5`3_)01r2^07hTfDSxtS}}3XXV4Fs`W4?yllMR5#)8Tw3lBe z)Pz1Q%V!b?>^3ImI^K#17TbH({|8)Q9eXAh5^!iA2upiOBP;CL`|>-dzeGK1N&Pa!hvKu(Zl&?7UW+Q*fV;Kk49$%1M_u#6oI16m}TqnrFd)U zZFg*gVj89=@jm|6;W`Z*vOQOpxDy?ZaG?I&B9R|UtotpM>o}4*`!B%+M`)b~f@lv&Xd+q13VWaBW?50dM&L3?$AdTR z(?kMqNm&&3k?@U9W&Lp!>vUPZ7IbNd1(Np=eouPGT)A0JbPx5Fo8( zZlPp)VBux$&W9?tPWN%xitLJ&E2vlFXW9BpE;l*Hv0|I*g0g)ARFcu(CKqhM-FH-S zkz!3qE7G~RR!4`51%w9r(gQDB3Oq#&%@^zQnZYwU3(x6{%ZKDVNZ_d983;8HX~yEv zeYzQyKDI;+@ZlYa4RCN(VNz<{u9>6? z&vagkM6FMJrBEV0KCmzLKBxsRTkz;D@~jRkq8M_smaEkSoW&q&gSz%bIWWu^2&s*4LxA} zdhuVqoZFyaS<{9PMSgqF_eK!Yk!tnJHES6O5%D)7W+(2}d^M5!YFbY%KgkzLi9y}L zS`dJW24pX|CAumVQAL&y1;nc8np{>?nnl9W z{t0T_gP`#$ee=Qc{ubC<0QxkF_iL_?*IT$xF?x}*h*SFs%#|WhI8P%JhL$t{z1mUZ zu#9uud)~X{Ly|st*m7*13b*)0Y4ko%jSU^_A(Zu7ApBkfLujF)K z9QZ7jFLQ522pKa$?b`|2x`P{($E`Pka5<@5GDX{En-ZUfd!enLLZq zXi;W<7-q;uY~Lb?@I+%B2ZLx#8iQf&$ST-Z_UI@!ZL(u|KR^Sn8F$E!y3(T>>@_*= zld6i>Ps~ka_KB54PSmz*+7$bcOnCg_x-}v!~@E*u((*~qmP-H$tK48;$FPEMse)&8u#$ z2YZ_mC(php7M37oNt13tyjm7V5cOg==5>BG$`v|pQqD}~Ru z-P*Dwhe6YhvI%S?FONoAi`&-$HU$`g7bTn(&;W=9zH``(_(TglJ;}yFP&KTB`yw)BUDnp&Or0q=! zewU)*p3Knwi^`D@3|)daC!U?EmRY*rr};$22|6c|0!~4HD7j91CaRb~sKAB=PAr4A@QW3=@CMjmMDb(&!Z%Q!ef!BCP%4itcVA7#jLmJ%O zF)=J=Syy2!5+=Q_kaWlv%Mf^^`9v{qStmnbb93#sJ%o5@r)JE&-x20Kmdg$ zBL>w3iZA+yw{7dRu56viA#5(hhA>6qb>tn;qG{Mt>^tTq((ExrIU2;InXw^HoWF`M zNgpJ(3})U9BX!IkMwt&I3mZmzJsTXS(DEr38)?>Oa>W|D7#q#LE_rDEZq^N$qc~$e zgF#FPgr%JiLC)|}$9zUeI=WqZj5f23#9y2k!ASj10-2pw$U}(@%r|pY{j=e?d znnwszBXWeO&R;~YTq-&Uiqh8QPsC5bHM=z zoeSa(yKOo!3@c9u?Lt6J5?C2i$+-4m!UZ}Mr)p~qh!KyDmgD}Gej}j&L=Qk&kFZ|O zT3#}zmPIwDOhg4ugP$G!PG{s`mp{SMof<}$&>WGo3w^wfRMzuIJ`-2*jSX3s6?P$K zX|y6+Wux!)od4m6h@NPQ{3TJTClqOISTarz=6ap>0cHES7gBM-KnrE7sqx8AO5TNL z>se9;53EnehhChYALgkRjCqm!U%Z)^(g#Str!b*jjYg~k4eb3&e_vNW4S@j=G44UO zFvZ5v6q`B%%4ljT=_>NBkV14kdoFULbE*0A)VwHv4!Dg?78)`?2}i%;6FLvABfCgI zg-ECNL53SWr2(Hf6rba0=x@w|@0&~B?SYu1s*wPO2IFugn#iF^HV3_-=;G%V>8apC zw>t^#A;Dmwu}+5Exy9{=q?Lse-%NrUU)_8o zD6Au^g5V3Z%Gk?2&na+R_hEt0#uj5wNE)P-qEE+ zlbMqvlyCLdpgQU8Hj$EwscLf+bJ>N+$#}OQ2L}@(L~^XFKmiZ1G-Zb3#VDjx5OhI+ z;PBZwcT}Vp(6Zex#Qk0@QEo~O-PjCjz4eixU^_@x7-8asxu1okr#sD`>su~)Bph+M;cnN=<_6!+ZUxdp>y0om^-e)F>N zRl){2AbNDIG%>ii9|cxlx?G`s&m^~ZG~@&Lib};>x_)OfevPoTz6xH6qjpVXa88Hs zd-{s4NWHKYw37W&Sn77ylPCHe>3c7Yh}CR)(auVw(+`n?&)fC8YqV30-EdjeFnqi1 zX&~%qLf8!e=x0fUFe(MYZw%oD$PFPW!m5S1@pd_XIF~021n{#^4H8EK7dc??6ot{R zj&dE=gGX&03Xm4zNK7^IaX@I%kgE}LmT=|l>51nkZ?$T<_7ho4r)_F##7EQp~;u-0GPz`a)1|UEjPjV^8X#Xu@c* z;cIrJDk(#%hzwZ_HB=Le`op&BmNfZEVOr8+2T*hhos{I1@B|tzX}_k5@o(4PFLtvs z5SQTmw*;GZkzoPbC8XqZwwF4Z`-JTni;xNO`z5HW`S9)H#R(IKSGbeaS>7z;($>0+ zRb+-r@kG&_&2)o=#nZHiKJUAqAIxU)jg!N*Q5zr6@`xtd{Bq=GI9M?!VA197yp^xH zn4mdpdVO)UFCaq+0^_Z+BNc;gXzP+&VVeVO`;9cdL~-%iiE)_%MWklMoW_|yr?~eK z`3DOpSPUTvVH%q1wO^TFrw3j}v+T@HHm&w1YggeOB;R5x{xOWe!(^Y6T=|G#4O>gmjUXI zIbnq{xu?A5V94xgavi_DdhFiQ1by*Aa3RAkduO`1y(^-eaNO??Hj)P%)5PVaA574uDq0hL0Dj4Rb^@|Tc`O{pi8 zz91JZYYRe;%>dYdL%b42IN>Pg<_qpzuk9~pqxANXWde7iv69(Yj6n+A;^kb$!pCz$ zrQP~&zOE#HV*8Awk=W&8;jKhF@hqP_jp*2SNO7D7Qy8&xxe0bZ_7VWHbvQP zWW=6`S$#Q4cv@{nqAUDjvFMZX+d4izLhmUY%7e@gP_z{MBh_a!KF}?hZ%#ZQtO5uQ zH{VwZAe^+G^$xohNAsGW-cPI)Bc$SA#R?*;Om?jykvL^d_-#=xQYRi>DWbNfZ03Aa zETOcKLD&{4Xo}Q)9A|Y_P}1?R!H4%8J|fK()f9uEH~8~VAVuow(U84cDV{X=-DlP@ zjc`7Q<ZyvFOd~umW@9xX_gPKP!SG1Dsx*u=UFgSBAdrr3S%Z%g|iJ7d) z2W$t4*~TbuS;E>UEZ9XIr|+EhN|MQRS49}AN&UNxRuNYDt0!dJv5U}M9n^K{WjN~- zs)v%2j&NjW#dKn7vy-!5c4)V`fDa99Umb~!#NZPsBgnmg)W-^(b9@?o+%Av~O4`L^8Glegz?SL* zlLhyjF00SetSpZz$89HaSw&Jx`_l+T>1CXHMH zawsxww6vOzm4+-E)YvU@ZTz=i$y{DCxO1f}4~iHj9IZU9^{IQ2R$)6qZZ6T-5;6wbD^m+dz7!H| z(i95V-j+ix*wE{QObsh;Z5CynYIRYz(e>1WcNA^h!xR4y+t%i$v?5!&#Btn^Y&Wu| z?pZ1#7>iGAJcMC_|4!qUDz;I!EA;`lC*}hQ{!8i1dBQ|(p#YI!sz6pD3N%!1lvzl3 zR>#TUOIA;3R0*_J*E9;>Gzv9MiU3sm-9BL}7(8~qdY-vOq{R2!xw+5<{+zK%{Vt_8 z+sPg9iTmT6qe^&m8>}!_gqD9=Fvstiw;A!_SmnQfm%Y)C%qmElWwSiGneM{@!u7ts zne=(BdcLjqCM0176(h^4RTg*;XhPRV6MnVv>6n6T1^$zT&m5d(`$w*rKUQqTLfX2T zUfQpS+%VitwmdR7mi>%`$NaOyiQh?l+lA3)-ZOwPmTBp3{JIO;S2I~>rOk=S5lxjP z?2xW)K`Z$HJ!C+ZcUGF(Aq{_msmI+d9frx-2a3)qhm-U_kC}Bxvl!=t9^5|D;X%r-2%%>^`7MjTJc>c^j?I!KL`9b9-VTA5r3~i6 zBRx)fAT_DvC$(NC-ViN~Axo6`UvgHL@Kn~9b#T7(1WU;+Liq^9hBM#UmQkPZDY~z> zYHcXUlJ<3-M!+Dw4L7h&_HBE6N&L#TSL3#^;*z^|%y63Jkbk*Q62tHDO}4G-t@{g) z3lnc^QM8)qg|Xw^wY~Q{Pi8$0Ua9W&ndb-zLpx%iJm>j%GM+`!0X~YwI#a~#c)cqT z5s%ftES~Dq#fuOC;t!#vcz1HUWmkZvh)1u{OuQ|^Vja#4mv;@Bh;^+{xUI!00^Q*>0!gE{K{nj#nPv@hrpLdLNwWVaRFAWC4I!DL#3jK1 z=Z_NItHBF{zZ0P;tt94_@xN<^X|t-csIAjvkyMxS;T`J#%WPC z5NtzWYAnj`eD4H=d6L;CL;W-LGyAP8SLREv+U)HdDqn1uWGZEj2O0SJ@AB_K``3mv zXc}nqEfIhR-!rmG^y3C~I(~jKgex=A>kVQ5M0x)0ecrUC#YT-XJA?b7&T);?`SIm; zEq(JKZzJV3pGt#cAK3YdPfvz3BvsHVk_vk}!9>40`oJ5KsM;DDvhlNEFW?Mg$J~mr@|CLEW zTug?gVl*lyw>)&?p~$|F+%$gl5yxHkbc>}}Ul zJ=%xbQrB*@beqMNtMf$M7F|7R*M@|A_j5#CpI;_EY}|J_g0Dtvhvh!eCrj7pbWZ4H zm}XH>G$<7{5V^AMOyl*sZ84R>z;wgO(AQ%1*6j7h$~mVg1bo30N@FC?{^9gO%beHC zseNO*;|swJEw_;Sj6?l}X9za8!jjV*j=qoHIJu6YwzO7c@q>BGr<)B7wsC=do1{xV z`pTXoEld)Mmq%{b#6FX$!|IdZySuQ-I0%xR3G0J}l0neY1RmicshZe>1#7!-n!YJW zQ3Y0H$j-!-4@z2;#%H^P3t+b0;l+=i(;fp+J2r3IzN~Dry>TOx0xB5zMT7TYtJe(nz4635p8}wta3~J{=J%~W{D`PEcrf? z7?7&tBoqm~x9X2Axbnn?BoE0FrBs0v&lyy}1gqAaE{7;bGOO;+#Dp=N;pdfNrSU{4 zSi;R$eBDH0hl1A9p9B1__-T}60#z6s1LRX+FNk(~+WpZO-ekolYeKF&S`v|>XpR;H z=*Hl-aYfhGrp606ePSqSAZUX>%z&X(mghwhZd8$tA=4Nf3~`hj@4O`izsA~poakiO z?ix|@Oo8G36v>l|OvBaD?!v?K#~yL|p{}i37AzI%TmfD%w$w;bzVNVJa9M zExg(XE>t{l-yWm{Ft{BvIg_irQ}f?5GW=D%9Z;&8WA(Kro5`834s}@&#YwPg^^(}U zskEdd+J(P&@Im0i-72Cow=)TUgouRNOixJuEHeplM;vxZa}HVALpB(FX$!0IkfgO1 z6QC-PCbhus2}mXB&stwCFBV`I4L1zKW7v=-X|pK;9^f##j{TvuA@m89Tq& zZl?%h;V{IgLB=H%K9WgR$Y6$fIm;t0pDTwa1-qo|sT*!1Twccmx3|-P>ra52xVM|W za~Ei=6(BY8>fRe-F4~_~{** zQAn1EVsL=(b-6E{fMG|(tiVWlau^z;R2)6sDnT9FQn3%2c=kKhC4;$neeXz_1hkE1 zO-Mzh*)S5JTaOLFqWOlMp?orymVu0vudv!yP0%;$gfXTFyy94|B&Y7^5`_FNFg`CL zbiz+M|7_Ul#3HK+{K%_-vEU*^nLmSXITdvr&TeNpOs6Os(8VC`+3Xf7xgr8eJ7nP@ ztbd9k_%W6|rgY!u8JS|`ERP^{5e&dSpR#l*d_z}uztoElM4L}PbLq*&6YmhTP$pD4 zzS_yF$4w!0e(AOrl*2%mSa{Qyj;Xj7Wbhl|LbwKBU(f{!2RGp-vi~Dpxy>|z%T}?q z-&?K?yaUtFtB>!XRg~U0l3L;A;74Oz*Q=#x()HeEQNPOR&`Kl1xLOE z;sQn<1z1Mk(CchTJ7$4>op^PApc%ehsaUZiZ%i5*N?u$V z?5g<-kNohZGzYB~{t>@x{dQ2#8H%i?@h2(mbr(^Zg+X5E6SMqDPeNPcu~}X&9O$qH z-BJ;#S#OQj5WUMw5WCqtgY}AelvkAiE(dE8Xjr5|lr_H4OOUYr=%;v=3fjhM@si<2 z@_Wu7U{tB&b?AYrO>O*Y@T5F>cg(UnwF8q6_AP;k`X4U>;ldxUQyVqaG+?=;S1X(p zCVEt0f|8?Dc3daSf;7gHO7Kp?E=J6C8rc|GZ6!*?{V@@7Xw=3kkd*nN^1aMer;e|n ze(MPNlP`%1b6lG>w{s6q&uvhhxteGAt!S$Lf1dzf!LI*7U-eHQ`d{Hq+gC*=C;pyb zcXz>5x6zw7*g-Jfe_8!M*E{@u@Zx%o8X1%nXaPOTltp9AG%5nke4eU{6qEliNp{Q8==x%`!%?Q_^=8J@5XG;mV(EVJ zG(T5yH`RU=>{{ajn94pWNLiPEU@RyPl;_V5d;jRc8 zo^EjfFn2{8EEJij#Q~f|>^02lvsLQIQ;$?KH z)DfwqT9Iopxw=l3(k?zJe@YcPI8Q*xo5!X;+Z)kE+w05q{Di_6#zpT_4F*%MIakkQS4 z>(kqIs=WjPUXIJm%+xB&{3?Q%rB4g(lD>-t$OHR?2p;%>x0YCYaTd{gj|j7td2TL zyI6)j^2tzg%zgt)06FU5rkHE55#;JNe?C@+=d*zAhH_&KedPqtmjQz`w7h<-_!ERy znfKu3siQ@8oLmIt%Lfa|s-x+(KcRPm5*u*2i|*2wWr(X;J@Mj-l?2VC#!;XUv$Q=f z62mCJCv;8sPW!WeH}n|siSqtPM{I>bW2sp3km5vd<%=Cm-*RjMq~?@A#ltN^J`yS|Z4H=z-#@+sqUKO0wA`?K^D9NW?`{ z=V`#|mN|>T=)eP^=Ul|FO@O$&p6Xk}7F3B@+cSZYLzZI)V(KB^3qfm30#h=R{q zv9WF0r2I#`&h~{B??grat)D3s3vuo?ssu}Nq_|3-fnuQO5q+ZA*c*BQN>x9ueP zFb=u9UJdQMB=n`kJRmipzFU0f`BEMp@w8}a;d`soW}ATk95T}$H`*~m5wOlYe{xdB zx*BgvvqeE|VX}mDdXcOwEJa~(E1kGHhoJ%*?nO1F{E@lXDd}gN(a$ zS6DSYBeTtqc-4Q#;K#&rb67LZjxxDsPS{|?>BL2q$ihrxOn?}mYMn*=;R?3)f z-k{9C&HT&i|D&eipVj=o8JqPJMI1vpQHO5*kP{XPx7~->uzsboU`tUj=eXI*p-MAT zAscV52w?a~Mf3-X{F#ixNxf-GD+)SLo9vK)ePRq7G&kUrJ#ZqVlUK#05oq7{6yuTx zUdEMs@>6|eTQ^(`9;w`IAly6mv#q2>4Duhg5eWNs7T|9W8rb|Y8i1gHBz|pP7&A>m z%5HLYJ~ANIC~mLq)RG#Pz+0*ML9mb)GZ}c^LaR3l8j$9S&l-7)6t@ForH%(zeCO$b zjHf@@l}XRrzBncb3ZF9FZsOA@l_=HNZ(W$z@<)fBEQ!!PnVy~UApTSeI^BZ9UnL9V!U}$VF07!wN|3!7W&5{7gsmR*8_)t zX?x>ZE2=v(nEsQR*SZCakX84kW#G^BZXaW9L`N8ui;!Bxq7*ivqz;t8e20<2dR7uC z)pD&x;y51*rF`%wj9>8RzhJ58-qD#AHi!cV-g|lk@xPi!;J0gzwm1p5nx3 zK^|Dq3=%sjtCW;*)K2<#%%?3zn9)5-G|twtArc*6jvgyLNn%dHRE_OY42rK!I3#Aq zr0&6Ey%PJKyQ;2q&IYGer9JnPcb+ZZVsHe%+CIz~NQq8bT%pQ6l4(M|`+TNRu1)VR zx}O5>?i~0ElB|8E*h+v+NnXW!Oz4vm6r0d=fG>X^RfM|Oybh@J_IJawbl#xf@_(3F z%5NAfCYxlC_;nC(mlC$5wnI}J4~XC=hF6iHQEQ=VaB2yCTWbh37DX=Ns=bVSeq{H} z(l#=@NZ(<5W86Dm5-QcaTK$$8j>oyrw5^NSCn17r2QL@LfC8CLrk2GbABe z*V5IjX7J#mn)RS}d!JFWmOYbjT68sO)kcZ!H(3SDX|}-I>d4Um1wqq!qOWbRquU)N zjWrv)W|N?&CvAbtOk0iv$8^LEuLUy>J4?b09m;=(pZv1?(gI%U3@Sj69za5ei*j5`q# z#wSRt#a1N4zj5o%m`eAfEdmGX( z`yKPJLQt#IE*;G(6PIN1MG_VhKOxl;9u0WCH*%2EPLB0CY!H<$)NKJNu|r|_Pov=| zJUJ@JS%TttI-z!OmYc^;)2yURw{wKYTHKKeZZdF4|aLaF{TXIx#K~VpiYTC z>3h*CI-49LYv(g51#g&6Y}XtgB6PYWY~y$=CyU(2Lf_j!koE4fDLMm=v4NgI;_CSl z)c^auSa5VX8N#K3b-^lJc&`FZ1i8iI+f$;&><5h=R&oh~vF${RY%#v3X`zv`hJNB6 z^y$X!sf*g~B9|COF{3^&VYJ2m5+;%vs!95Y8{Bq0pJ`<@(S+?bEyi!Q)eNC%FEz6_ z=BgwxpA&sXs#tELk0cXPbu0kY^tN?h*XpQ9>U{axk7-+%N|L+FY~|8ZBxAv|c*P&p z%L(GOj}@{!e{0J^0K&g6EQ(D@wbPy=wf}t68a>+-~)uCiumHVq~}Vxw!H3^ zaR$Jk@^hKU6G6HjRy)8? zU#mXP1MEpVH-Y?5c7wsRQGvKN(jGZ46!f`php^cQ4ZJZ+`q-$a{p*&}Ea|M}6V2XS zXH#e!5(Dt$va6z0DR=_v11$Rkr-|kF9yc!t3jBb{fA1^*brbe~+Qz@8io7N*{IzBL zKZlC^@2rs5T$TS{aUgGC=m)>NM|ktL`ORO(l>Zi-@hXQhc5(A^F}FbG=Hf@Dqm%wD HgZ#e$>D-SV literal 0 HcmV?d00001 diff --git a/dl-flow-backend/src/code-generate/README.md b/dl-flow-backend/src/code-generate/README.md index 2aeedf855..90a857d42 100644 --- a/dl-flow-backend/src/code-generate/README.md +++ b/dl-flow-backend/src/code-generate/README.md @@ -6,9 +6,9 @@ stateDiagram state join1 <> state join2 <> - [*] --> CodeGenerateService - CodeGenerateService --> AST - state CodeGenerateService { + [*] --> CodeGenerateService.ts + CodeGenerateService.ts --> AST.ts + state CodeGenerateService.ts { 验证Schema --> 提取节点 验证Schema --> 提取边 提取节点 --> join1 @@ -19,10 +19,14 @@ stateDiagram 标准化边 --> join2 join2 --> [*] } - state AST { + state AST.ts { 顺序化节点 --> AST构建 AST构建 --> 代码生成 } 代码生成 --> 写入磁盘 写入磁盘 --> [*] ``` + +## 附件 + +[函数组合的可交换性讨论](../../proof/函数组合的可交换性讨论.pdf) \ No newline at end of file