Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Lenguaje
ActionScript
Uso
Imperative
Orientado
al objeto
Si
Si
Ada
Aplicacion, embedded,
realtime, sistema
Si
Si
Aldor
Highly domain-specific,
computo simblicog
Si
Si
ALGOL 58
Aplicacin
Si
ALGOL 60
Aplicacin
Si
ALGOL 68
Aplicacin
Si
Ateji PX
Aplicacion en paralelo
3.0
Si
Funcional
Procedural
Si
Si
Generico
Si
Reflectivo
Lenguaje
Uso
Imperative
Orientado
al objeto
Funcional
Procedural
APL
Aplicacion, procesamiento de
data
Assembly
lenguaje
General
Si
AutoHotkey
Si
AutoIt
Si
Si
BASIC
Aplicacion, educacin
Si
Si
BBj
BeanShell
Aplicacion, scripting
Si
Si
Si
Generico
Reflectivo
Si
Si
Si
Lenguaje
Uso
Imperative
Orientado
al objeto
Si
Funcional
Procedural
Generico
BitC
Sistema
BLISS
Sistema
BlitzMax
Aplicacion, juego
Boo
Aplicacion
Bro
domain-specific, Aplicacion
Si
Si
C++
Aplicacion, sistema
Si
Si
Si
Si
Si
C#
Si
Si
Si
Si
Si
Reflectivo
Si
Si
Si
Si
Si
Si
Si
Lenguaje
Uso
Imperative
Orientado
al objeto
Funcional
Procedural
Generico
Reflectivo
side, Web
Clean
General
Si
Clojure
General
Si
CLU
General
Si
Si
Si
COBOL
Aplicacion, negocios
Si
Si
Si
Cobra
Si
Si
ColdFusion
(CFML)
Web
Si
Si
Si[16]
Clarion
Si
Si
Si
Si
Si
Si
Si
Imperative
Orientado
al objeto
Lenguaje
Uso
Common Lisp
General
Si
COMAL 80
Educacin
Si
Crystal 1.0.0
Educacin
Si
Cython
Si
Si
Si
Aplicacion, sistema
Si
Si
Si
Dart
Aplicacion, Web
Si
Si
Dylan
Aplicacion
Eiffel
Aplicacion
Si
Si
Procedural
Generico
Si
Reflectivo
Si
Si
Si
Si
Si
Funcional
Si
Si
Si
Si
Si
Si
Lenguaje
Uso
Imperative
Orientado
al objeto
Funcional
Elixir
Aplicacion, distributed
Si
Erlang
Aplicacion, distributed,
telecom
Si
Euphoria
Aplicacion
Falcon
General, Aplicacion
Procedural
Generico
Si
Si
FP
Si
Si
Si
Si
F#
Aplicacion
Si
Forth
General
Si
Fortran
Si
Si
Si
Si
can be viewed
as
Si
Si
Reflectivo
Si
Lenguaje
Uso
Imperative
Orientado
al objeto
FreeBASIC
Si
Si
G2
Si
Si
Gambas
Aplicacion
Si
Si
Juego Maker
Lenguaje
Aplicacion, juegos
Si
Si
GLBasic
Aplicacion, juegos
Si
Si
Go
Si
Gosu
Si
Funcional
Procedural
Si
Generico
Si
Si
Si
Si
Reflectivo
Si
Si
Si
Lenguaje
Uso
Imperative
Orientado
al objeto
Funcional
GraphTalk
Aplicacion
Groovy
Si
Si
Si
Harbour
Aplicacion, negocios,
procesamiento de data,
general, Web
Si
Si
Si
Haskell
Aplicacion
Haxe
HyperNext
Aplicacion, educacin
HyperTalk
Io
Aplicacion, host-driven
Procedural
Generico
Reflectivo
Si
Si
Si
Si
Si
Si
Si
Si
Si
Si
Si
Si
Si
Si
Si
Lenguaje
Uso
Imperative
Orientado
al objeto
Funcional
Procedural
Generico
Reflectivo
scripting
ISLISP
General
Si
Si
Procesamiento de data
JADE
Si
Aplicacion, distributed
Si
Si
Java
Si
Si
Julia
Si
Si
Si
JavaScript
Si
Si
Si
Joy
Bsqueda
Si
Si
Si
Si
Si
Si
Si
Si
Lenguaje
Uso
Imperative
Orientado
al objeto
Procesamiento de data,
negocios
Kotlin
LabVIEW (G)
Aplicacion, industrial
instrumentation-automation
Lisp
General
Livecode
Si
Logtalk
Artificial intelligence,
Aplicacion
Si
Lua
Aplicacion, embedded
scripting
Si
Si
Funcional
Procedural
Si
Generico
Si
Reflectivo
Si[20]
Si
Si
Si[21]
Si
Si
Si
Si
Lenguaje
Uso
Imperative
Orientado
al objeto
Funcional
Procedural
Maple
Si
Si
Si
Si
Mathematica
Simblico lenguaje
Si
Si
Si
Si
MATLAB
Highly domain-specific,
cmputo numrico
Si
Si
Modula-2
Aplicacion, sistema
Si
Modula-3
Aplicacion
Si
MUMPS (M)
Aplicacion, databases
Si
Oberon
Aplicacion, sistema
Si
Si
Object
Pascal(Delphi)
Si
Si
Generico
Reflectivo
Si
Si
Si
Si
Si
Si
Si
Si
Lenguaje
Uso
Imperative
Orientado
al objeto
Objective-C
Aplicacion, general
Si
Si
OCaml
Aplicacion
Si
Si
Occam
General
Si
Opa
Web Aplicacions
Si
Oxygene
Aplicacion
Si
Si
Oz
Aplicacion, distribution,
educacin
Si
Si
Pascal
Aplicacion, educacin
Si
Pawn
Embedded, host-driven
scripting
Si
Funcional
Procedural
Generico
Reflectivo
Si
Si
Si
Si
Si
Si
Si
Si
Si
Lenguaje
Uso
Imperative
Orientado
al objeto
Funcional
Procedural
Perl
Si
Si
PHP
Si
Si[25]
Si[26]
PL/I
Aplicacion
Si
Si
Si
Plus
Aplicacion, sistema
development
Si
Prolog
Aplicacion, artificial
intelligence
PureBasic
Aplicacion
Python
Si
Si
Generico
Si
Reflectivo
Si
Si
Si
Si
Si
Si
Si
Si
Lenguaje
Uso
Imperative
Orientado
al objeto
Si
Funcional
Si
Procedural
Racket
REALbasic
Aplicacion
REBOL
Distributed
Si
RPG
Aplicacion, sistema
Si
Ruby
Si
Si
Si
Rust
Aplicacion, sistema
Si
Si
Si
Si
Aplicacion, statistics
Si
Si
Si
Si
S-Lang
Aplicacion, numerical,
scripting
Si
Generico
Si
Reflectivo
Si
Si
Si
Si
Si
Si
Si
Si
Si
Lenguaje
Uso
Imperative
Si
Orientado
al objeto
Scala
Si
Scheme
Educacin, general
Seed7
Si
Si
Simula
Educacin, general
Si
Si
Small Basic
Si
Smalltalk
Aplicacion, General,
Negocios, Web, Artificial
Intelligence, Educacin
Si
SNOBOL
Text processing
Styard ML
Aplicacion
Funcional
Procedural
Si
Generico
Reflectivo
Si
Si
Si
Si
Si
Si
Si
Si
Si
Si
Si
Lenguaje
Uso
Imperative
Orientado
al objeto
Funcional
Procedural
Generico
Swift
Aplicacion, general
Si
Si
Si
Tcl
Si
Si
Visual Basic
Si
Si
Si
Si
Si
Si
Visual FoxPro
Aplicacion
Visual Prolog
Aplicacion
Si
Si
Si
Windows
PowerShell
Administration
Si
Si
Si
Si
Reflectivo
Si
Si
Si
Si
Si
Lenguaje
XL
Uso
Imperative
Si
Orientado
al objeto
Funcional
Procedural
Generico
Si
Reflectivo
Definiciones;
Tipo de sistema nominal significa que el lenguaje decide si los tipos son o no compatibles basandose en declaraciones o nombres
Tipo de sistema estructural significa que el lenguaje decide si los tipos son o no compatible basandose en definiciones y
caractericticas de estos tipos
Tipo checking determina cuando un tipo es verificado. Esttico checking indica que un error es reportado basandose en texto
proporcionado por el. Dinmico checking indica que un error es reportado basandose en un comportamiento dinamico del programa
(run-time).
Lenguaje
Tipo
Seguridad
Tipo expresin
Tipo compatibilidad y
equivalencia
Tipo checking
ActionScript 3.0
Seguro
Esttico
Ada
Seguro[
Explcito
Aldor
No seguro
Implcito
Esttico
ALGOL 58
Seguro
Explcito
Esttico
ALGOL 60
Seguro
Explcito
Esttico
ALGOL 68
Seguro
Explcito
Nominal
Estructural
Esttico
Lenguaje
Tipo
Seguridad
Tipo expresin
Tipo compatibilidad y
equivalencia
Tipo checking
APL
Seguro
AutoHotkey
tipoless
n/a
n/a
n/a
Ateji PX
Seguro
Explcito
Nominal
Esttico
BASIC
Seguro
Explcito
Nominal
Esttico
BLISS
tipoless
n/a
n/a
n/a
BeanShell
Seguro
Nominal
Dinmico
Boo
Implcito con
tipeo explcito
opcional
Dinmico
Bro
Seguro
Nominal
Esttico
No seguro
Explcito
Nominal
Esttico
Lenguaje
Tipo
Seguridad
Tipo expresin
Tipo compatibilidad y
equivalencia
Tipo checking
C++ (ISO/IEC
negocios882)
No seguro
Explcito
Nominal
Esttico[TS 2]
C#
No seguro
Nominal
Esttico[TS 4]
Clean
Seguro
Implcito
Esttico
Clojure
Seguro
Dinmico
COBOL
Seguro
Explcito
ColdFusion(CFML)
Seguro
Implcito
Dinmico
Common Lisp
Seguro
Dinmico
Nominal
Esttico
Lenguaje
Tipo
Seguridad
Tipo expresin
Tipo compatibilidad y
equivalencia
Tipo checking
Curl
Seguro
Nominal
Cython
Seguro
No seguro[TS 3]
Explcito
Nominal
Esttico
Dylan
Seguro
Dynace
Seguro
Eiffel
Seguro
Erlang
Seguro
Implcito
Euphoria
Seguro
Dinmico
Implcito
Dinmico
Nominal
Esttico
Dinmico
Nominal
Lenguaje
Tipo
Seguridad
Tipo expresin
Tipo compatibilidad y
equivalencia
Tipo checking
F#
Seguro
Implcito
Nominal
Esttico
Falcon
Seguro
Implcito
Estructural
Dinmico
n/a
n/a
n/a
Esttico
Forth
Fortran
Seguro
Explcito[TS 5]
Nominal
Gambas
Seguro
Explcito
Nominal
GLBasic
Seguro
Nominal
Esttico
Go[28]
Seguro
Estructural
Esttico
Gosu
Seguro
Nominal (subclassing) y
Estructural (Estructural)
Esttico
Lenguaje
Tipo
Seguridad
Tipo expresin
Tipo compatibilidad y
equivalencia
Tipo checking
Groovy
Seguro
Harbour
Seguro
Dinmico
Haskell
Seguro
Estructural
Esttico
Haxe
Seguro
Nominal (subclassing) y
Estructural (Estructural)
Io
Seguro
Implcito
ISLISP
Seguro
Dinmico
Seguro
Dinmico
Java
Seguro[29]
Explcito
Dinmico
Nominal
Esttico
Lenguaje
Tipo
Seguridad
Tipo expresin
Tipo compatibilidad y
equivalencia
Estructural
Tipo checking
JavaScript
Seguro
Implcito
Dinmico
Julia
Seguro
Joy
Seguro
Kotlin
Seguro
LabVIEW
Seguro
Lua
Seguro
Maple
Seguro
Dinmico
Mathematica
Seguro
Dinmico
MATLAB M-code
Seguro
Dinmico
Dinmico
Implcito
Nominal
Esttico
Dinmico
Lenguaje
Tipo
Seguridad
Tipo expresin
Tipo compatibilidad y
equivalencia
Tipo checking
Modula-2
No seguro[TS 3]
Explcito
Nominal
Esttico
Modula-3
No seguro[TS 3]
Explcito
Estructural
Esttico
MUMPS (M)
tipoless
n/a
n/a
n/a
Oberon
Seguro
Explcito
Nominal
Esttico y partially
Dinmico[TS 6]
Objective-C
Seguro
Explcito
Nominal
OCaml
Seguro
Estructural
Esttico
Object
Pascal(Delphi)
Seguro
Explcito
Nominal
Esttico
Opa
Seguro
Estructural
Esttico
Lenguaje
Tipo
Seguridad
Tipo expresin
Tipo compatibilidad y
equivalencia
Tipo checking
Oxygene
No seguro
Implcito
Esttico
Oz
Seguro
Implcito
Estructural
Dinmico
Pascal
No seguro[TS 3]
Explcito
Nominal
Esttico
Perl 5
Implcito
Dinmico
Perl 6
partially Implcito[TS 7]
PHP
Implcito
Dinmico
Plus
Prolog
Seguro
Explcito
Estructural
Esttico, Dinmico
(opcional)
Dinmico
Lenguaje
Tipo
Seguridad
Tipo expresin
Tipo compatibilidad y
equivalencia
Pure
Tipo checking
Dinmico
Python
Seguro
Implcito
REBOL
Seguro
Implcito
RPG
No seguro
Ruby
Seguro
Implcito
Rust
Seguro
Estructural
Dinmico
Dinmico
Esttico
Estructural
Dinmico
Dinmico
S-Lang
Seguro
Implcito
Scala
Seguro
Dinmico
Nominal (subclassing) y
Esttico
Lenguaje
Tipo
Seguridad
Tipo expresin
Tipo compatibilidad y
equivalencia
Tipo checking
Estructural (Estructural)
Scheme
Seguro
Implcito
Dinmico (latent)
Seed7
Seguro
Explcito
Simula
Seguro
Smalltalk
Seguro
Implcito
Swift
Seguro
Nominal (subclassing) y
Estructural (Estructural)
Esttico
Styard ML
Seguro
Estructural
Esttico
Nominal
Esttico[TS 8]
Dinmico
Tcl
Visual Basic
Esttico
Dinmico
Seguro
Nominal
Esttico
Lenguaje
Tipo
Seguridad
Tipo expresin
Tipo compatibilidad y
equivalencia
Explcito
Visual Prolog
Seguro
partially Implcito
Windows
PowerShell
Seguro
Implcito
XL
Seguro
Xojo
Seguro
Explcito
Tipo checking
Esttico
Nominal
Esttico
Dinmico
Nominal
Esttico
Nominal
Esttico