> let's say that some integer must be between 10 and 100, do you use type checks for this? Yes. I explicitly mentioned dependent types for this reason. This i

> let's say that some integer must be between 10 and 100, do you use type checks for this? Yes. I explicitly mentioned dependent types for this reason. This is also expressable in a more limited fashion in a language like TypeScript, although some may argue it also employs a form of dependent typing.