Polystate: Zigにおける合成可能な有限状態マシン

Polystateは、型の合成を通じて合成可能な有限状態マシンを構築するためのZigライブラリです。プログラミングの慣習を強制し、型レベルで状態マシンの状態を記録し、型の合成によって合成可能性を実現します。これにより、命令型プログラム構造の正確性が向上し、型と合成の観点からプログラムの状態を再設計することが促され、コードの合成可能性が向上します。Polystateは状態図を自動生成するため、ユーザーはプログラムの動作を直感的に理解できます。例として、ATMでのPIN入力試行回数の制限やraylibゲームでの選択メカニズムの再利用など、型の合成を通じて単純な状態マシンと複雑な状態マシンの構築方法を示しています。