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