&gt; <i>CORBA (and SOAP) had type safety, something which is missing from &quot;modern&quot; systems.</i><p>You had the <i>illusion</i> of type safety. In practice, a robust distributed system needs to check all messages at each node -- ie, check types at runtime.<p>Any distributed system is, in fact, a dynamically typed system, no matter what the headline says.