Type systems are 0.1% what I'm talking about. There's WAY more to a function contract that its type. For example, consider the function `round(x)`. Does it roun

Type systems are 0.1% what I'm talking about. There's WAY more to a function contract that its type. For example, consider the function `round(x)`. Does it round toward infinity, toward negative infinity, toward zero, bank rounding, etc? There's one easy way to find out: Read the documentation of the function. Programmers who don't do this will find programming "hard" because everything they do will eventually break and crumble. Working with programmers who make assumptions without finding proof in documentation will give your project so much technical debt, you might as well redo their work yourself.