Type-safety

Type safety refers to when static analysis is used to check for type errors within code.

Related languages:

Related frameworks: