[–] goless 1y ago ↗ The typed-session is available now. I wrote some articles on how to use typed-session. https://hackage.haskell.org/package/typed-sessionhttps://github.com/sdzx-1/How-to-use-typed-session/blob/main...Typed session are used to ensure desirable properties in concurrent and distributed systems, i.e. absence of communication errors or deadlocks, and protocol conformance.Here are some gifs: https://github.com/sdzx-1/How-to-use-typed-session/raw/main/... https://github.com/sdzx-1/How-to-use-typed-session/raw/main/... https://github.com/sdzx-1/How-to-use-typed-session/raw/main/...
1 comment
[ 5.3 ms ] story [ 15.6 ms ] threadhttps://github.com/sdzx-1/How-to-use-typed-session/blob/main...
Typed session are used to ensure desirable properties in concurrent and distributed systems, i.e. absence of communication errors or deadlocks, and protocol conformance.
Here are some gifs: https://github.com/sdzx-1/How-to-use-typed-session/raw/main/... https://github.com/sdzx-1/How-to-use-typed-session/raw/main/... https://github.com/sdzx-1/How-to-use-typed-session/raw/main/...