[mjt0229]

Did his statically typed language include reasonable type inference? Because if not, then of course it took longer to write static types.

If so, then, well, that's interesting. I'm not sure I'm ready to take the training wheels off for myself, but maybe worth some thought?

[ty56]

The earlier parts of the talk generalize out to advanced languages like F#, Ocaml. but the "data" part of the talk assume static languages are completely represented by C++, Java and C#. It was pretty disappointing.