It’s a long con by the computer scientists who can’t be bothered to constrain the domains of functions beyond int, even though we know square(x: int) -> square_

It’s a long con by the computer scientists who can’t be bothered to constrain the domains of functions beyond int, even though we know square(x: int) -> square_int. They wave their hands and say everything is interesting.