0:00 / 0:00
#sessiontypes#typedprotocols#type-levelprogramming
Marcin Szamotulski - Typed Protocols, Session Type Framework for Applications 1/3
Monadic Warsaw
1K subscribers • 8 videos on Hallway
- Recommended by 2 people: 2 in engineering communities.
- Presented by Marcin Szamotulski, software engineer at IOHK
Advanced. Deep dive for people who know the field.
662 views7 years ago2 recommendations
Programming languagesSoftware designHaskellConcurrency and parallelismSoftware architecture
Marcin Szamotulski explains how to use type-level programming to encode session types and communication protocols in Haskell.
Monadic Party 2019 - monadic.partyWhy it's here
2 people recommend thisWhat people say. Recommended as a practical guide to encoding session types and communication protocols using type-level programming in Haskell.
Moments people linked to
u/the-cootin r/haskell • Recommends
On “Motivating examples for type level programming”
At IOHK we use type level programming for encoding session types - a way to express communication protocols in a type safe way. I gave a workshop about it last year at Monadic Party:
link to this video
There's also Duncan's talk
https://skillsmatter.com/skillscasts/14633-45-minute-talk-by-duncan-coutts
And the code itself:
https://github.com/input-output-hk/ouroboros-network/tree/master/typed-protocols/
(disclaimer: I am the networking team lead at IOHK).