typecheck

English

Verb

typecheck (third-person singular simple present typechecks, present participle typechecking, simple past and past participle typechecked)

1. (computing, transitive) To verify whether a given value belongs to a certain data type.
   • 2016, Brianna M. Ren, Jeffrey S. Foster, “Just-in-Time Static Type Checking for Dynamic Languages”, in arXiv‎^[1]:

     Lastly, we demonstrate using Hummingbird in Rails development mode to typecheck an app as live updates are applied to it..

Related terms

• typechecker

See also

• type system