←back to thread

Polystate: Composable Finite State Machines

(github.com)
115 points goless | 2 comments | 23 Jun 25 01:47 UTC | HN request time: 0s | source
Show context
astahlx ◴[23 Jun 25 05:58 UTC] No.44352814[source]▶
How would you compare it to Rust Type States, for example: https://cliffle.com/blog/rust-typestate/ ?
replies(2): >>44352978 #>>44353494 #
1. goless ◴[23 Jun 25 06:24 UTC] No.44352978[source]▶
I need some time to get to this library.
replies(1): >>44353662 #
2. goless ◴[23 Jun 25 08:47 UTC] No.44353662[source]▶
Sorry, I am not familiar with Rust. Although I try hard to understand this library, I cannot say that I understand it.

I have two questions here:

1. How to express uncertain state in type. In my example, it is implemented by union (enum) + Witness https://github.com/sdzx-1/polystate-examples/blob/fecaffb5b7...

2. I don't seem to see the possibility of combining state machines