statically-typed
dynamically-typed
strongly-typed
static typing
typic
dynamic typing
value restriction
typification
exotype
type introspection
type system
generic programming
manifest typing
weakly-typed
concept
generic type
gradual typing
generic
typeset
Smalltalk
nominative type system
parametric polymorphism
metatype
duck typing
stamp
type
typechecker
abstract type
marker interface pattern
type hinting
test harness
type class
filetype
phantom type
valenced
quintessence
typeful
assembler
datetime
typograph
high-level language
functor
generics
statically-typed language
polymorphism
nominal type system
normotypical
typecheck
typing
thrash
name-based type system
set
optional
type-check
type erasure
cardinality
typechecking
typa
sort
typembryonic
debug mode
autotypic
quasivariety
object-oriented programming
typedef
Hindley-Milner type system
pragma
code review
bitness
composite type
homeotypical
dynamic language
Sather
classifier
format
autoloader
assembly program
multidimensional array
property
forward declaration
typed
Java
pseudotype
scope
metaclass
directed acyclic word graph
value type
safe
concurrency pattern
generic class
executable code
Lua
compositor
metaprogram
lint
expression template
monad

English words for 'Belonging to a type system that checks the variable types at compile time.'

As you may have noticed, above you will find words for "Belonging to a type system that checks the variable types at compile time.". Hover the mouse over the word you'd like to know more about to view its definition. Click search related words by phrase or description. to find a better fitting word. Finally, thanks to ChatGPT, the overall results have been greatly improved.

Recent Queries