@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
Interesting, so you’re considering them for the distributed app’s state as a whole, not as internal to e.g. the server?
1
Session types let you define a global protocol, and project to types that check each participant's transitions.
3
Hmm...I may be missing something, but I push against the idea of a global protocol
1
1
Its existence is inevitable, so my guess is you push against formalizing and checking it. I tend to agree, for most use cases
2
No - more the idea that all things should be accessible to all. I worry this flies in the face of information hiding
1
Ah, I see. And agree.
2
I do totally see the point of IDLs by the way, at least in terms of client generation
1
Replying to @samnewman @ctford
I view it as a short-term convenience creating way more problems down the road

Nov 1, 2017 · 10:17 AM UTC

1
Replying to @stilkov @ctford
I’m not so sure - I think not all IDLs and client gen are equal, and that the alternative of “roll your own client” isn’t terribly helpful
1
1