I agree with the speaker that adding basic static types (Java/C/C++) is lot of work for not a lot of benefit. However advanced type systems like the one in Elm

I agree with the speaker that adding basic static types (Java/C/C++) is lot of work for not a lot of benefit. However advanced type systems like the one in Elm, now that's something else. Especially when refactoring and almost-writes-it-for-quality error messages from the compiler.