Language Comparison Table: Difference between revisions
Content added Content deleted
(Add Seed7 to table) |
m (Made some uses of {{yes}} and {{no}} look better when notes are added) |
||
Line 29: | Line 29: | ||
! {{anchor|ActionScript|[[ActionScript]]}} |
! {{anchor|ActionScript|[[ActionScript]]}} |
||
|[[imperative programming|imperative]], [[object-oriented]],[[:Category:Programming paradigm/Distributed|distributed]] |
|[[imperative programming|imperative]], [[object-oriented]],[[:Category:Programming paradigm/Distributed|distributed]] |
||
|{{yes |
|{{yes|Yes, [[ECMA]]}} |
||
|strong |
|strong |
||
|safe |
|safe |
||
Line 42: | Line 42: | ||
! {{anchor|Ada|[[Ada]]}} |
! {{anchor|Ada|[[Ada]]}} |
||
|[[concurrent programming|concurrent]], [[:Category:Programming paradigm/Distributed|distributed]], [[generic programming|generic]], [[imperative programming|imperative]], [[object-oriented]] |
|[[concurrent programming|concurrent]], [[:Category:Programming paradigm/Distributed|distributed]], [[generic programming|generic]], [[imperative programming|imperative]], [[object-oriented]] |
||
|{{yes |
|{{yes|Yes, [[ANSI]], [[ISO]], ANSI/MIL-STD-1815A-1983, [http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=22983 ISO/IEC 8652], [http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=38828 ISO/IEC TR 24718], [http://vak.ru/lib/exe/fetch.php/book/gost/pdf/gost-27831-88.pdf GOST 27831-88]}} |
||
|strong |
|strong |
||
|safe |
|safe |
||
Line 55: | Line 55: | ||
! {{anchor|ALGOL_68|[[ALGOL 68]]}} |
! {{anchor|ALGOL_68|[[ALGOL 68]]}} |
||
|[[concurrent programming|concurrent]], [[imperative programming|imperative]] |
|[[concurrent programming|concurrent]], [[imperative programming|imperative]] |
||
|{{yes |
|{{yes|Yes, [http://vak.ru/lib/exe/fetch.php/book/gost/pdf/gost-27974-88.pdf GOST 27974-88]}} |
||
|soft, weak, meek, firm and strong - depending on context. |
|soft, weak, meek, firm and strong - depending on context. |
||
|safe |
|safe |
||
Line 94: | Line 94: | ||
! {{anchor|BASIC|[[BASIC]]}} |
! {{anchor|BASIC|[[BASIC]]}} |
||
|[[procedural programming|procedural]] |
|[[procedural programming|procedural]] |
||
|{{yes |
|{{yes|Yes, [[ANSI]], [[ISO]]}} |
||
|varies by dialect |
|varies by dialect |
||
| |
| |
||
Line 107: | Line 107: | ||
! {{anchor|C|[[C]]}} |
! {{anchor|C|[[C]]}} |
||
|[[imperative programming|imperative]] |
|[[imperative programming|imperative]] |
||
|{{yes |
|{{yes|Yes, [[ANSI]] [[C89]], [[ISO]] [[C90]]/[[C99]]}} |
||
|weak |
|weak |
||
|unsafe |
|unsafe |
||
Line 120: | Line 120: | ||
! {{anchor|C_sharp|[[C sharp|C#]]}} |
! {{anchor|C_sharp|[[C sharp|C#]]}} |
||
|[[imperative programming|imperative]], [[object-oriented]], [[generic programming|generic]], [[reflective programming|reflective]], [[functional programming|functional]], [[event-driven programming|event-driven]] |
|[[imperative programming|imperative]], [[object-oriented]], [[generic programming|generic]], [[reflective programming|reflective]], [[functional programming|functional]], [[event-driven programming|event-driven]] |
||
|{{yes |
|{{yes|Yes, [[ECMA]], [[ISO]]}} |
||
|strong |
|strong |
||
|safe (unsafe allowed) |
|safe (unsafe allowed) |
||
Line 133: | Line 133: | ||
! {{anchor|C++|[[C++]]}} |
! {{anchor|C++|[[C++]]}} |
||
|[[imperative programming|imperative]], [[object-oriented]], [[generic programming|generic]] |
|[[imperative programming|imperative]], [[object-oriented]], [[generic programming|generic]] |
||
|{{yes |
|{{yes|Yes, [[ISO]] [[C++98]]/[[C++11]]}} |
||
|strong |
|strong |
||
|safe (unsafe allowed) |
|safe (unsafe allowed) |
||
Line 146: | Line 146: | ||
! {{anchor|Chapel|[[Chapel]]}} |
! {{anchor|Chapel|[[Chapel]]}} |
||
|[[concurrent]], [[generic programming|generic]], [[object-oriented]], [[imperative programming|imperative]], [[:Category:Programming paradigm/Distributed|distributed]], [[reflective programming|reflective]] |
|[[concurrent]], [[generic programming|generic]], [[object-oriented]], [[imperative programming|imperative]], [[:Category:Programming paradigm/Distributed|distributed]], [[reflective programming|reflective]] |
||
|{{no |
|{{no|No, still under development, a [http://chapel.cray.com/spec/spec-0.93.pdf preliminary language specification] exists}} |
||
|strong |
|strong |
||
|safe |
|safe |
||
Line 185: | Line 185: | ||
! {{anchor|COBOL|[[COBOL]]}} |
! {{anchor|COBOL|[[COBOL]]}} |
||
|[[imperative programming|imperative]], [[object-oriented]] |
|[[imperative programming|imperative]], [[object-oriented]] |
||
|{{yes |
|{{yes|Yes, [[ANSI]] 68, 74, 85 (and subsequent revisions); [[ISO]] 2002, 201X}} |
||
|strong |
|strong |
||
|safe |
|safe |
||
Line 289: | Line 289: | ||
! {{anchor|Eiffel|[[Eiffel]]}} |
! {{anchor|Eiffel|[[Eiffel]]}} |
||
|[[imperative programming|imperative]], [[object-oriented]], [[generic programming|generic]] |
|[[imperative programming|imperative]], [[object-oriented]], [[generic programming|generic]] |
||
|{{yes |
|{{yes|Yes, [http://www.ecma-international.org/publications/standards/Ecma-367.htm ECMA-367], [http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=42924 ISO/IEC 25436:2006]}} |
||
|strong |
|strong |
||
|safe |
|safe |
||
Line 359: | Line 359: | ||
! {{anchor|Forth|[[Forth]]}} |
! {{anchor|Forth|[[Forth]]}} |
||
|[[imperative programming|imperative]], [[stack]]-oriented |
|[[imperative programming|imperative]], [[stack]]-oriented |
||
|{{yes |
|{{yes|Yes, [[ANSI]]}} |
||
|none |
|none |
||
|n/a |
|n/a |
||
Line 372: | Line 372: | ||
! {{anchor|Fortran|[[Fortran]]}} |
! {{anchor|Fortran|[[Fortran]]}} |
||
|[[imperative programming|imperative]], [[procedural programming|procedural]], [[object-oriented]] |
|[[imperative programming|imperative]], [[procedural programming|procedural]], [[object-oriented]] |
||
|{{yes |
|{{yes|Yes, [[ISO]], [http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=39691 ISO/IEC 1539-1:2004]}} |
||
|strong |
|strong |
||
|safe |
|safe |
||
Line 424: | Line 424: | ||
! {{anchor|Haskell|[[Haskell]]}} |
! {{anchor|Haskell|[[Haskell]]}} |
||
|[[functional programming|functional]], [[generic programming|generic]], [[lazy evaluation]] |
|[[functional programming|functional]], [[generic programming|generic]], [[lazy evaluation]] |
||
|{{yes |
|{{yes|Yes, [http://www.haskell.org/onlinereport/haskell2010/ Haskell 2010 Report], [http://www.haskell.org/onlinereport/ Haskell 98 Report]}} |
||
|strong |
|strong |
||
|safe |
|safe |
||
Line 476: | Line 476: | ||
! {{anchor|Java|[[Java]]}} |
! {{anchor|Java|[[Java]]}} |
||
|[[imperative programming|imperative]], [[object-oriented]], [[generic programming|generic]], [[reflective programming|reflective]] |
|[[imperative programming|imperative]], [[object-oriented]], [[generic programming|generic]], [[reflective programming|reflective]] |
||
|{{yes |
|{{yes|Yes, [http://docs.oracle.com/javase/specs/index.html Java SE Specifications]}} |
||
|strong |
|strong |
||
|safe |
|safe |
||
Line 489: | Line 489: | ||
! {{anchor|JavaScript|[[JavaScript]]}} |
! {{anchor|JavaScript|[[JavaScript]]}} |
||
|[[imperative programming|imperative]], [[object-oriented]], [[functional programming|functional]], [[reflective programming|reflective]] |
|[[imperative programming|imperative]], [[object-oriented]], [[functional programming|functional]], [[reflective programming|reflective]] |
||
|{{yes |
|{{yes|Yes, [[ECMAScript standard]]}} |
||
|weak |
|weak |
||
| |
| |
||
Line 593: | Line 593: | ||
! {{anchor|MATLAB|[[MATLAB]]}} |
! {{anchor|MATLAB|[[MATLAB]]}} |
||
|[[procedural programming|procedural]], [[imperative programming|imperative]], [[array]] programming |
|[[procedural programming|procedural]], [[imperative programming|imperative]], [[array]] programming |
||
|{{no |
|{{no|No, however the language is also implemented in [[Octave]] and [[FreeMat]]}} |
||
|strong |
|strong |
||
|unsafe |
|unsafe |
||
Line 632: | Line 632: | ||
! {{anchor|MUMPS|[[MUMPS]]}} |
! {{anchor|MUMPS|[[MUMPS]]}} |
||
|[[procedural programming|procedural]] |
|[[procedural programming|procedural]] |
||
|{{yes |
|{{yes|Yes, [[ISO]]}} |
||
|untyped |
|untyped |
||
|not applicable |
|not applicable |
||
Line 717: | Line 717: | ||
|static |
|static |
||
|by value |
|by value |
||
|{{yes |
|{{yes|Yes (as of 2.0)}} |
||
|Application |
|Application |
||
|[[Smalltalk]] like, Component based code reuse, [[C]] compatibility |
|[[Smalltalk]] like, Component based code reuse, [[C]] compatibility |
||
Line 723: | Line 723: | ||
! {{anchor|OCaml|[[OCaml]]}} |
! {{anchor|OCaml|[[OCaml]]}} |
||
|[[object-oriented]], [[functional programming|functional]], [[imperative programming|imperative]], [[generic programming|generic]] |
|[[object-oriented]], [[functional programming|functional]], [[imperative programming|imperative]], [[generic programming|generic]] |
||
|{{no |
|{{no|No, [http://caml.inria.fr/pub/docs/manual-ocaml/index.html the manual] includes language specification}} |
||
|strong |
|strong |
||
|safe |
|safe |
||
Line 762: | Line 762: | ||
! {{anchor|Pascal|[[Pascal]]}} |
! {{anchor|Pascal|[[Pascal]]}} |
||
|[[imperative programming|imperative]], [[procedural programming|procedural]] |
|[[imperative programming|imperative]], [[procedural programming|procedural]] |
||
|{{yes |
|{{yes|Yes, Extended Pascal standardized under [[ISO]]}} |
||
|strong |
|strong |
||
|safe |
|safe |
||
Line 788: | Line 788: | ||
! {{anchor|Perl 6|[[Perl 6]]}} |
! {{anchor|Perl 6|[[Perl 6]]}} |
||
|[[imperative programming|imperative]], [[procedural programming|procedural]], [[reflective programming|reflective]], [[functional programming|functional]], [[object-oriented]], [[generic programming|generic]], [[lazy evaluation]], multiple dispatch, metaprogramming |
|[[imperative programming|imperative]], [[procedural programming|procedural]], [[reflective programming|reflective]], [[functional programming|functional]], [[object-oriented]], [[generic programming|generic]], [[lazy evaluation]], multiple dispatch, metaprogramming |
||
|{{yes |
|{{yes|Yes, [http://perlcabal.org/syn/#doctable Perl 6 Synopses]}} |
||
|strong |
|strong |
||
|safe, unsafe |
|safe, unsafe |
||
Line 840: | Line 840: | ||
! {{anchor|Prolog|[[Prolog]]}} |
! {{anchor|Prolog|[[Prolog]]}} |
||
|logic programming |
|logic programming |
||
|{{yes |
|{{yes|Yes, [[ISO]]}} |
||
|strong |
|strong |
||
| |
| |
||
Line 866: | Line 866: | ||
! {{anchor|Python|[[Python]]}} |
! {{anchor|Python|[[Python]]}} |
||
|[[imperative programming|imperative]], [[object-oriented]], [[functional programming|functional]], [[aspect-oriented programming|aspect-oriented]], [[reflective programming|reflective]] |
|[[imperative programming|imperative]], [[object-oriented]], [[functional programming|functional]], [[aspect-oriented programming|aspect-oriented]], [[reflective programming|reflective]] |
||
|{{no |
|{{no|No, [http://docs.python.org/reference/index.html language reference] included with each version's documentation}} |
||
|strong |
|strong |
||
|safe |
|safe |
||
Line 918: | Line 918: | ||
! {{anchor|Ruby|[[Ruby]]}} |
! {{anchor|Ruby|[[Ruby]]}} |
||
|[[imperative programming|imperative]], [[object-oriented]], [[functional programming|functional]], [[reflective programming|reflective]] |
|[[imperative programming|imperative]], [[object-oriented]], [[functional programming|functional]], [[reflective programming|reflective]] |
||
|{{yes |
|{{yes|Yes, JIS X 3017 (2011), ISO/IEC 30170 (2012)}} |
||
|strong |
|strong |
||
| |
| |
||
Line 944: | Line 944: | ||
! {{anchor|Scheme|[[Scheme]]}} |
! {{anchor|Scheme|[[Scheme]]}} |
||
|[[functional programming|functional]] |
|[[functional programming|functional]] |
||
|{{yes |
|{{yes|Yes, [http://www.schemers.org/Documents/Standards/R5RS/ R<sup>5</sup>RS], [http://www.r6rs.org/ R<sup>6</sup>RS]}} |
||
|strong |
|strong |
||
|safe |
|safe |
||
Line 964: | Line 964: | ||
|static |
|static |
||
|by value, by reference, by name |
|by value, by reference, by name |
||
|{{yes |
|{{yes|Yes (no garbage collection process that stops the world)}} |
||
|General, Application, System |
|General, Application, System |
||
|Extensibility, Portability, Reliability, Efficiency, Elegance |
|Extensibility, Portability, Reliability, Efficiency, Elegance |
||
Line 983: | Line 983: | ||
! {{anchor|Smalltalk|[[Smalltalk]]}} |
! {{anchor|Smalltalk|[[Smalltalk]]}} |
||
|[[object-oriented]], [[concurrent programming|concurrent]], [[event-driven programming|event-driven]], [[imperative programming|imperative]], [[declarative programming|declarative]] |
|[[object-oriented]], [[concurrent programming|concurrent]], [[event-driven programming|event-driven]], [[imperative programming|imperative]], [[declarative programming|declarative]] |
||
|{{yes |
|{{yes|Yes, [http://wiki.squeak.org/squeak/172 ANSI]}} |
||
|strong |
|strong |
||
|safe |
|safe |
||
Line 996: | Line 996: | ||
! {{anchor|SPARK|[[SPARK]]}} |
! {{anchor|SPARK|[[SPARK]]}} |
||
|[[concurrent programming|concurrent]], [[imperative programming|imperative]], [[object-oriented]] |
|[[concurrent programming|concurrent]], [[imperative programming|imperative]], [[object-oriented]] |
||
|{{no |
|{{no|No, Language definition is proprietary - main copyright is held by [[http://www.sparkada.com/ Altran-Praxis]].}} |
||
|strong |
|strong |
||
|safe |
|safe |
||
Line 1,009: | Line 1,009: | ||
! {{anchor|Standard ML|[[Standard ML]]}} |
! {{anchor|Standard ML|[[Standard ML]]}} |
||
|[[functional programming|functional]], [[imperative programming|imperative]], [[generic programming|generic]] |
|[[functional programming|functional]], [[imperative programming|imperative]], [[generic programming|generic]] |
||
|{{yes |
|{{yes|Yes, [http://www.smlnj.org/sml97.html SML '97]}} |
||
|strong |
|strong |
||
|safe |
|safe |
Revision as of 22:06, 26 February 2014
Language | Paradigm(s) | Standardized | Type strength | Type safety | Expression of types | Type compatibility | Type checking | Parameter Passing Methods Available | Garbage collection | Intended use | Design goals |
---|---|---|---|---|---|---|---|---|---|---|---|
ACL2 | functional | Yes | strong | unsafe | dynamic | Yes | Theorem proving | Be logically sound, mimic Common Lisp | |||
ActionScript | imperative, object-oriented,distributed | Yes, ECMA | strong | safe | static | Yes | Web design | ||||
Ada | concurrent, distributed, generic, imperative, object-oriented | Yes | strong | safe | explicit | nominative | static | by value, by reference (compiler chosen if not determined by the data type) | GC is allowed, but not mandated | Embedded, real-time, mission-critical, long-lived, and large scale systems | Reliability and maintenance, Programming as a human activity, Efficiency Language Reference Manual |
ALGOL 68 | concurrent, imperative | Yes, GOST 27974-88 | soft, weak, meek, firm and strong - depending on context. | safe | explicit | structural | static or dynamic (programmer chosen) | by value or by reference (programmer chosen) | Yes | Application | Completeness and clarity of design, Orthogonal design, Security, Efficiency (Static mode checking, Mode-independent parsing, Independent compilation, Loop optimization, Representations in minimal & larger character sets) |
AmbientTalk | concurrent | strong | safe | explicit | duck | dynamic | by value | Mobile ad hoc networks | |||
AutoHotkey | imperative | No | untyped | by value or by reference | No | End User Programming | simplicity, speed, stability | ||||
BASIC | procedural | Yes, ANSI, ISO | varies by dialect | varies by dialect | Education | Simplicity | |||||
C | imperative | Yes, ANSI C89, ISO C90/C99 | weak | unsafe | explicit | nominative | static | by value, by reference (through pointers) | Optional through external tools | System, Embedded | Low level access, Minimal constraint |
C# | imperative, object-oriented, generic, reflective, functional, event-driven | Yes, ECMA, ISO | strong | safe (unsafe allowed) | implicit | nominative | static, dynamic (for interop) | Yes | Application | Rapid application development | |
C++ | imperative, object-oriented, generic | Yes, ISO C++98/C++11 | strong | safe (unsafe allowed) | explicit, partially implicit | nominative, structural | static, dynamic | by value, by reference (through reference types) | Optional through external tools | Application, System | Abstraction, Efficiency, Compatibility |
Chapel | concurrent, generic, object-oriented, imperative, distributed, reflective | No, still under development, a preliminary language specification exists | strong | safe | explicit, partially inferred | nominative | static | by value, by reference | No | High Performance Computing | Programmer productivity (compared to C/Fortran), performance |
Clean | functional, generic | No | strong | implicit | static | Yes | General | Correctness, Modularity | |||
Clojure | functional, concurrent | strong | safe | dynamic, static | Yes | ||||||
COBOL | imperative, object-oriented | Yes, ANSI 68, 74, 85 (and subsequent revisions); ISO 2002, 201X | strong | safe | explicit | static | by value, by reference | No | Business and Financial Applications | Readability | |
ColdFusion | procedural, object-oriented | No | weak | implicit | dynamic | Web Development | Rapid Application Development, Ease of use | ||||
Common Lisp | imperative, functional, object-oriented | Yes | strong | safe | dynamic, static | Yes | General | Standardize Lisp | |||
D | imperative, object-oriented, generic | No | strong | safe | explicit, optional inferred | nominative, structural | static, dynamic | by value, by reference (through reference types) | Yes | Application, System | Compilability, Correctness, Efficiency |
Dao | object-oriented | strong | safe, unsafe allowed | implicit, explicit | static, dynamic | Yes | |||||
Dylan | imperative, object-oriented, functional, procedural | strong | safe | static, dynamic | Yes | ||||||
E | imperative, object-oriented, object-capability, communicating event loops | No
, still in development |
strong (runtime) | safe | optional explicit | duck | dynamic | by value | Yes | Secure collaboration, distributed systems, running untrusted applications, high-level "scripting" | Familiarity to C/Java/JS users; less error-prone concurrency & security |
eC | imperative, object-oriented, generic, reflective | No | weak | unsafe | explicit, partially implicit | nominative, complex conversions system | static, dynamic | according to data type, or explicitly by value, by reference | Reference counting | Applications, GUIs, System, Games | Elegance, Performance, Simplicity, Lightness, 99.9% C compatibility |
Eiffel | imperative, object-oriented, generic | Yes | strong | safe | nominative | static | Yes | Application | Correctness, Efficiency, Design by contract | ||
Ela | functional | No | strong | safe | implicit | duck | dynamic | by value | Yes | Application | |
Elena | object-oriented | strong | safe | implicit | dynamic | Yes | |||||
Erlang | functional, concurrent, distributed, declarative - pattern matching, imperative | No | strong | safe | implicit | dynamic | immutable data structures, syntactically by value but safe sharing of compound data types | Yes | Telecom and distributed applications | Fault tolerance, Reliability - Nonstop Running, Hot Code Change, Safety, Concurrency, Distribution, Scalability | |
Factor | stack-oriented | No | safe | implicit | duck | dynamic | by reference | Yes | x | ||
Forth | imperative, stack-oriented | Yes, ANSI | none | n/a | n/a | n/a | n/a | No | Application, Embedded systems | Compact implementations, Low level access, Interactive programming | |
Fortran | imperative, procedural, object-oriented | Yes | strong | safe | nominative | static | No | Scientific and numeric applications | Runtime efficiency, Simple syntax | ||
Gambas | object-oriented | No | strong | safe | explicit | dynamic | by value, by reference | Application, Scripting | Rapid application development, Visual Basic alternative | ||
Go | concurrent | No
, language specification available |
strong | safe | explicit, optionally inferred | nominative; structural for interface types | static | by value | Yes | ||
Groovy | imperative, object-oriented, aspect-oriented | No | strong | safe | implicit | nominative | dynamic | Yes | Application | JVM compatibility | |
Haskell | functional, generic, lazy evaluation | Yes, Haskell 2010 Report, Haskell 98 Report | strong | safe | inferred, optional explicit annotations | polymorphic structural | static | Yes | Application, Research | lazy evaluation, Teaching and research, completely formally described Report Preface | |
icon | procedural, structured, goal directed, string scanning, co-expressions | No | strong | Safe | implicit | nominative | dynamic | by value and safe reference depending if the type is mutable or immutable | Yes | Text analysis, text editing, document formatting, artificial intelligence, expert systems, rapid prototyping, symbolic mathematics, text generation, and data laundry | Facilitates ease of programming, short concise programs, automatic storage allocation and management, provide a rich base of basic data types and structures, and platform independence. Also see Unicon for the unified extended dialect of Icon. |
Io | object-oriented, prototype | No | strong | dynamic | Yes | ||||||
J | array programming, function-level programming, tacit | No | strong | safe | inferred | structural | dynamic | by value, by name, by address for memory mapped files (and, indirectly, for foreign languages) | Yes | Data processing, expressing concepts algorithms and architectures | Describe computers mathematically and concisely |
Java | imperative, object-oriented, generic, reflective | Yes, Java SE Specifications | strong | safe | explicit | nominative | static | by value | Yes | Application | Write once run anywhere |
JavaScript | imperative, object-oriented, functional, reflective | Yes, ECMAScript standard | weak | implicit | dynamic | by value | Yes | Client side web scripting | |||
Joy | functional, stack-oriented | No | strong | safe | dynamic | functional research | concatenative | ||||
LFE | functional, concurrent, distributed, declarative - pattern matching, imperative | No | strong | safe | implicit | dynamic | immutable data structures, syntactically by value but safe sharing of compound data types | Yes | Telecom and distributed applications | Fault tolerance, Reliability - Nonstop Running, Hot Code Change, Safety, Concurrency, Distribution, Scalability | |
Lisp | functional, reflective; others vary by dialect | No | strong | dynamic | Yes | General | Simple notation for Lambda calculus, Homoiconicity | ||||
Logo | procedural, functional | No | strong | safe | implicit | structural | dynamic | Yes | Education | Simple syntax, Turtle graphics, Interactive programming | |
Lua | procedural, imperative, reflective | No | strong | safe | implicit | dynamic | Yes | Host-driven Scripting | Small, embedded, configuration. | ||
Lucid | dataflow, functional | No | strong | safe | dynamic | stream processing | dataflow | ||||
Mathematica | functional, procedural | No | strong | dynamic | Yes | Numeric and symbolic computation, visualization | |||||
MATLAB | procedural, imperative, array programming | No, however the language is also implemented in Octave and FreeMat | strong | unsafe | dynamic | by value | Yes | Numeric computation and visualization | At the beginning designed as interpreter for easy use of fortran libraries, nowadays high performance numerical analysis and visualization | ||
MAXScript | imperative, object-oriented, procedural | No | strong | safe | implicit | dynamic | by value, by reference | 3D Art Tools, Scripting | Simplicity, Accessibilty | ||
Modula-3 | imperative, object-oriented, procedural, generic | No | strong | safe (unsafe allowed) | explicit | structural | static | by value, by reference | Yes | Application, Systems | Simple, Object oriented |
MUMPS | procedural | Yes, ISO | untyped | not applicable | by value, by reference | Yes | Built-in Persistent Storage | ||||
Nial | functional, array programming | No | strong | dynamic | Data processing | ||||||
Nimrod | procedural, functional, generic | No | strong | safe | static | Yes | General, Application, Systems | Efficient, Expressive, Elegant in that order. | |||
Oberon-2 | procedural, imperative, object-oriented | No | strong | safe | explicit | structural | static | by value, by reference | Yes | Teaching, System | Simplicity |
Objeck | object-oriented,functional | No | strong | safe | explicit | nominative | static | by value | Yes | General, Education | Minimalist, Cross-Platform, Modular |
Object Pascal (Delphi) | imperative, object-oriented, generic | No | strong | safe (unsafe allowed) | explicit | nominative | static, dynamic | by reference, by value | some types | Application, System | Readability, Rapid application development, Modularity |
Objective-C | imperative, object-oriented, reflective | No | weak | explicit | static | by value | Yes (as of 2.0) | Application | Smalltalk like, Component based code reuse, C compatibility | ||
OCaml | object-oriented, functional, imperative, generic | No, the manual includes language specification | strong | safe | inferred, optional explicit annotations | polymorphic structural | static | by value | Yes | Application | Efficiency, Robustness, Correctness |
Oz | logic programming, functional, imperative, object-oriented, concurrent | No | strong | safe | implicit | structural | dynamic | by reference (though often immutable) | Yes | Application, Education, Distribution | |
PARI/GP | imperative, procedural | No | weak | unsafe | implicit | nominal | dynamic | by value, by reference | Yes | Mathematics, especially number theory | |
Pascal | imperative, procedural | Yes, Extended Pascal standardized under ISO | strong | safe | explicit | static (some dialects also dynamic) | by reference, by value | No | General, Application, Education, System | Readability, Discipline, Modularity | |
Perl | imperative, procedural, reflective, functional, object-oriented, generic | No | weak | implicit | dynamic, static | by reference | Reference counting | Text processing, Scripting | Terseness, Expressiveness | ||
Perl 6 | imperative, procedural, reflective, functional, object-oriented, generic, lazy evaluation, multiple dispatch, metaprogramming | Yes, Perl 6 Synopses | strong | safe, unsafe | optional explicit | nominal (duck and structural available via constraints, patterns, generics, and gradual typing) | dynamic, static | by value, by reference | Yes | Application, text processing, scripting | Expressiveness, generality |
Pike | imperative, procedural, functional, object-oriented, reflective, event-driven | No | strong | safe | explicit | structural | dynamic, static | by value, by reference | Yes | Application, scripting | optimized execution, efficient networking |
PHP | imperative, object-oriented, reflective | No | weak | dynamic | by value, by reference | Yes | Web Application, CLI | Robustness and Simplicity | |||
Pop11 | imperative, object-oriented, functional | No | strong | safe | implicit | dynamic | Yes | Application, Education | |||
Prolog | logic programming | Yes, ISO | strong | dynamic | Yes | Problem solving, Artificial intelligence | declarative | ||||
Pure | dynamic, functional | strong | structural | dynamic | Yes | ||||||
Python | imperative, object-oriented, functional, aspect-oriented, reflective | No, language reference included with each version's documentation | strong | safe | implicit | dynamic | by value (Call by object reference) | Yes | Application, Education, Scripting | Simplicity, Readability, Expressiveness, Modularity | |
Racket | functional, imperative, object-oriented, reflective | No | strong | safe | implicit or explicit (see Typed Racket) | dynamic or static | by value | Yes | General | Extensibility, Simplicity, Modularity | |
RapidQ | imperative, component-oriented programming, event-driven | No | strong (none for Variant type) | safe | static | by reference, by value | Application | Rapid application development, Simplicity, BASIC compatibility | |||
R | functional, imperative, reflective, array | No | strong | safe | implicit | Duck, structural | dynamic | value by need, by name (programmer chosen) | Yes | Statistics, Numerical computation, Visualization, Education | Expressiveness, interactive manipulation and analysis of datasets |
Ruby | imperative, object-oriented, functional, reflective | Yes, JIS X 3017 (2011), ISO/IEC 30170 (2012) | strong | implicit | dynamic | by value (Call by object reference) | Yes | Application, Scripting | Expressiveness, Readability | ||
Scala | object-oriented, functional, generic | No | strong | safe | partially implicit | nominative, structural | static | by value, by name | Yes | General, Education | concise, type-safe, integrate object-oriented and functional paradigms, extensible |
Scheme | functional | Yes, R5RS, R6RS | strong | safe | implicit | dynamic (latent) | by value | Yes | General, Education | Minimalistic, Lexical Scoping | |
Seed7 | extensible, object-oriented, imperative, structured, generic, reflective | No | strong | safe | explicit | nominative | static | by value, by reference, by name | Yes (no garbage collection process that stops the world) | General, Application, System | Extensibility, Portability, Reliability, Efficiency, Elegance |
Slate | object-oriented, imperative, functional, reflective, prototype, multi-dispatch | No | strong | safe | implicit, optional | structural (aka duck) | dynamic | by reference | Yes | Application, Embedded, Scripting | Uniformity, Pure object-oriented, expressiveness, readability |
Smalltalk | object-oriented, concurrent, event-driven, imperative, declarative | Yes, ANSI | strong | safe | implicit | protocol (aka duck) | dynamic | by value (Call by object reference) | Yes | Application, Education | Uniformity, Pure object oriented |
SPARK | concurrent, imperative, object-oriented | No, Language definition is proprietary - main copyright is held by [Altran-Praxis]. | strong | safe | explicit | nominative | static | by value, by reference | Allowed | High integrity applications | Logically sound, simple formal definition, expressive power, security, applications verifiable and have bounded space and time. |
Standard ML | functional, imperative, generic | Yes, SML '97 | strong | safe | inferred, optional explicit annotations | polymorphic structural | static | by value | Yes | ||
Tcl | imperative, procedural, event-driven, object-oriented (native from Tcl 8.6 or via extensions before that) | No | weak | safe | implicit | duck | dynamic | by value (also by name and by reference through passing of variable names and upvar command)
|
Only of unnamed entities, e.g., values | Embedded, Application, Scripting | Extend, Embed and Integrate |
Trith | functional, stack-oriented, concatenative | No | strong | safe | implicit | duck | dynamic | by value | Yes | Embedded, Application, Scripting, Education | Simplicity, Expressiveness, Terseness, Linked Data |
Unicon | procedural, structured, goal directed, string scanning, co-expressions, object-oriented | No | strong | Safe | implicit | nominative | dynamic | by value and safe reference depending if the type is mutable or immutable | Yes | Text analysis, text editing, document formatting, artificial intelligence, expert systems, rapid prototyping, symbolic mathematics, text generation, and data laundry. | Facilitates ease of programming, short concise programs, automatic storage allocation and management, provide a rich base of basic data types and structures, and platform independence . Unicon provides additional capabilities over Icon integrating object oriented capabilities, messaging and external communications, event monitoring, and more in a consistent framework. |
V | functional, stack-oriented, concatenative | No | strong | safe | dynamic | functional research | concatenative | ||||
Visual Basic | component-oriented programming, event-driven | No | strong | safe | nominative | static | by reference, by value (explicit) | Yes | Application | Rapid application development, Simplicity | |
Visual Basic .NET | imperative, object-oriented, generic, reflective, functional, event-driven | No | strong | safe | implicit | nominative | static, dynamic (for interop) | by reference, by value (both explicit) | Yes | Application | Rapid application development |
Windows PowerShell | imperative, object-oriented, functional, pipeline, reflective | 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 | Garbage collection | Intended use | Design goals |