Types of Programming Languages

By Paradigms

Imperative Programming languages

You instruct the computer on HOW TO do a task or change a state Reads like a list of steps to solve the problem or perform the task eg. C,C++,Java

1. Procedural Programming
   • Groups instructions of how to do the task into procedures
   • eg. C, Basic
2. Object Oriented Programming
   • Groups instructions into objects
   • Can also be OOP with functions eg.Scala,OCalm

Declarative Programming languages

In declarative programming languages, you declare to the computer WHAT TO do or the properties of the desired state but not how to compute it.

It is more like a function.

1. Functional Programming
   • Constructed by composing functions
   • eg. Haskell,Lisp
2. Logical Programming
   • Constructed through a set of logical connections
     • eg. Prolog,SQL

By Typed

Dynamically Typed

• Type checking is defered to runtime
• You do not know the type until at runtime
• eg. Javascript,Python,Julia,Ruby,Objective C

Python

def addnum(x,y):
    result = x + y
    return result

Ruby

def addnum(x,y)
    result = x + y
    return result
end

Julia

function addnum(x::Int,y::Int)
   result = x + y
    return result
end

Static Typed

•  Type checking is done before running the program at compile time
• You specify the types before running the program
• eg. C,C++,Java,Go

C

#include 
int addnum(int x,int y)
{
 int result;
 result = x + y;
 return result;
 
}

Golang

package main
import "fmt"

func addnum(x,y int) int{
    var result int
    result = x + y
    return result
}

func main(){
     a:= 2
     b:= 3
     addnum(a,b)
}