I'll pedantically remind the audience that type inference dates back to the 70s and has been present in the industry at least since the 90s. But in truth, you'

I'll pedantically remind the audience that type inference dates back to the 70s and has been present in the industry at least since the 90s. But in truth, you're right. Very few people know/cared about type inference at the time.