quic
quic copied to clipboard
Deterministic state machine API
Hi, much of the current API is based on the IO monad. I wonder if it is possible to present a pure API instead, true to the Haskell spirit, that acts as a deterministic state machine?
https://github.com/quinn-rs/quinn is a rust QUIC library that implements the core protocol logic as a deterministic state machine, for example.