https://coineagle.com/glossary/type-checking/