Evolution of Programming Languages

Introduction to Evolution of Programming LanguagesN

A computer needs to be given instructions in a programming language that it understands. A programming language is an artificial language that can be used to control the behavior of computer. Programming languages, like human languages, are defined through the use of syntactic and semantic rules, to determine structure and meaning respectively. Programming languages are used to facilitate communication about the task of organizing and manipulatiing information, and to express algorithms precisely.

In order to understand why programming languages are as they are today, and to predict how they might develop in the future, we need to know something about how they evolved. The more natural and close to the problem domain, the easier it is to get the machine to do what you want.

We can summarize the goal of the assignment as answers to questions such as these follows:

  • What is a good programming language?
  • How should we choose an appropriate language for a particular task?

This assignment dicusses the main programming languages that had impact on programming and evolution of the programming languages in the chronological order under the headings as in contents and then the conclusion about the evolution of the programming languages.

Contents

  1. Before 1940
  2. The 1940s
  3. The 1950s and 1960s
  4. 1967-1978: establishing fundamental paradigms
  5. The 1980s: consolidation, modules, performance
  6. The 1990s: the Internet age
  7. Current trends
  8. Conclusion

Before 1940: Early History The first programmers

The first programming languages predate the modern computer. At first, the languages were codes.

During a nine-month period in 1842-1843, Ada Lovelace translated Italian mathematician Luigi Menabrea’s memoir on Charles Babbage’s newest proposed machine, the Analytical Engine. With the article, she appended a set of notes which specified in complete detail a method for calculating Bernoulli numbers with the Engine, recognized by some historians as the world’s first computer program. But some biographers debate the extent of her original contributions versus those of her husband.

The Jacquard loom, invented in 1801, used holes in punched cards to represent sewing loom arm movements in order to generate decorative patterns automatically.

Herman Hollerith realized that he could encode information on punch cards when he observed that train conductors would encode the appearance of the ticket holders on the train tickets using the position of punched holes on the tickets. Hollerith then proceeded to encode the 1890 census data on punch cards.

The first computer codes were specialized for the applications. In the first decades of the twentieth century, numerical calculations were based on decimal numbers. Eventually it was realized that logic could be represented with numbers, as well as with words. For example, Alonzo Church was able to express the lambda calculus in a formulaic way. The Turing machine was an abstraction of the operation of a tape-marking machine, for example, in use at the telephone companies. However, unlike the lambda calculus, Turing’s code does not serve well as a basis for higher-level languages, its principal use is in rigorous analyses of algorithmic complexity.

Like many “firsts” in history, the first modern programming language is hard to identify. From the start, the restrictions of the hardware defined the language. Punch cards allowed 80 columns, but some of the columns had to be used for a sorting number on each card.  Fortran included some keywords which were the same as English words, such as “IF”, “GOTO” (go to) and “CONTINUE”. The use of a magnetic drum for memory meant that computer programs also had to be interleaved with the rotations of the drum. Thus the programs were more hardware dependent than today.

To some people the answer depends on how much power and human-readability is required before the status of “programming language” is granted. Jacquard looms and Charles Babbage’s Difference Engine both had simple, extremely limited languages for describing the actions that these machines should perform. One can even regard the punch holes on a player piano scroll as a limited domain-specific language, albeit not designed for human consumption.

The 1940s: Von Neumann and Zuse

In the 1940s the first recognizably modern, electrically powered computers were created. The limited speed and memory capacity forced programmers to write hand tuned assembly language programs. It was soon discovered that programming in assembly language required a great deal of intellectual effort and was error-prone.

In 1948, Konrad Zuse published a paper about his programming language Plankalkul (plan calculus). However, it was not implemented in his time and his original contributions were isolated from other developments. Konrad Zuse began work on Plankalkul, the first algorithmic programming language, with an aim of creating the theoretical preconditions for the formulation of problems of a general nature. Seven years earlier, Zuse had developed and built the world’s first binary digital computer, the Z1. He completed the first fully functional program-controlled electromechanical digital computer, the Z3, in 1941. Only the Z4 – the most sophisticated of his creations(survived World War II).

Konrad Zuse (Plankalkul):

  • in Germany, in isolation because of the war
  • defined Plankalkul (program calculus) circa 1945 but never implemented it.
  • Wrote algorithms in the language, including a program to play chess.
  • His work finally published in 1972.
  • Included some advanced data type features such as :

                        » Floating point, used twos complement and hidden bits

                        » Arrays

                        » records (that could be nested).

Von Neumann led a team that built computers with stored programs and a central processor ENIAC was programmed with patch cords.

Machine Codes (40’s) :

  • Initial computers were programmed in raw machine codes.
  • These were entirely numeric.
  • What was wrong with using machine code?

            Everything!

  1. Poor readability
  2. Poor modifiability
  3. Expression coding was tedious
  4. Inherit deficiencies of hardware, e.g., no indexing or floating point numbers 

Some important languages that were developed in this period include:

  • 1943 – Plankalkül (Konrad Zuse)
  • 1943 – ENIAC coding system
  • 1949 – C-10

The 1950’s & 1960’s : The First Programming Language

In the 1950s the first three modern programming languages whose descendants are still in widespread use today were designed :

  • FORTRAN (1955): The “FORmula TRANslator”, first higher level programming language  invented by John Backus.
  • LISP: The “LISt Processor”, first language outside the von Neumann model invented by John McCarthy.
  • COBOL: The COmmon Business Oriented Language, first business oriented language  created by the Short Range  Committee, heavily influenced by Grace Hopper.

FORTRAN :

FORTRAN was introduced in 1957 at IBM by a team led by John Backus. The “Preliminary Report” describes the goal of the FORTRAN project:

The IBM Mathematical Formula Translation System or briefly, FORTRAN, will comprise a large set of programs to enable the IBM 704 to accept a concise formulation of a problem in terms of a mathematical notation and to produce automatically a high-speed 704 program for the solution of the problem. (Quoted in (Sammet 1969).)

