Everything in this talk is great except the conclusion about having no types, BUT it’s a strong set of design requirements for better types!
Conversation
I think Rich really just wants polymorphic row types.
1
3
Row polymorphic type systems could be better at handling names though. I've not seen namespaced labels for example. That would be cool!



