Types of Programming Languages

Yesterday, we looked at how computers have evolved through the years. In this article, we will learn about how programming languages have progressed. But before we delve into the various categories and types of programming languages, let’s look at what programming means.

What is Programming

Martin O’Hanlon says, “Programming is how you get computers to solve problems”. How can you get a computer to solve problems? By giving it instructions for it to execute. These instructions are what we refer to as computer programs.

Programming’s Evolution

Computers are electronic machines, meaning they do not understand human language – they communicate through electric currents. In the early stages of programming, it was nothing more than using switches to turn on/off currents to get a computer to solve a problem.

Why Were Programming Languages Created

Computer engineers were doing just fine creating complex circuit systems to understand, read and compute data from memory. However, if the programmer needed to perform another task, they needed to reconfigure the whole circuit, which was very laborious and time-consuming.

John Von Neumann designed the Von Neumann architecture to cater for this complexity.

The architecture design comprised of:

• A Central Processing Unit with an Arithmetic Logic Unit (ALU) and processor registers.
• A Control Unit that included an instruction register and a program counter.
• Memory to store data and instructions for the computer.
• Input/output mechanisms.

Still, it wasn’t enough. Consequent innovations like plug boards and punched paper could not handle the complexity and did not allow programmers to take full advantage of what computers could do. What was needed was a simpler way to give instructions to the computer. This gave birth to programming languages.

Fundamental Types Of Programming Languages

At its core, programming languages can be categorised two:

1. Low-level languages
2. High-level languages

Low-level Languages

These are languages that are closer to a computer’s hardware. They are difficult for humans to understand and provide little to no abstraction from a system’s architecture. Machine code and assembly language are types of low-level languages.

Machine Language: It is the language the computer speaks and understands. It consists of binary or hexadecimal instructions for the computer to execute. Machine language is hardware dependent. This means machine code written for one type of hardware cannot work on any other hardware.

Hello World in x86 machine code

Assembly Language: Assembly language uses mnemonics, numbers and symbols instead of 0s and 1s for designing computer programs. It is machine-dependent. This means the program can work on only the type of computer it was designed for. For example, the Assembly language for Intel computers is different for Apple computers.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21

; ----------------------------------------------------------------
; Writes "Hello, World" to the console using only system calls.
; Runs on 64-bit Linux only. To assemble and run:
;
;     nasm -felf64 hello.asm && ld hello.o && ./a.out
; ----------------------------------------------------------------

          global    _start

          section   .text
_start:   mov       rax, 1                  ; system call for write
          mov       rdi, 1                  ; file handle 1 is stdout
          mov       rsi, message            ; address of string to output
          mov       rdx, 13                 ; number of bytes
          syscall                           ; invoke operating system to do the write
          mov       rax, 60                 ; system call for exit
          xor       rdi, rdi                ; exit code 0
          syscall                           ; invoke operating system to exit

          section   .data
message:  db        "Hello, World", 10      ; note the newline at the end

Hello World program for 64-bit Linux systems

High-level Lanaguages

High-level languages are programming languages that allow a programmer to write instructions for the computer to execute, independent of a particular type of computer. It abstracts the details of the computer from the programmer. Consequently, they are closer to human language.

High-level languages can be further broken down into different categories based on their paradigm (i.e. patterns):

• Imperative languages.
  • Procedural languages.
  • Object-oriented languages.
• Declarative languages.
  • Functional languages.
  • Logic languages.

Some languages are multi-paradigm (i.e. they support more than one programming paradigm).

Examples of high-level programming languages include: Python, Java, C++, Go, Ruby, Perl, BASIC, Pascal and FORTRAN.

Most programming languages support more than one programming paradigm to allow programmers to use the most suitable programming style and associated language constructs to solve a specific problem.

Fun Facts

• The largest punch card program was from the 1950’s SAGE Air Defence System, which used 62,500 punched cards. At its peak, it employed about 20% of the world’s programmers.

Conclusion

The next article will focus on high-level languages and their subcategories.