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