@stilkov If I say "network type system" what do you think of? Trying to do a comparison for a talk.
2
Static? CORBA IDL, WSDL Dynamic? JSON, other simple text formats
1
1
Thanks! I want to consider whether session types (static checking of state transitions) fall prey to the same problems as CORBA et al.
1
Replying to @ctford
Interesting, so you’re considering them for the distributed app’s state as a whole, not as internal to e.g. the server?

Nov 1, 2017 · 8:53 AM UTC

1
Replying to @stilkov
Session types let you define a global protocol, and project to types that check each participant's transitions.
3
Then I’d argue it suffers from the IDL problem, too, unless checks are completely local to each participant in definition and implementation
1
more replies