Exactly. Those “type systems experts” and “academics” who usually get bashed for mocking “Java Joe”s are normally those who say “have a look at it, it isn't hard”.