TLDR: this problem has been solved 30 years ago by people
  who actually use typed languages.

You have no idea who Gilad Bracha is, do you? In the face of people like him, a bit more modesty is appropriate. You may want to consider that maybe he isn't so obviously wrong, because he knows his subject matter very well.