hamidchowdhury | 4 years ago | on: James Gosling Interview
It was very interesting interview. They write the source code, and a static type checker parses the program, constructs an abstract syntax tree, and checks everything it can. And then possible errors are highlighted right within a text editor.