This suggests that the IBM team’s goal was to eliminate programming! The following quotation seems to confirm this:

If it were possible for the 704 to code problems for itself and produce as good programs as human coders (but without the errors), it was clear that large benefits could be achieved. (Backus 1957)

It is interesting to note that, 20 years later, Backus (1978) criticized FORTRAN and similar languages as “lacking useful mathematical properties”. He saw the assignment statement as a source of inefficiency: “the von Neumann bottleneck”. The solution, however, was very similar to the solution he advocated in 1957 — programming must become more like mathematics: “we should be focusing on the form and content of the overall result”.

Although FORTRAN did not eliminate programming, it was a major step towards the elimination of assembly language coding. The designers focused on efficient implementation rather than elegant language design, knowing that acceptance depended on the high performance of compiled programs.

FORTRAN has value semantics. Variable names stand for memory addresses that are determined when the program is loaded.

The major achievements of FORTRAN are:

  • efficient compilation
  • separate compilation (programs can be presented to the compiler as separate subroutines, but the compiler does not check for consistency between components)
  • demonstration that high-level programming, with automatic translation to machine code, is feasible.

The principal limitations of FORTRAN are:

Flat, uniform structure : There is no concept of nesting in FORTRAN. A program consists of a sequence of subroutines and a main program. Variables are either global or local to subroutines. In other words, FORTRAN programs are rather similar to assembly language programs: the main difference is that a typical line of FORTRAN describes evaluating an expression and storing its value in memory whereas a typical line of assembly language specifies a machine instruction (or a small group of instructions in the case of a macro).

Limited control structures : The control structures of FORTRAN are IF, DO, and GOTO. Since there are no compound statements, labels provide the only indication that a sequence of statements form a group.

Unsafe memory allocation : FORTRAN borrows the concept of COMMON storage from assembly language program. This enables different parts of a program to share regions of memory, but the compiler does not check for consistent usage of these regions. One program component might use a region of memory to store an array of integers, and another might assume that the same region contains reals. To conserve precious memory, FORTRAN also provides the EQUIVALENCE statement, which allows variables with different names and types to share a region of memory.

No recursion : FORTRAN allocates all data, including the parameters and local variables of subroutines, statically. Recursion is forbidden because only one instance of a subroutine can be active at one time.

LISP :

 Functional programming was introduced in 1958 in the form of LISP by John McCarthy. The following account of the development of LISP is based on McCarthy’s (1978) history.

The important early decisions in the design of LISP were:

  • to provide list processing (which already existed in languages such as Information Processing Language (IPL) and FORTRAN List Processing Language (FLPL)) the operands of an expression)
  • to use the concept of “function” as widely as possible (cons for list construction; car and cdr for extracting list components; cond for conditional, etc.)
  • to provide higher order functions and hence a notation for functions (based on Church’s (1941) λ-notation)
  • to avoid the need for explicit erasure of unused list structures.

McCarthy (1960) wanted a language with a solid mathematical foundation and decided that recursive function theory was more appropriate for this purpose than the then-popular Turing machine model. He considered it important that LISP expressions should obey the usual mathematical laws allowing replacement of expression. Another way to show that LISP was neater than Turing machines was to write a universal LISP function and show that it is briefer and more comprehensible than the description of a universal Turing machine. This was the LISP function eval[e, a], which computes the value of a LISP expression e, the second argument a being a list of assignments of values to variables. . . . Writing eval required inventing a notation for representing LISP functions as LISP data, and such a notation was devised for the purpose of the paper with no thought that it would be used to express LISP programs in practice. (McCarthy 1978)

After the paper was written, McCarthy’s graduate student S. R. Russel noticed that eval could be used as an interpreter for LISP and hand-coded it, thereby producing the first LISP interpreter. Soon afterwards, Timothy Hart and Michael Levin wrote a LISP compiler in LISP, this is probably the first instance of a compiler written in the language that it compiled.

It is interesting to note that the close relationship between code and data in LISP mimics the von Neumann architecture at a higher level of abstraction. LISP was the first in a long line of functional programming languages. Its principal contributions are listed below:

Names : In procedural programming languagess, a name denotes a storage location (value semantics). In LISP, a name is a reference to an object, not a location (reference semantics). The two objects have different memory addresses. A consequence of the use of names as references to objects is that eventually there will be objects for which there are no references: these objects are “garbage” and must be automatically reclaimed if the interpreter is not to run out of memory. The alternative requiring the programmer to explicitly deallocate old cells would add considerable complexity to the task of writing LISP programs. Nevertheless, the decision to include automatic garbage collection (in 1958!) was courageous and influential.

Lambda : LISP uses “lambda expressions”, based on Church’s λ-calculus, to denote functions. However, the lambda expression itself cannot be evaluated. Consequently, LISP had to resort to programming tricks to make higher order functions work.

Dynamic Scoping : Dynamic scoping was an “accidental” feature of LISP. It arose as a side-effect of the implementation of the look-up table for variable values used by the interpreter.  A LISP interpreter constructs its environment as it interprets. Although dynamic scoping is natural for an interpreter, it is inefficient for a compiler. Interpreters are slow anyway, and the overhead of searching a linear list for a variable value just makes them slightly slower still. A compiler, however, has more efficient ways of accessing variables, and forcing it to maintain a linear list would be unacceptably inefficient. Consequently, early LISP systems had an unfortunate discrepancy: the interpreters used dynamic scoping and the compilers used static scoping. Some programs gave one answer when interpreted and another answer when compiled!

Interpretation : LISP was the first major language to be interpreted. Originally, the LISP interpreter behaved as a calculator. It evaluated expressions entered by the user, but its internal state did not change. It was not long before a form for defining functions was introduced to enable users to add their own functions to the list of built-in functions.

A LISP program has no real structure. On paper, a program is a list of function definitions, the functions may invoke one another with either direct or indirect recursion. At run-time, a program is the same list of functions, translated into internal form, added to the interpreter.

COBOL :

