docs: Discussion on the Commutability of Function Combinations

GaoNeng-wWw · Mar 23, 2024 · 772b7ed · 772b7ed
1 parent 5a41384
commit 772b7ed
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 5 deletions.
diff --git a/dl-flow-backend/.dockerignore b/dl-flow-backend/.dockerignore
@@ -1,3 +1,4 @@
 .env
 node_modules
-*.md
+*.md
+proof
diff --git a/dl-flow-backend/proof/函数组合的可交换性讨论.pdf b/dl-flow-backend/proof/函数组合的可交换性讨论.pdf
diff --git 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 <<join>>
   state join2 <<join>>
-  [*] --> 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)