Yeah. The hard part is that types are very hard/complex, with many tradeoffs. A standard with strong backwards compat and is interpreted consistently is hard

Yeah. The hard part is that types are very hard/complex, with many tradeoffs. A standard with strong backwards compat and is interpreted consistently is hard (see Python).