Some modification suggestions

Author: sdzx-1

content/post/2024-11-26-typed-fsm.md

@@ -17,7 +17,7 @@ date: 2024-11-26T13:32:00+08:00
 
 它具有以下两点优势：
 ### 1. 类型安全，极大方便代码的编写，修改和重构
-手写状态机在实际代码中有很大的心智负担，而对于它的修改和重构则更加艰难。
+手写状态机在实际代码中有很大的心智负担，对于它的修改和重构更是如噩梦一样。
 
 typed-fsm-zig在类型上跟踪状态机的变化，使消息的定义，产生，处理都和状态相关联，从而让类型系统帮我们检查这个过程中是否存在状态错误。
 
@@ -200,16 +200,16 @@ pub fn main() !void {
     _ = s1Handler(s1Wit, &val);
 }
 
-pub fn Witness(T: type, b: T, a: T) type {
+pub fn Witness(T: type, end: T, start: T) type {
     return struct {
-        pub fn getMsg(self: @This()) @TypeOf(a.STM(b).getMsg) {
-            if (b == a) @compileError("Can't getMsg!");
+        pub fn getMsg(self: @This()) @TypeOf(start.STM(end).getMsg) {
+            if (end == start) @compileError("Can't getMsg!");
             _ = self;
-            return a.STM(b).getMsg;
+            return start.STM(end).getMsg;
         }
 
         pub fn terminal(_: @This()) void {
-            if (b != a) @compileError("Can't terminal!");
+            if (end != start) @compileError("Can't terminal!");
             return {};
         }
     };
@@ -220,11 +220,11 @@ const Exmaple = enum {
     s2,
 
     // State to Message union
-    pub fn STM(s: Exmaple, b: Exmaple) type {
-        return switch (s) {
-            .exit => exitMsg(b),
-            .s1 => s1Msg(b),
-            .s2 => s2Msg(b),
+    pub fn STM(start: Exmaple, end: Exmaple) type {
+        return switch (start) {
+            .exit => exitMsg(end),
+            .s1 => s1Msg(end),
+            .s2 => s2Msg(end),
         };
     }
 };
@@ -280,21 +280,21 @@ fn s2Handler(val: Witness(Exmaple, .exit, .s2), ref: *i32) void {
 
 感兴趣的可以看一下，看懂这些要求你了解GADT，上面提到的Mcbirde Indexed Monad 本质就是在GADT类型上的monad。
 
-在这里的Winess 三个参数T表示状态机的类型，b 表示终止时的状态，a，表示当前的状态。
+在这里的Winess 三个参数T表示状态机的类型，end 表示终止时的状态，start，表示当前的状态。
 它有两个函数，getMsg 表示从外部获取消息的函数，terminal 表示终止状态机的函数。
 
-当b==a时表示当前处于终止状态，因此Witness只能使用terminal函数，当b!=a时表示当前不处于终止状态，应该继续从外部获取消息，因此Witness只能使用getMsg函数。
+当end == start时表示当前处于终止状态，因此Witness只能使用terminal函数，当end != start时表示当前不处于终止状态，应该继续从外部获取消息，因此Witness只能使用getMsg函数。
 ```c
-pub fn Witness(T: type, b: T, a: T) type {
+pub fn Witness(T: type, end: T, start: T) type {
     return struct {
-        pub fn getMsg(self: @This()) @TypeOf(a.STM(b).getMsg) {
-            if (b == a) @compileError("Can't getMsg!");
+        pub fn getMsg(self: @This()) @TypeOf(start.STM(end).getMsg) {
+            if (end == start) @compileError("Can't getMsg!");
             _ = self;
-            return a.STM(b).getMsg;
+            return start.STM(end).getMsg;
         }
 
         pub fn terminal(_: @This()) void {
-            if (b != a) @compileError("Can't terminal!");
+            if (end != start) @compileError("Can't terminal!");
             return {};
         }
     };
@@ -316,11 +316,11 @@ const Exmaple = enum {
     s2,
 
     // State to Message union
-    pub fn STM(s: Exmaple, b: Exmaple) type {
-        return switch (s) {
-            .exit => exitMsg(b),
-            .s1 => s1Msg(b),
-            .s2 => s2Msg(b),
+    pub fn STM(start: Exmaple, end: Exmaple) type {
+        return switch (start) {
+            .exit => exitMsg(end),
+            .s1 => s1Msg(end),
+            .s2 => s2Msg(end),
         };
     }
 };