First off, super exciting project, my head is spinning with possibilities. Thank you for making this.
Second, I had the realization that using session types, it would be much easier to test FSMs. You could even generate the tests based on the branches with minimal annotation. This would extend the crate's static validation capabilities drastically.
First off, super exciting project, my head is spinning with possibilities. Thank you for making this.
Second, I had the realization that using session types, it would be much easier to test FSMs. You could even generate the tests based on the branches with minimal annotation. This would extend the crate's static validation capabilities drastically.