Skip to content
ontologydriven
Sign out

Dictionary

Words, grammatical forms and meanings linked to the ontology.

typecheck en · VERB

Meanings

  1. (transitive) To verify whether a given value belongs to a certain data type.
    • Lastly, we demonstrate using Hummingbird in Rails development mode to typecheck an app as live updates are applied to it.. 2016, Brianna M. Ren, Jeffrey S. Foster, “Just-in-Time Static Type Checking for Dynamic Languages”, in arXiv:

Forms

SpellingFeaturesLabelsSource
typechecking Tense=Pres, VerbForm=Part lexicographic
typechecks Number=Sing, Person=3, Tense=Pres lexicographic
typechecked Tense=Past, VerbForm=Part lexicographic
typechecked Tense=Past lexicographic

Relateds

type system · typechecker