Types of Programming Languages

CSS Computer Science (Optional) — Paper-I, Section-A, Topic I, p.24-28. Covers: Types of Programming Languages.

Definition

Programming Language: a formal, artificial language made up of a defined vocabulary and set of grammar/syntax rules, used to write instructions (a program) that a computer can execute — the means of communication between a programmer and a machine.
Every programming language ultimately must be translated (or already be) in the binary machine code the CPU can directly execute — languages differ in how close their syntax is to that machine code versus to human/natural language.

Programming languages are classified along three largely independent axes — an exam question may ask about any one of them:

By level/generation: how close the language is to machine code vs human language (Low-level ↔ High-level; 1GL-5GL).
By translation method: how the code is converted into something the CPU can run (Compiled, Interpreted, Hybrid).
By programming paradigm: the style/approach used to structure a solution (Procedural, OOP, Functional, Logic-based, Scripting).

Low-level languages
- Definition: close to the hardware/machine code; minimal or no translation needed.
- Includes: Machine language (1GL), Assembly language (2GL).
- Pros/Cons: very fast, gives direct hardware control — but hard to read/write, and not portable across different CPU architectures.
High-level languages
- Definition: closer to human/natural language; must be translated by a compiler or interpreter before the CPU can run them.
- Includes: 3GL and above (C, Java, Python, SQL, Prolog, etc.).
- Pros/Cons: easier to read, write, and maintain, and portable across machines — but requires a translation step and can be less hardware-efficient than low-level code.
Exam angle: "differentiate low-level and high-level languages" is a very common short-answer question — the core answer is closeness to hardware vs closeness to human language, plus the resulting portability/translation trade-off.

Generation	Description	Example
1GL — Machine Language	Raw binary instructions the CPU executes directly; no translation needed; extremely hardware-specific (low-level)	Binary opcodes
2GL — Assembly Language	Uses mnemonic codes (MOV, ADD) instead of raw binary; requires an assembler to convert to machine code (low-level)	Assembly
3GL — High-Level Language	Human-readable syntax, portable across machines; requires a compiler/interpreter (high-level)	C, C++, Java, Python
4GL — Very High-Level Language	Task-specific, closer to natural language, often used for database queries/report generation (high-level)	SQL
5GL — Constraint/Logic-Based	Programs specify goals/constraints rather than step-by-step instructions; the system determines how to achieve them (high-level)	Prolog

Compiled languages: entire program translated to machine code before execution — faster execution, but must fully recompile after any change (C, C++).
Interpreted languages: translated and executed line-by-line — easier to debug interactively, but generally slower (Python, JavaScript in early engines).
Hybrid (bytecode-based): compiled to an intermediate bytecode, then run by a virtual machine, often with Just-In-Time compilation — combines portability with reasonable speed (Java, C#).