3 ms·
How would you compare it to Rust Type States, for example: https://cliffle.com/blog/rust-typestate/ https://cliffle.com/blog/rust-typestate/ ?
by astahlx 1y ago
How would you compare it to Rust Type States, for example: https://cliffle.com/blog/rust-typestate/ https://cliffle.com/blog/rust-typestate/ ?
- goless 1y agoI need some time to get to this library.
- goless 1y agoSorry, 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/fecaffb5b7f5eba09c9428c18f1cd97e7ee09e71/src/exe-atm.zig#L86 https://github.com/sdzx-1/polystate-examples/blob/fecaffb5b7... 2. I don't seem to see the possibility of combining state machines
- rapnie 1y agoThanks for that link. I submitted it separately, who knows it makes front page. https://news.ycombinator.com/item?id=44353478 https://news.ycombinator.com/item?id=44353478