concept
safe
type
search language
query language
command language
imperative language
type system
typeful
Haskell
algebraic language
interface
generic programming
multitype
universal
deployment
typification
imperative programming
low-level
clausifier
quintessence
Smalltalk
loop
writing implement
cardinality
semantical
syntacticism
recursive
type inference
callable
do-while loop
phantom type
typic
type safety
prototype-oriented programming
statically-typed
based
codewise
multithreaded
Sather
event loop
comprehension
syntaxless
high-level
underlying set
opaque
multimethod
polyglot
compilate
idiom
functor
compile-time
many-sorted logic
value restriction
class
typeset
compile
setting rule
manifest typing
hieratic
attribute
semantic
implementational
statically-typed language
valenced
endif
type theory
syntacticosemantic
functional
classifier
shift
type hinting
object language
Scala
syntaxial
functional programming
syntactically
instantiation
monad
softcode
multi-paradigm
imperative
command
go
code review
grammaticosyntactic
parametric polymorphism
trace program
syntactics
waitable
interleaver
logical operation
recursive function
logic operation
stringifier
application-oriented language
problem-oriented language