Polystate : Machines d’état finies composables en Zig

Polystate est une bibliothèque Zig pour construire des machines d’état finies composables par composition de types. Elle impose des conventions de programmation, enregistrant l’état de la machine d’état au niveau du type et obtenant la composabilité par composition de types. Cela améliore l’exactitude des structures de programmes impératifs et encourage la refonte de l’état du programme du point de vue des types et de la composition, améliorant ainsi la composabilité du code. Polystate génère automatiquement des diagrammes d’état, permettant aux utilisateurs de comprendre intuitivement le comportement du programme. Des exemples montrent comment construire des machines d’état simples et complexes par composition de types, comme limiter les tentatives de saisie de code PIN sur un distributeur automatique de billets et réutiliser la mécanique de sélection dans un jeu raylib.