Type-safe finite state machines in zig！

sdzx-1 · November 21, 2024, 3:44pm

I used to develop type-safe finite state machines in haskell.https://github.com/sdzx-1/typed-fsm

The same effect can be achieved by relying on some programming conventions in zig.

I made some examples using typed-fsm-zig: GitHub - sdzx-1/typed-fsm-zig: typed-fsm-zig

typed-fsm + gui is a very good choice!!!

sdzx-1/typed-fsm-zig/blob/610f5eed5c305e313eea62579a11ef2bf016597b/examples/atm-gui.zig#L169


      
                          const st = std.fmt.bufPrintZ(&tmpBuf, "amount: {d}", .{ist.amount}) catch "error";
                          rl.drawText(st, 100, 90, 30, rl.Color.green);
                          if (ist.resource.disponse.toButton()) return .{ .Disponse = .{ .v = 10 } };
                          if (ist.resource.changePin.toButton()) return .ChangePin;
                          if (ist.resource.eject.toButton()) return .EjectCard;
                      }
                  }
              };
          }
          
          pub fn changePinMsg(end: AtmSt) type {
              return union(enum) {
                  PushNum: struct { v: u8, wit: W(end, .changePin) = .{} },
                  Update: W(end, .ready),
          
                  pub fn genMsg(ist: *const InternalState) @This() {
                      while (true) {
          
                          // render
                          rl.beginDrawing();
                          defer rl.endDrawing();

sdzx-1 · November 21, 2024, 3:47pm

The advantages described here also exist in zig!