Related articles:
C++
Dynamic programming language
Visual Basic
Scala (programming language)
Programming language
Object (computer science)
Data type
PHP
Tcl
C (programming language)
Objective-C
Fortran
C Sharp (programming language)
Groovy (programming language)
JavaScript
Haskell (programming language)
Pascal (programming language)
Smalltalk
Python (programming language)
Ada (programming language)
Common Lisp
Ruby (programming language)
Lua (programming language)
Java (programming language)
Lisp (programming language)
ActionScript
Polymorphism in object-oriented programming
Abstract data type
Perl
Key terms:
type
programming
static
dynamic
type system
compiler
programming language
static typing
runtime
type checking
programmers
haskell
subtype
int f
typed languages
type errors
polymorphism
data type
computer science
dynamic typing
type inference
type theory
scala
tipo
duck typing
epigram
undecidable
static type checker
undefined
dependent type
statically typed languages
data structure
intersection type
dynamically typed languages
compile time
visual basic
existential type
code coverage
subsystems
char has range
dependent ml
runtime type
type identity
abstract data
ancestor type
quantification
type declarations
static and dynamic
structural type system
each programming language
Search external links cited by footnotes on Wikipedia page Type system:
|
|