Language Comparison Table
Language | Paradigm(s) | Standardized | Type strength | Type safety | Expression of types | Type compatibility | Type checking | Parameter Passing Methods Available | Intended use | Design goals |
---|---|---|---|---|---|---|---|---|---|---|
ActionScript | imperative programming, object-oriented, event-driven programming | Yes
, ECMA |
strong | safe | static | Web design | ||||
Ada | concurrent, distributed programming, generic programming, imperative programming, object-oriented | Yes
, ANSI, ISO, ANSI/MIL-STD-1815A-1983, ISO/IEC 8652, ISO/IEC TR 24718 |
strong | safe | explicit | nominative | static | by value, by reference (compiler chosen if not determined by the data type) | Embedded, real-time, mission-critical, long-lived, and large scale systems | Program reliability and maintenance, Programming as a human activity, Efficiency Language Reference Manual |
ALGOL 68 | concurrent, imperative programming | No | strong | safe | structural | static or dynamic | Application | Readability, Structure | ||
BASIC | procedural programming | Yes | varies by dialect | Education | Simplicity | |||||
C | imperative programming | Yes | weak | unsafe | explicit | nominative | static | by value, by reference (through reference types) | System | Low level access, Minimal constraint |
C# | imperative programming, object-oriented, generic programming, reflective programming | Yes | strong | safe (but unsafe allowed) | implicit | nominative | static | Application | Rapid application development | |
C++ | imperative programming, object-oriented, generic programming | Yes
, ISO |
strong | safe (but unsafe allowed) | explicit, partially implicit | nominative, structural | static, dynamic | by value, by reference (through reference types) | Application, System | Abstraction, Efficiency, Compatibility |
Clean | functional programming, generic programming | No | strong | implicit | static | General | Correctness, Modularity | |||
COBOL | imperative programming, object-oriented | Yes | strong | static | Business and Financial Applications | Readability | ||||
ColdFusion | procedural programming, object-oriented | No | weak | implicit | dynamic | Web Development | Rapid Application Development, Ease of use | |||
Common Lisp | imperative programming, functional programming, object-oriented | Yes | strong | safe | dynamic | General | Standardize Lisp | |||
D | imperative programming, object-oriented, generic programming | No | strong | safe | explicit | static | Application, System | Compilability, Correctness, Efficiency | ||
eC | imperative programming, object-oriented, generic programming, reflective programming | No | weak | unsafe | explicit, partially implicit | nominative, complex conversions system | static, dynamic | according to data type, or explicitly by value, by reference | Applications, GUI Interfaces, System, Games | Elegance, Performance, Simplicity, Lightness, 99.9% C compatibility |
Eiffel | imperative programming, object-oriented, generic programming | Yes | strong | safe | nominative | static | Application | Correctness, Efficiency, Design by contract | ||
Erlang | functional programming, concurrent, distributed programming | No | strong | dynamic | Telecom and distributed applications | Fault tolerance, Scalability | ||||
Forth | imperative programming, stack-oriented | Yes
, ANSI |
none | n/a | n/a | n/a | n/a | Application, Embedded systems | Compact implementations, Low level access, Interactive programming | |
Fortran | imperative programming, procedural programming, object-oriented | Yes | strong | safe | nominative | static | Scientific and numeric applications | Runtime efficiency, Simple syntax | ||
Groovy | imperative programming, object-oriented, aspect-oriented programming | No | strong | safe | implicit | dynamic | Application | JVM compatibility | ||
Haskell | functional programming, generic programming, lazy evaluation | Yes | strong | safe | inferred, optional explicit annotations | polymorphic structural | static | Application | lazy evaluation, Teaching and research, completely formally described Report Preface | |
Io | object-oriented | No | strong | dynamic | ||||||
J | array programming, function-level programming, tacit programming | No | strong | safe | dynamic | Data processing | Terseness, Expressiveness, Powerful Data Manipulation | |||
Java | imperative programming, object-oriented, generic programming, reflective programming | No | strong | safe | explicit | nominative | static | by value | Application | Write once run anywhere |
JavaScript | imperative programming, object-oriented, functional programming, reflective programming | Yes | weak | implicit | dynamic | Client side web scripting | ||||
Joy | functional programming, stack-oriented | No | strong | safe | dynamic | functional programming research | concatenative | |||
Lisp | functional programming, reflective programming; others vary by dialect | No | strong | dynamic | General | Simple notation for Lambda calculus, Homoiconicity | ||||
Logo | procedural programming, functional programming | No | strong | safe | implicit | structural | dynamic | Education | Simple syntax, Turtle graphics, Interactive programming | |
Lua | procedural programming, imperative programming, reflective | No | strong | safe | implicit | dynamic | Host-driven Scripting | Small, embedded, configuration. | ||
Mathematica | functional programming, procedural programming | No | strong | dynamic | Numeric computation and visualization | |||||
Object Pascal (Delphi) | imperative programming, object-oriented, generic programming | No | strong | safe (but unsafe allowed) | explicit | nominative | static | Application, System | Readability, Rapid application development, Modularity | |
Objective-C | imperative programming, object-oriented, reflective programming | Yes | weak | explicit | static | Application | Smalltalk like, Component based code reuse, C compatibility | |||
Ocaml | object-oriented, functional programming, imperative programming, generic programming | No | strong | safe | implicit | structural | static | by value | Application | Efficiency, Robustness, Correctness |
Oz | logic programming, functional programming, imperative programming, object-oriented, concurrent programming | No | dynamic | Education | ||||||
Pascal | imperative programming, procedural programming | Yes
(Extended Pascal standardized under ISO) |
strong | safe | explicit | static | Education | Readability, Discipline, Modularity | ||
Perl | imperative programming, procedural programming, reflective programming, functional programming, object-oriented, generic programming | No | weak | implicit | dynamic | by reference | Text processing, Scripting | Terseness, Expressiveness | ||
PHP | imperative programming, object-oriented, reflective programming | No | weak | dynamic | Web Application, CLI | Robustness and Simplicity | ||||
Prolog | logic programming | Yes
, ISO |
strong | dynamic | Problem solving, Artificial intelligence | declarative programming | ||||
Python | imperative programming, object-oriented, functional programming, aspect-oriented programming, reflective programming | No | strong | safe | implicit | dynamic | Application, Education, Scripting | Simplicity, Readability, Expressiveness, Modularity | ||
Ruby | imperative programming, object-oriented, aspect-oriented programming, reflective programming | No | strong | implicit | dynamic | by reference | Application, Scripting | Expressiveness, Readability | ||
Scala | object-oriented, functional programming, generic programming | No | strong | partially implicit | static | Education | ||||
Scheme | functional programming | Yes | strong | dynamic (latent) | by value | General, Education | Minimalistic, Lexical Scoping | |||
Smalltalk | object-oriented, concurrent programming, event-driven programming, imperative programming, declarative programming | Yes
, ANSI |
strong | safe | implicit | dynamic | Application, Education | Uniformity, Pure object oriented | ||
Tcl | imperative programming, procedural programming, event-driven programming | No | dynamic | Application, Scripting | ||||||
Visual Basic | component-oriented programming, event-driven programming | No | strong | safe | nominative | static | by reference, by value (explicit) | Application | Rapid application development, Simplicity | |
Visual Basic .NET | object-oriented, event-driven programming | No | strong | static | by reference, by value (both explicit) | Application | Rapid application development, Simplicity | |||
Windows PowerShell | imperative programming, object-oriented, functional programming, pipeline programming, reflective programming | No | strong | safe | implicit | dynamic | Scripting | |||
Language | Paradigm(s) | Standardized | Type strength | Type safety | Expression of types | Type compatibility | Type checking | Parameter Passing Methods Available | Intended use | Design goals |