COBOL (Sammett 1978) introduced structured data and implicit type conversion. When COBOL was introduced, “programming” was more or less synonymous with “numerical computation”. COBOL introduced “data processing”, where data meant large numbers of characters. The data division of a COBOL program contained descriptions of the data to be processed.

Another important innovation of COBOL was a new approach to data types. The problem of type conversion had not arisen previously because only a small number of types were provided by the programming languages. COBOL introduced many new types, in the sense that data could have various degrees of precision, and different representations as text. The choice made by the designers of COBOL was radical: type conversion should be automatic.

The assignment statement in COBOL has several forms, including

                        MOVE X to Y.

If X and Y have different types, the COBOL compiler will attempt to find a conversion from one type to the other. In most programming languages of the time, a single statement translated into a small number of machine instructions. In COBOL, a single statement could generate a large amount of machine code.

Algol :

Another milestone in the late 1950s was the publication, by a committee of American and European computer scientists, of “a new language for algorithms” the ALGOL(the “ALGOrithmic Language”).

Environment of development:

  1.  FORTRAN had (barely) arrived for IBM 70x
  2.  Many other languages were being developed, all for specific machines
  3.  No portable language; all were machine dependent
  4.  No universal language for communicating algorithms.

ACM and GAMM met for four days for design

            >> Goals of the language:

  1.  Close to mathematical notation
  2.  Good for describing algorithms
  3.  Must be translatable to machine code

Algol 60 :

 This report consolidated many ideas circulating at the time and featured two key language innovations:

  •  arbitrarily nested block structure: meaningful chunks of code could be grouped into statement blocks without having to be turned into separate, explicitly named procedures;
  •  lexical scoping: a block could have its own variables that code outside the chunk cannot access, let alone manipulate.

Another innovation, related to this, was in how the language was described:

  • a mathematically exact notation, Backus–Naur Form, was used to describe the language’s syntax. Nearly all subsequent programming languages have used a variant of Backus-Naur Form to describe the context-free portion of their syntax.

Algol 60 was particularly influential in the design of later languages, some of which soon became more popular. The Burroughs large systems were designed to be programmed in an extended subset of Algol.

Algol 68 :

Algol’s key ideas were continued, producing ALGOL 68:

  •  syntax and semantics became even more orthogonal, with anonymous routines, a recursive typing system with higher-order functions, etc.;
  •  not only the context-free part, but the full language syntax and semantics were defined formally, in terms of Van Wijngaarden grammar, a formalism designed specifically for this purpose.

Algol 68’s many little-used language features (e.g. concurrent and parallel blocks) and its complex system of syntactic shortcuts and automatic type coercions made it unpopular with implementers and gained it a reputation of being difficult. Niklaus Wirth actually walked out of the design committee to create the simpler Pascal language.

Overview:

  •  1951 – Regional Assembly Language
  •  1952 – Autocode
  •  1954 – FORTRAN
  •  1955 – FLOW-MATIC (forerunner to COBOL)
  •  1957 – COMTRAN (forerunner to COBOL)
  •  1958 – LISP
  •  1958 – ALGOL 58
  •  1959 – FACT (forerunner to COBOL)
  •  1959 – COBOL
  •  1962 – APL
  •  1962 – Simula
  •  1964 – BASIC
  •  1964 – PL/I

1967-1978: Establishing fundamental paradigms

The period from the late 1960s to the late 1970s brought a major flowering of programming languages. Most of the major language paradigms now in use were invented in this period:

  • Simula, invented in the late 1960s by Nygaard and Dahl as a superset of Algol 60, was the first language designed to support object-oriented programming.
  • C, an early systems programming language, was developed by Dennis Ritchie and Ken Thompson at Bell Labs between 1969 and 1973.
  • Smalltalk (mid 1970s) provided a complete ground-up design of an object-oriented language.
  • Prolog, designed in 1972 by Colmerauer, Roussel, and Kowalski, was the first logic programming language.
  • ML built a polymorphic type system (invented by Robin Milner in 1973) on top of Lisp, pioneering statically typed functional programming languages.

Each of these languages spawned an entire family of descendants, and most modern languages count at least one of them in their ancestry

Simula :

Many programs are computer simulations of the real world or a conceptual world. Writing such programs is easier if there is a correspondence between objects in the world and components of the program. Simula originated in the Norwegian Computing Centre in 1962. Kristen Nygaard proposed a language for simulation to be developed by himself and Ole-Johan Dahl (1978). Key insights were developed in 1965 following experience with Simula I:

  •  the purpose of the language was to model systems,
  •  a system is a collection of interacting processes,
  •  a process can be represented during program execution by multiple procedures each with its own Algol-style stacks.

The main lessons of Simula I were:

  •  the distinction between a program text and its execution,
  •  the fact that data and operations belong together and that most useful programming constructs contain both.

Simula 67 was a general purpose programming language that incorporated the ideas of Simula I but put them into a more general context. The basic concept of Simula 67 was to be “classes of objects”. The major innovation was “block prefixing” (Nygaard and Dahl 1978).

Prefixing emerged from the study of queues, which are central to discrete-event simulations. The queue mechanism (a list linked by pointers) can be split off from the elements of the queue (objects such as trucks, buses, people, and so on, depending on the system being simulated). Once recognized, the prefix concept could be used in any context where common features of a collection of classes could be abstracted in a prefixed block or, as we would say today, a superclass.

Dahl (1978, page 489) has provided his own analysis of the role of blocks in Simula.

  • Deleting the procedure definitions and final statement from an Algol block gives a pure data record.
  • Deleting the final statement from an Algol block, leaving procedure definitions and data declarations, gives an abstract data object.
  • Adding coroutine constructs to Algol blocks provides quasi-parallel programming capabilities.
  • Adding a prefix mechanism to Algol blocks provides an abstraction mechanism (the class hierarchy).

Simula provides:

  •  coroutines that permit the simulation of concurrent processes,
  •  multiple stacks, needed to support coroutines,
  •  classes that combine data and a collection of functions that operate on the data,
  •  prefixing (now known as inheritance) that allows a specialized class to be derived from a general class without unnecessary code duplication,
  •  a garbage collector that frees the programmer from the responsibility of deallocating storage.

Simula itself had an uneven history. It was used more in Europe than in North America, but it never achieved the recognition that it deserved. This was partly because there were few Simula compilers and the good compilers were expensive. On the other hand, the legacy that Simula left is considerable: a new paradigm of programming.

C :

C is a very pragmatic programming language. Ritchie (Ritchie 1996) designed it for a particular task, systems programming , for which it has been widely used. The enormous success of C is partly accidental. UNIX, after Bell released it to universities, became popular, with good reason. Since UNIX depended heavily on C, the spread of UNIX inevitably led to the spread of C.

 C is based on a small number of primitive concepts. For example, arrays are defined in terms of pointers and pointer arithmetic. This is both the strength and weakness of C. The number of concepts is small, but C does not provide real support for arrays, strings, or boolean operations.

C is a low-level language by comparison with the other programming languages discussed in this section. It is designed to be easy to compile and to produce efficient object code. The compiler is assumed to be rather unsophisticated (a reasonable assumption for a compiler running on a PDP/11 in the late 60’s) and in need of hints such as register. C is notable for its concise syntax. Some syntactic features are inherited from Algol 68 (for example, += and other assignment operators) and others are unique to C and C++ (for example, postfix and prefix ++ and –).

Smalltalk :

Smalltalk originated with Alan Kay’s reflections on the future of computers and programming in the late 60s. Kay (1996) was influenced by LISP, especially by its one-page metacircular interpreter, and by Simula. It is interesting to note that Kay gave a talk about his ideas at MIT in November 1971, the talk inspired Carl Hewitt’s work on his Actor model, an early attempt at formalizing objects. In turn, Sussman and Steele wrote an interpreter for Actors that eventually became Scheme. The cross-fertilization between object oriented programming  language and functionning programming  language that occurred during these early days has, sadly, not continued.

The first version of Smalltalk was implemented by Dan Ingalls in 1972, using BASIC (!) as the implementation language . Smalltalk was inspired by Simula and LISP; it was based on six principles :

  1. Everything is an object.
  2. Objects communicate by sending and receiving messages (in terms of objects).
  3. Objects have their own memory (in terms of objects).
  4. Every object is an instance of a class (which must be an object).
  5. The class holds the shared behaviour for its instances (in the form of objects in a program list).
  6. To evaluate a program list, control is passed to the first object and the remainder is treated as its message.

Principles 1–3 provide an “external” view and remained stable as Smalltalk evolved. Principles 4–6 provide an “internal” view and were revised following implementation experience. Principle 6 reveals Kay’s use of LISP as a model for Smalltalk . McCarthy had described LISP with a one-page meta-circular interpreter, one of Kay’s goals was to do the same for Smalltalk.

Smalltalk was also strongly influenced by Simula. However, it differs from Simula in several ways:

  •  Simula distinguishes primitive types, such as integer and real, from class types. In Smalltalk, “everything is an object”.
  •  In particular, classes are objects in Smalltalk. To create a new instance of a class, you send a message to it. Since a class object must belong to a class, Smalltalk requires metaclasses.
  •  Smalltalk effectively eliminates passive data. Since objects are “active” in the sense that they have methods, and everything is an object, there are no data primitives.
  •  Smalltalk is a complete environment, not just a compiler. You can edit, compile, execute, and debug Smalltalk programs without ever leaving the Smalltalk environment.

The “block” is an interesting innovation of Smalltalk. A block is a sequence of statements that can be passed as a parameter to various control structures and behaves rather like an object. In the Smalltalk statement                                                                                                          10 timesRepeat: [Transcript nextPutAll: ’ Hi!’]                                          the receiver is 10, the message is timesRepeat and [Transcript nextPutAll: ’ Hi!’] is the parameter of the message.

The first practical version of Smalltalk was developed in 1976 at Xerox Palo Alto Research Center (PARC). The important features of Smalltalk are:

  • everything is an object
  • an object has private data and public functions
  • objects collaborate by exchanging “messages”
  • every object is a member of a class
  • there is an inheritance hierarchy (actually a tree) with the class Object as its root
  • all classes inherit directly or indirectly from the class Object
  • blocks
  • coroutines
  • garbage collection.

Prolog :

The computational model of a logic programming language is some form of mathematical logic. Propositional calculus is too weak because it does not have variables. Predicate calculus is too strong because it is undecidable. (This means that there is no effective procedure that determines whether a given predicate is true.) Practical logic programming languages are based on a restricted form of predicate calculus that has a decision procedure.

The first logic programming language was Prolog, introduced by Colmerauer (1973) and Kowalski (1974). The discussion in this section is based on (Bratko 1990).

Prolog is interactive, it prompts with ?- to indicate that it is ready to accept a query. Prolog responds to simple queries about facts that it has been told with “yes” and “no”. If the query contains a logical variable — an identifier that starts with an upper case letter — Prolog attempts to find a value of the variable that makes the query true.

Prolog syntax corresponds to a restricted form of first-order predicate calculus called clausal form logic. It is not practical to use the full predicate calculus as a basis for a programming language because it is undecidable. Clausal form logic is semi-decidable: there is an algorithm that will find a proof for any formula that is true in the logic. If a formula is false, the algorithm may fail after a finite time or may loop forever. The proof technique, called SLD resolution, was introduced by Robinson(1965). SLD stands for “Selecting a literal, using a Linear strategy, restricted to Definite clauses”.

The proof of validity of SLD resolution assumes that unification is implemented with the occurs check. Unfortunately, the occurs check is expensive to implement and most Prolog systems omit it. Consequently, most Prolog systems are technically unsound, although problems are rare in practice.

A Prolog program apparently has a straightforward interpretation as a statement in logic, but the interpretation is slightly misleading. For example, since Prolog works through the rules in the order in which they are written, the order is significant. Since the logical interpretation of a rule sequence is disjunction, it follows that disjunction in Prolog does not commute.

