What about (multiparty) session types? Can they be implemented for the actors to... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

Klasiaster on July 2, 2017 | parent | context | favorite | on: Pony: Combining safe memory sharing with Erlang-li...

What about (multiparty) session types? Can they be implemented for the actors to force them to follow a protocol?

sitkack on July 3, 2017 [–]

A Gentle Introduction to Multiparty Asynchronous Session Types [1]

[1] http://www.di.unito.it/~dezani/papers/cdpy15.pdf

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact