|
|
|
|
|
|
by mixedCase
1742 days ago
|
|
|
> 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. |
|
|