https://github.com/sdzx-1/typed-fsm

typed finite-state machine
https://github.com/sdzx-1/typed-fsm

fsm haskell typed

Last synced: about 1 month ago
JSON representation

typed finite-state machine

• Host: GitHub
• URL: https://github.com/sdzx-1/typed-fsm
• Owner: sdzx-1
• License: mit
• Created: 2024-04-02T22:15:30.000Z (10 months ago)
• Default Branch: main
• Last Pushed: 2024-09-12T00:35:17.000Z (5 months ago)
• Last Synced: 2024-10-30T02:42:12.282Z (3 months ago)
• Topics: fsm, haskell, typed
• Language: Haskell
• Homepage: https://hackage.haskell.org/package/typed-fsm
• Size: 645 KB
• Stars: 13
• Watchers: 1
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

        
typed-fsm

==========

typed finite-state machine

Advantages of type-fsm

1. Focus on the right message

2. Top-to-bottom design for easy refactoring

3. Conducive to building complex state machine systems

  + Type guarantees will not produce incorrect function calls when written

  + With the help of the type system, we can define many state processing functions and then call each other recursively with confidence.

4. There is a sanity check. If you miss some items for pattern matching, the compiler will issue a warning, and there will also be a warning for invalid items.

[Advantages of type-fsm](https://discourse.haskell.org/t/advantages-of-type-fsm/9679)