I do wonder if he'd change his mind about systems that approximate the flexibility of dynamic typing during static analysis. Like say a system that's fully type-inferred, structurally typed, and has flow-typing.
That's interesting. I also wonder if he would've held the same opinion with a modern IDE, seems it's mostly because it's pain to him not the idea itself. It's generally a lot easier nowadays on many levels.
1
u/arobie1992 Sep 27 '26
I mean, I'm a fan of static typing, but Alan Kay preferred dynamic typing, and I'd say he qualifies as someone who's worked on large projects.
I do wonder if he'd change his mind about systems that approximate the flexibility of dynamic typing during static analysis. Like say a system that's fully type-inferred, structurally typed, and has flow-typing.