@stilkov If I say "network type system" what do you think of? Trying to do a comparison for a talk.

Static? CORBA IDL, WSDL Dynamic? JSON, other simple text formats

Thanks! I want to consider whether session types (static checking of state transitions) fall prey to the same problems as CORBA et al.

Interesting, so you’re considering them for the distributed app’s state as a whole, not as internal to e.g. the server?

Session types let you define a global protocol, and project to types that check each participant's transitions.

Hmm...I may be missing something, but I push against the idea of a global protocol

Its existence is inevitable, so my guess is you push against formalizing and checking it. I tend to agree, for most use cases

No - more the idea that all things should be accessible to all. I worry this flies in the face of information hiding