Typed-fsm can also be implemented in zig!

Typed-fsm can also be implemented in zig! Although it is not as safe as Haskell in zig, it still has good type safety guarantees by relying on some code standards.

2 Likes

Added more introduction!

Compare the differences between zig implementation and haskell implementation!

The latest design supports generic states, which means that the following state machines can be expressed in terms of types: