A programming language is an artificial language that is used to write programs in order to control the behavior of a computer. What are the different types of programming languages? Here is a list.
Computer programming languages are used to write programs that define the behavior of a computer system. They are based on certain syntactic and semantic rules, which define the meaning of each of the programming language constructs. The syntactic and semantic rules of every programming language define the language implementation. Programming languages provide computer programmers with the means to express computer algorithms.
Interpreted Programming Languages
The programming languages that are implemented by means of an interpreter are known as interpreted languages. Interpreters execute the source code directly by translating the source code into an intermediate representation
It is an array programming language. It can work simultaneously on multiple arrays of data. It is interpretive, interactive and a functional programming language.
It is a freeware automation language for Microsoft Windows. It’s main intent is to create automation scripts that can be used for the execution of certain repetitive tasks on Windows.
The name is short for Beginner’s All-purpose Symbolic Instruction Code. It was developed by John George Kemeny and Thomas Eugene Kurtz at Dartmouth in 1964. It was designed with the intent of giving the non-science people an access to computers. It became popular in the 1970s and the ’80s. Microsoft Visual Basic is based on Basic. Some dialects of BASIC are compiled computer languages.
It is an object-oriented programming language that is ISO-standardized and used to develop extensible and reusable software. It is a development platform for many industries such as finance, aerospace and video gaming. Sather is a computer programming language that was formerly based on Eiffel and has now evolved to include many functional programming features. Ubercode is a high-level platform-sharing language. Its design is derived from Eiffel and BASIC.
It is a structured imperative programming language, which bases its implementation on stacks. It supports an interactive execution of commands as well as the compilation of sequences of commands.
It was developed by Alan Eliasen and named after Professor John Frink, a popular fictional character. It is based on the Java Virtual Machine and focuses on science and engineering. Its striking feature is that it tracks the units of measure through all the calculations that enables quantities to contain their units of measurement.
Game Maker Language
It is an interpreted computer programming language intended to be used in cooperation with Game Maker, an application for game creation. Mark Overmars, a Dutch computer scientist, designed this language.
ICI is a general purpose interpreted computer programming language. It supports dynamic typing, flexible data types and other language constructs similar to C. It was designed by Tim Long in 1992.
Ken Iverson and Roger Hui developed this programming language that requires only the basic ASCII character set. It is an array programming language that works well with mathematical and statistical operations.
It is the second-oldest high-level computer programming language that has a fully parenthesized syntax. The name Lisp is derived from ‘List Processing Language’. One of the important data structures that Lisp supports is linked list. Lisp programs deal with source code as a data structure. Lush is an object-oriented form of the Lisp language. It can be used for network programming and administration tasks. Common Lisp, Dylan, Logo, and Scheme are the dialects of Lisp. Common Lisp is a language specification. It supports multiple paradigms and is a general purpose programming language. Dylan is another multi-paradigm dialect of Lisp that supports both functional and object-oriented programming. Logo and Scheme support functional programming. Guy Steele and Gerald Jay Sussman developed Scheme as a multi-paradigm programming language. MultiLisp is a dialect of Scheme that supports parallel programming and shared memory.
Members of the Computer Graphics Technology Group developed Lua in 1993. It is an imperative and procedural programming language that was designed as a scripting language. It is known for being simple yet powerful.
M is short for MUMPS, a programming language created for the health care industry. Neil Pappalardo, the founder of medical information technology and his associates developed the M language.
It is a procedural programming language that was intended to use data structuring and structured programming. Niklaus Wirth, a Swiss computer scientist designed this language and it was named after Blaise Pascal, a French mathematician and philosopher. Object Pascal is a branch of the object-oriented derivatives of Pascal. It later came to be known as Delphi.
It is a high-level language developed by Philippe Choquette and falls under the class of interpreted computer programming languages. It is specially designed for self-modifying code.
Perl is a high-level interpreted programming language that supports dynamic programming. Larry Wall, a linguist who served as a systems administrator at NASA developed Perl. It provides the programmers with text processing facilities and has a blend of features adopted from various languages like C, Lisp, and Awk.
It is used in the desktop publishing field and is known as a page description language. It is a dynamically typed stack-based programming language developed by John Warnock, an American computer scientist and Charles Geschke, a notable figure in the field of computer science. These developers went on to found the very well-known company, Adobe Systems.
It is a high-level programming language that supports imperative, object-oriented, and functional programming paradigms. In its features like the dynamic type system and automatic memory management, it is similar to Perl. Originally released in 1991 by Guido van Rossum, a Dutch computer programmer, Python is an open community-based language whose development is managed by the Python Software Foundation.
Short for Restructured Extended Executor, REXX is an interpreted language developed by IBM. It was designed with an intent to be an easily learnable and readable language. CMS EXEC and EXEC 2 were the predecessors of REXX. NetRexx is the IBM’s implementation of REXX that offers object-oriented programming. Object REXX is an object-oriented scripting language that is based on REXX.
The efforts for developing this language initiated in Japan in the 1990s. Similar to Perl, it has a dynamic type system and an automatic memory management. It supports multiple programming paradigms and is a dynamic object-oriented language.
Originally developed as a stack-based language, S-Lang has evolved as a language similar to C. It was developed by John E. Davis.
It is a multitasking object-oriented programming language whose compiler converts the Spin code into bytecodes. Multiple Spin code threads can run at a time, thus enabling multitasking. Spin was developed by Chip Gracey of Parallax.
Functional Programming Languages
These languages define every computation as a mathematical evaluation. They focus on the application of functions. Many of the functional programming languages are bound to mathematical calculations.
It is a purely functional, not-Turing-complete language, which means that all its programs are guaranteed to terminate. Charity was designed at the University of Calgary, a public University in Canada.
It is a purely functional programming language that supports portability across platforms, automatic garbage collection, multiple data structures and referential transparency, which means that a function with a given input will always give the same output.
It is a functional logic programming language that implements functional and logic programming as well as constraint programming, wherein the relationships between variables are stated in the form of constraints.
It is a concurrent programming language that includes a sequential subset, which supports functional programming. Ericsson developed Erlang as a distributed soft real-time and fault-tolerant language and released it as an open source computer programming language in 1998. It is one of the most popularly used functional programming languages.
It targets the .NET Framework and supports both functional as well as imperative object-oriented programming. Don Syme at the Microsoft Research developed this language, which is now being developed at the Microsoft Developer Division. F Sharp, as it is called, will soon be integrated into the .NET Framework and Visual Studio.
Named in honor of Haskell Curry, a logician, Haskell is a standardized purely functional language. It supports pattern matching, definable operators, single assignment, algebraic data types and recursive functions.
It is a purely functional language that is based on a composition of functions. Manfred von Thun of La Trobe University in Australia developed this language.
It came up in 2006 with a feature set consisting of a blend of object-oriented and functional programming features. It is a fast-running language. Interestingly, Kite uses the pipe character for functional calls rather than using the period or arrow characters in other languages.
Robin Milner and his associates at the University of Edinburgh came up with ML in the 1970s. It is an impure functional language as it supports imperative programming. Standard ML is popular among compiler writers and is a modular, functional programming language. Alice is a dialect of Standard ML, which supports distributed computing, multithreading and constraint programming. Caml is another dialect of ML and is a statically typed language that supports automatic memory management. Ocaml is the implementation of Caml that is developed as an open source project. JoCaml is a version of Ocaml based on join-calculus.
It is a statically typed programming language that is designed for the .NET platform. Programs in Nemerle are compiled into an intermediate language bytecode. It supports functional, imperative, and object-oriented programming.
The name stands for Optimized Applicative Language and is a functional programming language developed at the Technical University of Berlin.
It is a rule-based production system computer language that became the first language to be used in an expert system.
It is called Q for being an equational programming language. It is an interpreted functional language that was designed by Albert Graf at the University of Mainz in Germany. It can be described as a set of equations used to evaluate expressions.
Compiled Programming Languages
These programming languages make use of a compiler for the execution of code. Compilers can translate source code into machine code and thus bring out the implementation of the programming language instructions.
It is a statically typed, structured, imperative programming language that is based on Pascal. A team of CII Honeywell Bull that was led by Jean Ichbiah developed Ada. The Ada compilers are validated for mission-critical systems. Ada is an internationally standardized computer programming language.
Algorithmic Language, as it is called, is actually a family of imperative programming languages that was developed in the middle 1950s. It proved instrumental in the creation of programming languages like BCPL, B and C. Simula, representing Simula I and Simula 67 is a superset of Algol 60. Ole-Johan Dahl and Kristen Nygaard of the Norwegian Computing Center in Oslo were the brains behind Simula.
Dennis Ritchie at the Bell Telephone Laboratories developed C to be used on the Unix platform. It is a general-purpose, cross-platform, procedural, imperative programming language. It is used for implementing system software and application software and is one of the most-used computer programming languages of today. The development of C++ and C# was influenced by C.
It consists of a combination of high-level and low-level language features and is hence considered as a middle-level programming language. Bjarne Stroustrup of Bell Labs developed C++ as an extension of the C language. Originally known as ‘C with Classes’, it came to be known as C++ from 1983. It is a multi-paradigm language that supports procedural programming, generic programming, object-oriented programming, and data abstraction.
C Sharp is a multi-paradigm programming language that supports imperative, generic and object-oriented programming. It is a part of the Microsoft .NET Framework. It is similar to C++ in its object-oriented syntax and is also influenced by Java and Delphi. Polyphonic C# extends C#. MC# is an extension of Polyphonic C# that can work on the .NET platform. C-omega is an extension to C# that succeeded Polyphonic C#. It enables access to data stores and includes constructs that support concurrent programming.
It is known as the Clear Language for Expressing Orders and is a computer language for the LEO computer.
The name stands for Common Business-Oriented Language that is designed for the business and finance domain. COBOL 2002 standard supports object-oriented programming. It is one of the very old programming languages that are still in use.
It is an object-oriented programming language that runs on .NET and Mono frameworks. Chuck Esterbrook developed it. Its design is influenced by languages like Python and C#. It supports static and dynamic typing and is suited for unit tests. Today, it is an open source project.
Originally designed as an enhancement of C++, it is also influenced by Java, Eiffel, and C#. It is an object-oriented, imperative, multi-paradigm system programming language developed by Walter Bright of Digital Mars.
Acronym of Distributed Application Specification Language, it is a high-level, strongly typed programming language that was developed at the Sun Microsystems. It was created with an intent to be used for developing web applications.
Acronym of Digital Interactive Business Oriented Language, DIBOL is a general-purpose procedural imperative programming language. It is fairly similar to COBOL as it’s best suited for the development of Management Information Systems.
It is a procedural, imperative, general purpose computer programming language that works well for scientific computations and numeric operations. After IBM developed it in the 1950s, it soon gained popularity in programming. It is very popular in the field of high-performance computing. It is a structured and compiled programming language that is a subset of Fortran95. Fortran 2003, a revised version of Fortran supports object-oriented programming.
Sun Microsystems developed Java and released it in 1995 as a part of the Java platform. Java applications are compiled to bytecode, which can run on any virtual machine, thus making Java programs platform-independent. It is a very popular language of the modern times. Groovy is an object-oriented programming language for the Java platform. It is a dynamic programming language, which can also be used as a scripting language. Join Java is a programming language that extends Java by adding join methods, asynchronous methods, and order class modifiers to Java. X10 is a computer programming language developed by IBM that supports parallel programming, arrays and concurrency. It is seen as an extended subset of Java.
It is a high-order computer programming language similar to ALGOL. It is best-suited to the design and development of embedded systems.
It is a reflective object-oriented programming language that adds messaging services to C.
The name stands for Small Machine Algol-like Language. It provides the programmers with abilities to write an ALGOL-like code that can be run on small machines.
It is a reflective, object-oriented programming language that supports dynamic typing. Alan Kay, Adele Goldberg, Dan Ingalls, Scott Wallace, Ted Kaehler and their associates at Xerox PARC developed Smalltalk. They designed it for educational use and it soon became popular. VisualWorks is a prominent implementation of Smalltalk. Squeak is a programming language that is in the form of an implementation of Smalltalk. Scratch is a visual programming language based on Squeak.
It was developed by Ric Holt and James Cordy of the University of Toronto, Canada, in 1982. It was named in honor of the British computer scientist, Alan Turing. This Pascal-like language is a freeware since 2007.
It is an event-driven programming language that is packaged with an integrated development environment. It inherits many of its features from BASIC. Its graphical development features make it easy for beginners to learn VB.
It is an object-oriented and procedural programming language derived from FoxPro. It is integrated with a relational database system of its own and does not require an additional programming environment. It supports dynamic programming.
It is created with an intent to support concept programming, a programming paradigm that focuses on how concepts residing in a programmer’s mind can be transformed into code constructs. Programmers can reconfigure XL’s syntax and semantics.
Procedural Programming Languages
Procedural programming is synonymous with imperative programming, which implies specifying the steps that the programs should take to reach to an intended state. It is a programming paradigm that involves procedure calls. A procedure is a group of statements that can be referenced through a procedure call. Procedures help in the reuse of code. Procedural programming makes the programs structured and easily traceable for program flow.
Apart from the very well-known languages like COBOL, BASIC, Fortran, Ada, C, C++, C#, Visual Basic and Java, there are many other languages that follow procedural programming. Take a look at them.
It is a system programming language and was one of the best-known languages of this type till C came up. W.A. Wolf, D.B. Russell and A.N. Habermann of the Carnegie Mellon University developed Bliss. It includes exception handling mechanisms, coroutines and macros while it excludes the goto statement.
It is a concurrent and strongly timed audio programming language that runs on Mac OS X, Linux as well as Microsoft Windows. It is especially known for the ability it gives to the programmers to do some modifications even in the running programs.
It is a procedural programming language in the form of a set of commands that need to be executed in a sequence like that of a batch file.
It is a high-level programming language that was intended to be used by programmers at the beginner’s level. The programmers of this computer language were known as authors and the act of writing programs was called scripting. HyperTalk was designed by Dan Winker in 1987. Structurally, it resembles Pascal.
It is a general-purpose procedural language created in 1978 by Niklaus Wirth at ETH. It is similar to Pascal and has systems programming and multiprogramming features.
Niklaus Wirth, the man behind Pascal and Modula came up with Oberon in 1986. It was designed as a part of the Oberon operating system. It is similar to Modula-2 but smaller than it.
It is a programming language that seems to be related to Pascal, but is actually incompatible with it. It is actually a variant of Oberon-2. Lagoona is an experimental programming language that supports component-oriented programming, a paradigm of decomposing a system into logical or functional components. Michael Franz, a student of Niklaus Wirth developed Lagoona. Seneca, better known as Oberon-2 is an extension of the Oberon programming language.
It is a numerical computing environment and a programming language that enables matrix computations, function plotting, and algorithm implementation. It can also be used for user interface creation. MathWorks created MATLAB.
It is an imperative procedural language that was developed by David May and his colleagues at INMOS. It is similar to Pascal. Occam-pi is a variant of Occam that has been extended to include nested protocols, recursion, protocol inheritance, array constructors and run-time process creation.
It was developed for being used to teach programming. It was created at the Cornell University in the 1970s.
It is an imperative computer programming language targeted at scientific and engineering applications. Mainly intended to perform data processing, it also supports structured programming and recursion.
It is a procedural programming language that was used in teaching computer programming in Soviet schools. Developed in the USSR, initially this language had Russian-based keywords. English keywords were incorporated later.
This programming language is used for business applications. It is available with the IBM’s System I midrange computers.
Scripting languages are programming languages that control an application. Scripts can execute independent of any other application. They are mostly embedded in the application that they control and are used to automate frequently executed tasks like communicating with external programs.
It is a scripting language that is built into the Mac OS.
Awk was born in the Bell Labs in the 1970s. It is used for processing text-based data in data streams and files and uses the string datatype, arrays, and regular expressions.
It is a java scripting language that is syntactically similar to Java and runs on the Java Runtime Environment along with scripting commands and syntax.
It is an application server and software development framework that comes with an associated scripting language known as ColdFusion Markup Language. It is known as CFML and is similar to HTML in terms of its syntax.
It is an object-oriented scripting language that is closely similar to Smalltalk with an additional feature of array programming.
It is an event-driven scripting language that provides the programmers with an extensive API.
Maya Embedded Language
Abbreviated as MEL, it is a scripting language that is used to support tasks on the Maya software. Its syntax resembles that of Perl.
This scripting language is aimed for Internet use and is looked upon as being a combination of Haskell and Java.
PHP is one of the very popularly used general purpose scripting languages. It is developed for creating dynamic web pages and supports a command line interface capability.
It is a rapid application development language that is based on HyperTalk. It is a cross-platform language that supports dynamic typing.
It is a scripting language, which is believed to be easy to learn. It is used for rapid prototyping and has found utility in embedded systems.
It is an active scripting language that Microsoft developed as a variation of Microsoft Visual Basic. VBScript is a default component with each of the Desktop releases of Microsoft Windows.
It is Microsoft’s command line shell and a scripting language. Released in 2006, it is available with Windows XP, Windows Vista as also with Windows Server 3003 and Windows Server 2008. It works in collaboration with Microsoft .NET Framework by means of executables, forms of standalone applications, regular .NET classes, cmdlets that are specialized .NET classes and scripts, the compositions of cmdlets and imperative logic.
A markup language is an artificial language that uses annotations to text that define how the text is to be displayed.
It is a reflective object-oriented programming language. It is a markup language similar to HTML. Curl is an object-oriented programming language supporting multiple inheritance.
Standardized General Markup Language (SGML) has descended from IBM’s Generalized Markup Language. It is an ISO standard metalanguage that can define markup languages for documents. It was designed with the intent of sharing machine-readable documents of large projects that had to be retained for long years.
Hypertext Markup Language, abbreviated as HTML, is the most prominent markup language that is used for web pages. It is written in the form of HTML tags that are surrounded by angular brackets. HTML tags describe the appearance of the text in a document and can be embedded into certain other code to affect the web browser behavior. HTML uses the SGML default syntax.
The name stands for Extensible Markup Language. It is extensible because it allows the users to define their own XML elements. It supports the sharing of structured data over the Internet and the encoding and serializing of data. It originated as a subset of SGML. XPath is the XML Path Language that is used to select nodes from an XML document. It supports the computation of values. XQuery is used to query the collections of XML data. Extensible Stylesheet Language Transformations (XSLT) is an XML-based language that is used for the transformation of XML documents into human-readable formats. Apache Ant is a tool for the automation of software build processes. It uses XML to describe the build processes.
It is a markup language that is similar to HTML and follows the XML syntax. It is midway between HTML and XML. XHTML documents allow automated processing of data.
Logic-based Programming Languages
Logic programming is the use of mathematical logic for computer programming. Logic-based programming languages specify the attributes for a solution and also the steps to arrive at the solution.
Algebraic Logic Functional Programming Language is a multi-paradigm programming language that is a combination of functional programming and logic programming. ALF program statements are compiled into instructions of an abstract machine. An emulator written in C executes the programs of the abstract machine.
Fril language was designed by Trevor Martin and Jim Baldwin at the University of Bristol in the 1980s. It is for first-order predicate calculus. It supports fuzzy sets and metaprogramming and is based on the Prolog syntax.
Janus supports concurrent and constraint programming.
This computer programming language is a blend of logic-based, functional, imperative and object-oriented programming. It is thus one of the multi-paradigm languages.
It is a multi-paradigm language that supports functional, logic-based, imperative and object-oriented programming. Oz also supports concurrent and distributed programming. Constraint programming that is supported by Oz is one of the strengths of this language.
It is a powerful multi-paradigm software development environment whose core language is POP-11. All the languages of this development environment share a common language editor and are incrementally compiled programming languages.
It is a general-purpose programming language that supports logic programming and is often linked with artificial intelligence and computational linguistics. The language is declarative and the program logic is expressed in the form of relations. Mercury is a functional logic programming language that is based on Prolog. Strawberry Prolog is a dialect of Prolog, which is supposed to be easy to use. Visual Prolog is a strongly typed extension of Prolog that supports object-oriented programming. It is a compiled logic-based programming language.
It is a multi-paradigm language that is built on C++. It is intended to be used with artificial intelligence systems. Its features offer a blend of procedural, logic-based, and object-oriented programming.
Concurrent Programming Languages
The concurrent execution of multiple tasks is known as concurrent programming. It is implemented by the means of processes or threads spawned by a single program. Communication between the concurrent components of a program occurs either by means of shared memory or through message passing mechanism. Java, Ada, and Erlang are some of the well-known concurrent programming languages. Concurrency is achieved in Java by means of shared memory and concurrency-based monitors. Here is a list of the other concurrent programming languages.
It is actually a family of Actor-Based Concurrent Languages, which was developed in Japan during the 1980s and the 1990s. ABCL/1, ABCL/R, and ABCL/R2 are some members of the ABCL family.
It is a multi-threaded functional programming language. Its interpreter is written in C++. Its runtime engine supports both 32 and 64 bit platforms.
Created at the MIT Laboratory in 1994, Cilk supports multithreaded parallel programming.
Per Brinch Hansen, a Danish-American computer scientist created Concurrent Pascal for writing operating systems and programming real-time systems.
It is an object-oriented programming language that supports distributed programming. Mark Miller, Dan Bornstein and associates at the Electric Communities developed E in 1997. Its syntax resembles that of Java.
Joule is a concurrent dataflow programming language that preceded the E programming language. It is used for distributed applications.
Developed at the Bell Labs, Limbo is used for programming distributed systems. Its striking feature is its compiler’s ability to generate architecture-independent object code. Limbo is used for applications running on Inferno operating system. Alex that was initially a part of the Plan 9 operating system is the predecessor of Limbo.
It is a statically typed programming language, which is in the experimental stage today.
Short for Simple Actor Language System and Architecture, SALSA supports concurrent programming, message passing, and distributed computing. It uses Java code for portability.
Acronym of Synchronizing Resources, SR is a concurrent programming language.
Object-oriented Programming Languages
Object-oriented programming languages support object-oriented programming techniques like encapsulation, abstraction, inheritance, and polymorphism. Object-oriented programming makes use of classes, objects, and the interaction between objects. Many computer programming languages of the present times support object-oriented programming. Some of the widely used programming languages that offer object-oriented programming features are C++, C#, Java, Perl 5, PHP, Python, and Ruby. Look at the other object-oriented programming languages.
It is a prototype-based object-oriented programming language that features message passing mechanisms.
It is an object-oriented programming language wherein classes and procedures revolve around the same concept and classes are defined as attributes of objects. It has strong abstraction mechanisms. BETA also supports nested classes.
This object-oriented language was created by Craig Chambers at the University of Washington. It is similar to Objective-C and Modula-3.
Lava is a visual object-oriented interpreter-based programming language.
It was the first compiled object-oriented programming language that was based on prototype concepts. It also supports system programming.
It is a dynamically typed prototype-based programming language that supports object-oriented programming. It supports exception handling mechanisms and looping constructs.
It is an open source server-side programming language that comes with state and session management objects and database connectivity.
It was developed at the University of Queensland, Australia. It extends the Z programming language by adding object-oriented features to it.
It is an interpreted computer programming language that offers object-oriented programming features. It supports untyped variables and was designed for distributed and multithreaded computations.
Based on Object Pascal, Oxygene is an object-oriented programming language with a rich feature set. Previously, it was known as ‘Chrome’.
It is based on a dynamic compiler and comes with a unique ability of supporting low-level instruction lists as well as high-level expressions.
It is a visual object-oriented multi-paradigm language that uses symbols to signify the actions to be performed on data.
REBOL is the acronym given to Relative Expression Based Object Language. It is designed for use on distributed platforms and in network communications.
The name Scala stands for Scalable Language. It is a multi-paradigm programming language, which offers object-oriented and functional programming features.
It is an object-oriented prototype-based computer programming language. NewtonScript is used to write programs for Apple Newton and is largely influenced by Self.
This object-oriented programming language is based on the concept of prototypes. It derives some of its features from Smalltalk and some from the Self language. The Slate design is intended at providing the programmers with an operating system-like environment.
It is an object-oriented extension of the Tool Command Language that supports metaclasses and dynamic classes and methods.
It is a pure object-oriented programming language having a prototype-based object model. It is small in size and can be executed on small portable virtual machines.
This was an extensive list of computer programming languages. Different programming languages offering different programming features serve as the means of communication between humans and computer systems.