That's quite the shallow dismissal, and the bit about AI agents is a particularly weird non sequitur — King's argument is about what type systems can and cannot express. AI agents don't change the relationship between static types and open-world data processing.
It sounds like you're annoyed that Hickey's position was effectively challenged.
No comments yet.