My instinct, looking at conversations around #ActivityPub and AS2, is that there there's a disconnect when people talk about trying to ensure compile-time type safety with those that prefer systems that lean more toward dynamic, runtime typing.
Because I've seen a few cases now where people in the latter group seem to not understand why the first group views the translation into this as such a problem.
But this isn't about the preferred tool, this is about where the complexity lives.
