gradual typing
Scala
polymorphism
Smalltalk
functor
typa
metatype
statically-typed
sort
strongly-typed
quintessence
quasivariety
typic
lens
ultrastatic
greedoid
exotype
composability
cardinality
holonomic constraint
generic class
type class
duck typing
quasidynamical
parametric polymorphism
type
valenced
nondegenerate
endomorphism
typeset
functor category
class diagram
abstract type
typeful
nominative type system
generic type
typochronology
inverse system
template
generic programming
time
typeability
typical
Hindley-Milner type system
variable
name-based type system
normotypical
Lua
eigenform
compositor
subtyping
nominal type system
typed
valued
direct product
class-based programming
pseudomorphed
modularizable
directed
prototypic
allegory
archetypical
set
prototypal
direct system
composite type
phantom type
prototypical
static
archetypal
object-oriented programming
sieve
universal property
parity
box
staticize
generic
builder pattern
automaton
type hinting
dynamically-typed
typification
type system
body
pretypify
anamorphism
ancestor
handle
manifest typing
intertypic
regular map
family
monotype
state variable
sortilegic
Standard ML
algebraic structure
unityped
variadics

English words for 'A type system where some variables are statically-typed and some are dynamically-typed.'

As you may have noticed, above you will find words for "A type system where some variables are statically-typed and some are dynamically-typed.". 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