The important features of Prolog include:

  • Prolog is based on a mathematical model (clausal form logic with SLD resolution).
  • “Pure” Prolog programs, which fully respect the logical model, can be written but are often inefficient.
  • In order to write efficient programs, a Prolog programmer must be able to read programs both declaratively (to check the logic) and procedurally (to ensure efficiency).
  • Prolog implementations introduce various optimizations (the cut, omitting the occurs check) that improve the performance of programs but compromise the mathematical model.
  • Prolog has garbage collection.

The 1960s and 1970s also saw considerable debate over the merits of “structured programming”, which essentially meant programming without the use of Goto. This debate was closely related to language design: some languages did not include GOTO, which forced structured programming on the programmer. Although the debate raged hotly at the time, nearly all programmers now agree that, even in language s that provide GOTO, it is bad programming style to use it except in rare circumstances. As a result, later generations of language designers have found the structured programming debate tedious and even bewildering.

Some important languages that were developed in this period include:

  • 1968- Simula
  • 1970 – Pascal
  • 1970 – Forth
  • 1972 – C
  • 1972 – Smalltalk
  • 1972 – Prolog
  • 1973 – ML
  • 1978 – SQL (initially only a query language, later extended with programming constructs)

The 1980s: consolidation, modules, performance

The 1980s were years of relative consolidation. C++ combined object-oriented and systems programming. The United States government standardized Ada, a systems programming language intended for use by defense contractors. In Japan and elsewhere, vast sums were spent investigating so-called fifth-generation programming languages that incorporated logic programming constructs. The functional languages community moved to standardize ML and Lisp. Rather than inventing new paradigms, all of these movements elaborated upon the ideas invented in the previous decade.

However, one important new trend in language design was an increased focus on programming for large-scale systems through the use of modules, or large-scale organizational units of code. Modula, Ada, and ML all developed notable module systems in the 1980s. Module systems were often wedded to generic programming constructs—generics being, in essence, parameterized modules (see also polymorphism in object-oriented programming).

Although major new paradigms for programming languages did not appear, many researchers expanded on the ideas of prior languages and adapted them to new contexts. For example, the languages of the Argus and Emerald systems adapted object-oriented programming to distributed systems.

Ada :

Ada (Whitaker 1996) represents the last major effort in procedural language design. It is a large and complex language that combines then-known programming features with little attempt at consolidation. It was the first widely-used language to provide full support for concurrency, with interactions checked by the compiler, but this aspect of the language proved hard to implement.

 Ada provides templates for procedures, record types, generic packages, and task types. The corresponding objects are: blocks and records (representable in the language); and packages and tasks (not representable in the language). It is not clear why four distinct mechanisms are required (Gelernter and Jagannathan 1990). The syntactic differences suggest that the designers did not look for similarities between these constructs.

The parameters of a record type are optional. If present, they have a different form than the parameters of procedures.

Of course, programmers hardly notice syntactic differences of this kind: they learn the correct incantation and recite it without thinking. But it is disturbing that the language designers apparently did not consider passible relationships between these four kinds of declaration. Changing the syntax would be a minor improvement, but uncovering deep semantic similarities might have a significant impact on the language as a whole, just as the identity declaration of Algol 68 suggested new and interesting possibilities.

Modula :

Wirth (1982) followed Pascal with Modula–2, which inherits Pascal’s strengths and, to some extent, removes Pascal’s weaknesses. The important contribution of Modula–2 was, of course, the introduction of modules. (Wirth’s first design, Modula, was never completed. Modula–2 was the product of a sabbatical year in California, where Wirth worked with the designers of Mesa, another early modular language.)

A module in Modula–2 has an interface and an implementation. The interface provides information about the use of the module to both the programmer and the compiler. The implementation contains the “secret” information about the module. This design has the unfortunate consequence that some information that should be secret must be put into the interface. For example, the compiler must know the size of the object in order to declare an instance of it. This implies that the size must be deducible from the interface which implies, in turn, that the interface must contain the representation of the object. (The same problem appears again in C++.)

Modula–2 provides a limited escape from this dilemma: a programmer can define an “opaque” type with a hidden representation. In this case, the interface contains only a pointer to the instance and the representation can be placed in the implementation module.

The important features of Modula–2 are:

  • Modules with separated interface and implementation descriptions (based on Mesa).
  • Coroutines.

The 1980s also brought advances in programming language implementation. The RISC movement in computer architecture postulated that hardware should be designed for compilers rather than for human assembly programmers. Aided by processor speed improvements that enabled increasingly aggressive compilation techniques, the RISC movement sparked greater interest in compilation technology for high-level languages.

Language technology continued along these lines well into the 1990s.

Some important languages that were developed in this period include:

  •  1983 – Ada
  •  1983 – C++
  •  1985 – Eiffel
  •  1987 – Perl
  •  1989 – FL (Backus)

The 1990s: the Internet age

The 1990s saw no fundamental novelty, but much recombination as well as maturation of old ideas. A big driving philosophy was programmer productivity. Many “rapid application development” (RAD) languages emerged, which usually came with an IDE, garbage collection, and were descendants of older languages. All such languages were object-oriented. These included Object Pascal, Visual Basic, and C#. Java was a more conservative language that also featured garbage collection and received much attention. More radical and innovative than the RAD languages were the new scripting languages. These did not directly descend from other languages and featured new syntaxes and more liberal incorporation of features. Many consider these scripting languages to be more productive than even the RAD languages, but often because of choices that make small programs simpler but large programs more difficult to write and maintain. Nevertheless, scripting languages came to be the most prominent ones used in connection with the Web.

Pascal :

