Session types provide a typing discipline for communication systems, and a number of programming languages are integrated with session types. This paper provides a survey of programming language implementations which use the structuring mechanism from multiparty session types (MPST). The theory of MPST guarantees that processes following a predefined communication protocol (a multiparty session) are free from communication errors and deadlocks. We discuss the top-down, bottom-up and hybrid MPST frameworks, and compare their positive and negative aspects, through a Rust MPST implementation framework, RUMPSTEAK. We also survey MPST implementations with dynamic (runtime) verification which target active object programming languages.
