6.4. Types of High-Level Programming Languages

6.4.1 Procedural Languages

• Based on functions and procedures
• Emphasis on step-by-step instructions
• E.g., C, Pascal

Procedural languages focus on a sequence of tasks or procedures to complete a program. The programmer defines a series of actions, typically organized into functions, which are called to execute specific tasks in a defined order. The emphasis is on the logic and steps needed to achieve a desired outcome, making it straightforward to understand the flow of the program.

Languages like C and Pascal exemplify this approach, allowing developers to structure their code into blocks or functions, promoting modularity and easier readability.

Think of procedural programming like following a recipe to cook a meal. Each step (or procedure) must be followed in a specific order to create the dish. You start with prep work (like chopping vegetables) and follow the steps until the meal is complete, just as functions are called in a specific sequence to complete a program.

6.4.2 Object-Oriented Languages

• Based on objects and classes
• Supports encapsulation, inheritance, polymorphism
• E.g., Java, C++, Python

Object-oriented programming (OOP) is based on the concept of 'objects', which are instances of classes. A class can be thought of as a blueprint for creating objects, encapsulating data (attributes) and behavior (methods) that work on that data. This paradigm supports principles such as:

• Encapsulation: Bundling the data with the methods that operate on them to protect data integrity.
• Inheritance: Creating new classes from existing ones, promoting code reuse.
• Polymorphism: Allowing methods to do different things based on the object it is acting upon.

Common examples include languages like Java and Python, which are widely used for application development and provide powerful features for managing complexity in large systems.

Consider how a car can be an object. Each car has attributes like color and model (data) and behaviors like driving and braking (methods). In OOP, a 'Vehicle' class could define generic attributes and methods, while specific car types (like 'Sedan' or 'SUV') can inherit those properties and extend their functionalities, just like different car models share common features but have their unique characteristics.

6.4.3 Functional Languages

• Emphasize functions as first-class citizens
• Avoid changing states or mutable data
• E.g., Haskell, Lisp, Scala

Functional programming is a paradigm that treats computation as the evaluation of mathematical functions without changing state or mutable data. Functions are first-class citizens in functional languages, meaning they can be passed as arguments, returned from other functions, and assigned to variables. This approach encourages writing pure functions that always produce the same output for the same input, making programs easier to understand and predict. Languages like Haskell and Scala are prominent examples that utilize these principles.

Imagine you have a vending machine that only delivers a drink based on the selection you make, always providing the same drink when the same button is pressed (representing a pure function). Unlike a person who might change their mind, the vending machine's behavior is consistent and predictable, reflecting the characteristics of functional programming.

6.4.4 Scripting Languages

• Often interpreted
• Used for automation, web development
• E.g., JavaScript, Perl, Bash

Scripting languages are designed to automate tasks that would otherwise be executed in a more complex programming environment. They are usually interpreted rather than compiled, which means scripts can be run on the fly without a separate compilation step. Scripting languages are commonly used in web development for creating interactive websites (JavaScript) or for automating system processes (Bash). Their simplicity and ease of use make them very popular for quick tasks and smaller applications.

Think of scripting languages like a personal assistant who helps you complete small tasks throughout the day. Instead of taking time to plan and organize every detail of an event (which would be like using a compiled language), the assistant can quickly handle requests as they come, making it easier to adapt to changing needs.

6.4.5 Logic Programming Languages

• Based on formal logic
• Specify what to solve rather than how
• E.g., Prolog

Logic programming languages use a form of symbolic logic to express programs. In these languages, you specify the goals (what you want to achieve) rather than the steps to achieve those goals (how to achieve them). This approach allows the language runtime to figure out the solution. Prolog is a well-known example, often used in artificial intelligence applications where problem solving in a structured, logical way is crucial.

Think of logic programming like a detective solving a case. Instead of telling the detective how to gather clues and work in a specific order, you can simply tell them what you want to find out (the culprit) and let them use their skills to deduce the solution based on the evidence available. This reflects the logic programming style where the focus is on the outcome rather than the process.

--