Pascal was designed by Wirth (1996) as a reaction to the complexity of Algol 68, PL/I, and other languages that were becoming popular in the late 60s. Wirth made extensive use of the ideas of Dijkstra and Hoare (later published as (Dahl, Dijkstra, and Hoare 1972)), especially Hoare’s ideas of data structuring. The important contributions of Pascal included the following :

  • Pascal demonstrated that a programming language could be simple yet powerful.
  • The type system of Pascal was based on primitives (integer, real, bool, . . . .) and mechanisms for building structured types (array, record, file, set, . . . .). Thus data types in Pascal form a recursive hierarchy just as blocks do in Algol 60.
  • Pascal provides no implicit type conversions other than subrange to integer and integer to real. All other type conversions are explicit (even when no action is required) and the compiler checks type correctness.
  • Pascal was designed to match Wirth’s (1971) ideas of program development by stepwise refinement. Pascal is a kind of “fill in the blanks” language in which all programs have a similar structure, determined by the relatively strict syntax. Programmers are expected to start with a complete but skeletal “program” and flesh it out in a series of refinement steps, each of which makes certain decisions and adds new details. The monolithic structure that this idea imposes on programs is a drawback of Pascal because it prevents independent compilation of components.

Pascal was a failure because it was too simple. Because of the perceived missing features, supersets were developed and, inevitably, these became incompatible. The first version of “Standard Pascal” was almost useless as a practical programming language and the Revised Standard described a usable language but appeared only after most people had lost interest in Pascal.

Like Algol 60, Pascal missed important opportunities. The record type was a useful innovation (although very similar to the Algol 68 struct) but allowed data only. Allowing functions in a record declaration would have paved the way to modular and even object oriented programming.

Nevertheless, Pascal had a strong influence on many later languages. Its most important innovations were probably the combination of simplicity, data type declarations, and static type checking.

Java :

Java (Arnold and Gosling 1998) is an object oriented programming  language introduced by Sun Microsystems. Its syntax bears some relationship to that of C++, but Java is simpler in many ways than C++. Key features of  Java include the following:

  • Java is compiled to byte codes that are interpreted. Since any computer that has a Java byte code interpreter can execute Java programs, Java is highly portable.
  • The portability of Java is exploited in network programming: Java bytes can be transmitted across a network and executed by any processor with an interpreter.
  • Java offers security. The byte codes are checked by the interpreter and have limited functionality. Consequently, Java byte codes do not have the potential to penetrate system security in the way that a binary executable (or even a MS-Word macro) can.
  • Java has a class hierarchy with class Object at the root and provides single inheritance of classes.
  • In addition to classes, Java provides interfaces with multiple inheritance.
  • Java has an exception handling mechanism.
  • Java provides concurrency in the form of threads.
  • Primitive values, such as int, are not objects in Java. However, Java provides wrapper classes, such as Integer, for each primitive type.
  • A variable name in Java is a reference to an object.
  • Java provides garbage collection

Some important languages that were developed in this period include:

  •  1990 – Haskell
  •  1991 – Python
  •  1991 – Java
  •  1993 – Ruby
  •  1993 – Lua
  •  1994 – ANSI Common Lisp
  •  1995 – JavaScript
  •  1995 – PHP
  •  2000 – C#
  •  2008 – JavaFX Script

Current trends

Programming language evolution continues, in both industry and research. Some of the current trends include:

  • Mechanisms for adding security and reliability verification to the language: extended static checking, information flow control, static thread safety.
  • Alternative mechanisms for modularity: mixins, delegates, aspects.
  • Component-oriented software development.
  • Metaprogramming, reflection or access to the abstract syntax tree
  • Increased emphasis on distribution and mobility.
  • Integration with databases, including XML and relational databases.
  • Support for Unicode so that source code (program text) is not restricted to those characters contained in the ASCII character set; allowing, for example, use of non-Latin-based scripts or extended punctuation.
  • XML for graphical interface (XUL, XAML).

Conclusion

  1. Mathematically oriented views of programming favour values. Simulation oriented views favour objects. Both views are useful for particular applications. A programming language that provides both in a consistent and concise way might be simple, expressive, and powerful. The “logical variable” is a third kind of entity, after values and objects. It might be fruitful to design a programming language with objects, logical variables, unification, and backtracking. Such a language would combine the advantages of object oriented programming  language and logic programming
  2. It is not hard to design a large and complex programming language by throwing in numerous features. The hard part of design is to find simple, powerful abstractions to achieve more with less. In this respect, programming language design resembles mathematics. The significant advances in mathematics are often simplifications that occur when structures that once seemed distinct are united in a common abstraction. Similar simplifications have occurred in the evolution of programming languages: for example, Simula. But programs are not mathematical objects. A rigorously mathematical approach can lead all too rapidly to the “Turing tar pit”.
  3. The evolution of programming languages shows that, most of the time, practice leads theory. Designers and implementors introduce new ideas, then theoreticians attempt to what they did and how they could have done it better. There are a number of programming languages that have been based on purely theoretical principles but few, if any, are in widespread use. Theory-based programming languages are important because they provide useful insights. Ideally, they serve  as testing environments for ideas that may eventually be incorporated into new mainstream programming languages. Unfortunately, it is often the case that they show retroactively how something should have been done when it is already too late to improve it.
  4. Programming languages have evolved into several strands: procedural programming, now more or less subsumed by object oriented programming, functional programming, logic programming and its successor, constraint programming. Each paradigm performs well on a particular class of applications. Since people are always searching for “universal” solutions, it is inevitable that some will try to build a “universal” programming language by combining paradigms. Such attempts will be successful to the extent that they achieve overall simplification. It is not clear that any future universal language will be accepted by the programming community, it seems more likely that specialized languages will dominate in the future.
Share this...
Share on Facebook
Facebook
Tweet about this on Twitter
Twitter

