The typed-session is available now. I wrote some articles on how to use typed-session. https://hackage.haskell.org/package/typed-session https://hackage.haskell

The typed-session is available now. I wrote some articles on how to use typed-session. https://hackage.haskell.org/package/typed-session https://hackage.haskell.org/package/typed-session https://github.com/sdzx-1/How-to-use-typed-session/blob/main/English/01-PingPong.md https://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/data/02-pos.gif https://github.com/sdzx-1/How-to-use-typed-session/raw/main/... https://github.com/sdzx-1/How-to-use-typed-session/raw/main/data/03-modify.gif https://github.com/sdzx-1/How-to-use-typed-session/raw/main/... https://github.com/sdzx-1/How-to-use-typed-session/raw/main/data/07-run.gif https://github.com/sdzx-1/How-to-use-typed-session/raw/main/...