static typing
dynamic typing
exotype
type introspection
manifest typing
test harness
value restriction
generic type
concept
typechecking
property
typechecker
generic programming
member variable
typification
assembler
optional
phantom type
type system
debug mode
duck typing
gradual typing
type hinting
marker interface pattern
autoloader
debugger
directed acyclic word graph
typedef
statically-typed language
test case
assembly program
datetime
code review
value type
access specifier
parametric polymorphism
guard
strategy pattern
typograph
abstract type
reference type
multidimensional array
scripting language
polymorphism
script language
high-level language
testbed
type erasure
type
object-oriented programming
stamp
quaject
quintessence
type class
behavioural pattern
object-oriented programing
declarer
primitive type
dwimmery
utility
bitness
calltip
directive
metatype
scope
shift
bit array
dynamic language
name-based type system
concurrency pattern