56 thoughts on “Evolution of Programming Languages”

  1. A formidable share, I just given this onto a colleague who was doing just a little analysis on this. And he the truth is purchased me breakfast as a result of I found it for him.. smile. So let me reword that: Thnx for the treat! However yeah Thnkx for spending the time to debate this, I feel strongly about it and love reading more on this topic. If possible, as you become experience, would you thoughts updating your blog with more details? It is highly helpful for me. Massive thumb up for this blog post!

  2. Needed to send you that tiny word to thank you so much once again for the pleasing methods you have contributed on this page. It is quite surprisingly open-handed with people like you to supply unreservedly all a number of us could possibly have offered for sale as an ebook to help make some bucks for their own end, principally given that you could possibly have done it in case you wanted. Those smart ideas in addition served like a easy way to realize that someone else have the same eagerness like my own to see very much more with regards to this condition. I am certain there are a lot more fun moments in the future for many who browse through your website.

  3. I needed to put you a very small word to finally give thanks over again with your remarkable solutions you’ve shown on this site. It is quite surprisingly generous of you to deliver easily precisely what a few people might have marketed as an e book to end up making some money for themselves, precisely now that you could possibly have done it if you considered necessary. The advice likewise served to be a easy way to understand that the rest have the same desire really like my own to learn somewhat more pertaining to this condition. I am sure there are thousands of more pleasurable opportunities up front for those who go through your blog.

  4. A lot of thanks for your entire labor on this blog. Debby delights in making time for investigation and it’s obvious why. Most people know all concerning the compelling mode you offer good things by means of your blog and as well improve response from other ones on that concept while our own princess is without question starting to learn a whole lot. Enjoy the remaining portion of the year. You are always doing a tremendous job.

  5. I wish to show some thanks to the writer for bailing me out of such a scenario. Just after surfing throughout the search engines and getting thoughts which were not helpful, I was thinking my life was well over. Living minus the approaches to the problems you’ve resolved all through your entire report is a serious case, and ones that might have badly damaged my career if I had not discovered the website. Your own personal expertise and kindness in maneuvering a lot of things was very useful. I am not sure what I would have done if I hadn’t come across such a step like this. I’m able to now look forward to my future. Thanks for your time very much for your reliable and sensible guide. I won’t hesitate to endorse your blog post to any individual who would like counselling about this problem.

  6. Thanks a lot for providing individuals with an extraordinarily memorable possiblity to read critical reviews from this web site. It’s usually so lovely and also jam-packed with a lot of fun for me personally and my office fellow workers to visit your web site really three times per week to find out the fresh items you have got. Not to mention, I am also usually contented with all the spectacular solutions you give. Selected 3 areas in this posting are in truth the best we have all ever had.

  7. I want to get across my affection for your generosity giving support to individuals who really want help on in this matter. Your personal commitment to getting the solution up and down had been pretty important and has surely allowed men and women much like me to achieve their ambitions. Your own useful advice denotes a great deal a person like me and still more to my peers. Thanks a lot; from all of us.

  8. I as well as my buddies were looking through the excellent tips and hints located on the blog and the sudden came up with a horrible suspicion I never thanked the blog owner for those tips. The ladies became as a result warmed to read all of them and now have in truth been tapping into those things. We appreciate you being so helpful and also for using this form of quality ideas most people are really needing to be aware of. My sincere apologies for not saying thanks to you sooner.

  9. I simply needed to thank you so much once more. I’m not certain what I would’ve used in the absence of the entire advice shared by you concerning such area. Certainly was a intimidating difficulty in my view, however , witnessing a professional fashion you solved the issue forced me to leap for delight. I’m happy for your guidance and then hope that you recognize what a powerful job you are putting in educating the rest using your webblog. I know that you’ve never met any of us.

  10. An attention-grabbing dialogue is price comment. I believe that you must write extra on this topic, it might not be a taboo subject however usually individuals are not enough to speak on such topics. To the next. Cheers

  11. Thank you a lot for giving everyone remarkably spectacular opportunity to read in detail from this blog. It’s usually very ideal and full of a lot of fun for me and my office fellow workers to search your website at least 3 times in 7 days to read the newest issues you have got. And of course, I’m just at all times pleased for the unbelievable secrets served by you. Some two points in this post are absolutely the most suitable we have all had.

  12. My wife and i ended up being now ecstatic when Edward could round up his reports because of the precious recommendations he got when using the site. It is now and again perplexing to simply happen to be releasing tips and hints which often a number of people have been making money from. And we realize we need you to be grateful to because of that. The main illustrations you’ve made, the simple website navigation, the friendships your site make it possible to promote – it’s got mostly astonishing, and it’s assisting our son in addition to the family recognize that the subject is excellent, which is certainly truly fundamental. Many thanks for all the pieces!

  13. My wife and i ended up being quite contented Edward managed to finish up his analysis via the ideas he got through the site. It’s not at all simplistic to simply continually be releasing hints which often the others could have been making money from. And now we take into account we’ve got you to give thanks to because of that. The main explanations you have made, the easy web site menu, the friendships you can make it possible to create – it’s got everything fantastic, and it is facilitating our son and our family recognize that this article is exciting, and that is extraordinarily fundamental. Thank you for the whole thing!

  14. My spouse and i felt really fortunate that Jordan managed to conclude his inquiry using the precious recommendations he got through your web site. It’s not at all simplistic to just find yourself releasing things that many the rest could have been trying to sell. We really already know we have the blog owner to be grateful to because of that. All of the explanations you have made, the straightforward website navigation, the friendships your site assist to foster – it’s mostly fantastic, and it’s letting our son and our family recognize that the subject is entertaining, and that’s unbelievably serious. Thanks for the whole lot!

  15. I simply desired to say thanks all over again. I’m not certain the things that I might have accomplished in the absence of the actual opinions discussed by you regarding this situation. It actually was a very distressing dilemma in my position, but noticing the very specialised way you dealt with that made me to weep with joy. I’m just happy for this guidance and then sincerely hope you comprehend what an amazing job that you’re undertaking educating many others via your web site. Most likely you have never got to know any of us.

  16. I wish to express my thanks to the writer for bailing me out of such a circumstance. After surfing through the the web and meeting concepts which were not pleasant, I thought my entire life was over. Being alive devoid of the approaches to the difficulties you have fixed as a result of your entire guideline is a crucial case, as well as the kind that could have in a negative way affected my entire career if I had not noticed your web page. Your capability and kindness in controlling all the stuff was tremendous. I’m not sure what I would’ve done if I hadn’t discovered such a subject like this. I’m able to at this point relish my future. Thank you very much for the high quality and result oriented help. I will not think twice to endorse your web blog to anyone who requires guidelines on this matter.

  17. I really wanted to construct a quick comment so as to express gratitude to you for these unique hints you are posting at this website. My particularly long internet look up has at the end of the day been paid with good points to share with my family. I would assume that we website visitors are truly endowed to live in a good community with many perfect people with valuable things. I feel truly lucky to have discovered the web site and look forward to really more cool minutes reading here. Thanks once more for everything.

  18. After research a couple of of the weblog posts in your web site now, and I actually like your manner of blogging. I bookmarked it to my bookmark web site listing and shall be checking again soon. Pls try my site as well and let me know what you think.

  19. I want to show my affection for your kindness giving support to men who require assistance with the niche. Your special commitment to getting the message throughout had become unbelievably interesting and has constantly helped individuals just like me to arrive at their pursuits. Your amazing useful guide indicates so much a person like me and still more to my peers. With thanks; from all of us.

  20. I wanted to compose you a little remark just to give many thanks as before for all the amazing solutions you’ve provided at this time. This has been certainly wonderfully generous with people like you to give without restraint what exactly numerous people could have distributed as an ebook in order to make some money on their own, primarily since you might well have tried it if you wanted. The good ideas likewise worked as the great way to be sure that other individuals have the identical dreams really like my very own to find out good deal more related to this issue. Certainly there are several more pleasurable sessions up front for folks who take a look at your website.

  21. My husband and i got very ecstatic that Ervin managed to conclude his studies out of the precious recommendations he was given out of the blog. It is now and again perplexing just to continually be handing out information that many people today may have been selling. We do know we now have the blog owner to appreciate for this. The illustrations you made, the straightforward website navigation, the friendships you make it easier to create – it is mostly astonishing, and it’s really facilitating our son in addition to us reckon that the article is entertaining, and that is extraordinarily vital. Thank you for the whole thing!

  22. I would like to get across my passion for your kind-heartedness supporting women who absolutely need help with this particular area. Your personal commitment to passing the message around has been rather important and has empowered individuals much like me to attain their pursuits. Your amazing important hints and tips indicates this much a person like me and still more to my peers. Thank you; from all of us.

  23. A lot of thanks for every one of your effort on this site. Gloria takes pleasure in carrying out investigation and it’s obvious why. I notice all relating to the dynamic tactic you create precious tactics via your website and even foster contribution from some other people on this issue then our own princess is in fact learning a lot of things. Take pleasure in the rest of the new year. You are conducting a tremendous job.

  24. My husband and i ended up being excited Michael could finish up his preliminary research while using the ideas he had from your own weblog. It’s not at all simplistic just to find yourself freely giving facts that many other folks have been making money from. And now we already know we need the writer to thank for this. Most of the explanations you have made, the straightforward blog menu, the friendships you give support to engender – it’s many wonderful, and it is leading our son in addition to the family reckon that that concept is excellent, and that’s rather serious. Many thanks for all!

  25. I as well as my buddies have been checking out the excellent secrets on the blog then unexpectedly came up with an awful suspicion I had not expressed respect to the web site owner for them. Most of the ladies are already glad to read through all of them and have now unquestionably been tapping into those things. I appreciate you for actually being very considerate and then for settling on this kind of high-quality areas most people are really desperate to know about. Our sincere regret for not expressing appreciation to you sooner.

  26. With havin so much content do you ever run into
    any issues of plagorism or copyright infringement? My blog has a lot of completely unique content
    I’ve either authored myself or outsourced but it looks like a lot of it is popping it up all over the internet without my authorization. Do you know any ways to
    help stop content from being stolen? I’d definitely appreciate it.

  27. I must show my appreciation to the writer for rescuing me from this particular issue. Just after scouting throughout the the web and meeting ideas that were not beneficial, I believed my life was done. Being alive devoid of the answers to the difficulties you have fixed by way of this site is a crucial case, as well as ones that would have adversely affected my career if I had not come across the website. Your primary talents and kindness in touching every item was valuable. I’m not sure what I would have done if I hadn’t discovered such a stuff like this. It’s possible to at this moment look ahead to my future. Thanks for your time very much for the high quality and sensible help. I will not think twice to recommend your web page to anyone who would need counselling about this issue.

  28. I wanted to write you this very small observation in order to thank you yet again just for the gorgeous advice you’ve discussed on this page. It is tremendously generous of people like you to convey publicly what exactly a lot of people might have advertised as an e-book to make some bucks on their own, and in particular considering the fact that you could have tried it if you ever desired. Those basics likewise acted to be the great way to fully grasp most people have the identical keenness the same as mine to find out good deal more in respect of this condition. I’m sure there are numerous more fun times ahead for people who find out your site.

  29. I must express some appreciation to this writer just for bailing me out of this dilemma. Because of searching through the internet and getting basics that were not pleasant, I assumed my entire life was well over. Living devoid of the strategies to the problems you have sorted out through your main guideline is a critical case, as well as the kind that could have in a negative way affected my career if I had not discovered your website. Your primary natural talent and kindness in handling a lot of stuff was excellent. I don’t know what I would’ve done if I had not discovered such a stuff like this. It’s possible to at this time relish my future. Thanks a lot very much for this expert and effective help. I won’t think twice to suggest your web site to any individual who needs assistance on this area.

  30. I just wanted to post a small remark so as to thank you for these superb guides you are giving out here. My incredibly long internet investigation has finally been compensated with reputable facts to exchange with my family. I ‘d assume that most of us readers are truly lucky to be in a notable website with very many special people with good ideas. I feel truly privileged to have discovered your website page and look forward to so many more brilliant minutes reading here. Thank you again for everything.

  31. Its such as you learn my thoughts! You appear to understand so much
    approximately this, like you wrote the ebook
    in it or something. I believe that you simply could do with a few
    percent to drive the message house a little bit, however other than that, that is wonderful blog.
    A great read. I’ll certainly be back.

Leave a Reply

Your email address will not be published. Required fields are marked *