README

Author: jiacai2050

README.org

@@ -23,3 +23,16 @@
 #+begin_quote
 Zig Chinese Community is dedicated to sharing and spreading the use of Zig language among Chinese users.
 #+end_quote
+
+本网站使用 [[https://gohugo.io/][hugo]]（extended 版本）与 [[https://www.docsy.dev/][docsy]] 主题进行构建， =hugo serve= 可进行本地预览。
+#+begin_src bash
+# For macOS
+brew install hugo
+# For Debian
+sudo apt install hugo
+# For Arch
+sudo pacman -S hugo
+
+# Snap
+sudo snap install hugo
+#+end_src

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

@@ -20,20 +20,20 @@ typed-fsm-zig 是一个利用 zig 类型系统加一些编程规范实现的一
 
 它具有以下两点优势：
 
-1.  类型安全，极大方便代码的编写，修改和重构
-    手写状态机在实际代码中有很大的心智负担，对于它的修改和重构更是如噩梦一样。
+1. 类型安全，极大方便代码的编写，修改和重构
+   手写状态机在实际代码中有很大的心智负担，对于它的修改和重构更是如噩梦一样。
 
-        typed-fsm-zig 在类型上跟踪状态机的变化，使消息的定义，产生，处理都和状态相关联，从而让类型系统帮我们检查这个过程中是否存在状态错误。
+   typed-fsm-zig 在类型上跟踪状态机的变化，使消息的定义，产生，处理都和状态相关联，从而让类型系统帮我们检查这个过程中是否存在状态错误。
 
-        在编写，修改和重构的时候，任何状态的错误都会产生编译错误，而这些编译错误能帮助我们快速找到问题，解决问题。
+   在编写，修改和重构的时候，任何状态的错误都会产生编译错误，而这些编译错误能帮助我们快速找到问题，解决问题。
 
-        > PS：推荐在 zls 中打开保存时检查，这样你几乎能得到一个交互式的状态机开发环境。
+   > PS：推荐在 zls 中打开保存时检查，这样你几乎能得到一个交互式的状态机开发环境。
 
-2.  简单高效，无任何代码生成，能方便与现有逻辑整合
+2. 简单高效，无任何代码生成，能方便与现有逻辑整合
 
-    typed-fsm-zig 是一种编程的思想，掌握这种思想就能方便的使用它。
+   typed-fsm-zig 是一种编程的思想，掌握这种思想就能方便的使用它。
 
-    在实际的使用中没有任何的代码生成，除了一处隐式的约束要求之外，没有任何其它的控制，开发者完全掌握状态机，因此你可以方便的将它和你现有的代码结合起来。
+   在实际的使用中没有任何的代码生成，除了一处隐式的约束要求之外，没有任何其它的控制，开发者完全掌握状态机，因此你可以方便的将它和你现有的代码结合起来。
 
 # 2. 例子：修改 ATM 状态机的状态