Statically typed programming languages can help catch mismatches between the kinds of values a [...]