@stilkov If I say "network type system" what do you think of? Trying to do a comparison for a talk.
2
Replying to @ctford
Static? CORBA IDL, WSDL Dynamic? JSON, other simple text formats

Nov 1, 2017 · 8:49 AM UTC

1
1
Replying to @stilkov
Thanks! I want to consider whether session types (static checking of state transitions) fall prey to the same problems as CORBA et al.
1
Interesting, so you’re considering them for the distributed app’s state as a whole, not as internal to e.g. the server?
1