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

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