Paradigma Pemrograman

Paradigma pemrograman adalah bentuk pemecahan masalah mengikuti aliran atau "genre" tertentu dari program dan bahasa. Empat paradigma pemrograman yang sangat mendasar dan berbeda pada tiga dekade terakhir adalah:
1. Imperative programming
2. Object-oriented programming
3. Functional programming
4. Logic programming
Beberapa bahasa dirancang mendukung lebih dari satu paradigma. Sebagai contoh, C++ merupakan campuran antara bahasa imperative dan object-oriented, sedangkan Leda dirancang untuk mendukung paradigma pemrograman imperative, object-oriented, functional, dan logic.

1> Imperative programming merupakan paradigma pemrograman paling tua, yang dirancang berdasarkan model komputasi klasik "von Neumann-Eckert" (Gambar 1.1). Pada model ini, program dan variabelnya disimpan bersama, dan program terdiri atas perintah-perintah yang membentuk perhitungan, penyimpanan nilai ke variabel, membaca input, menghasilkan output, atau mengarahkan kontrol dari deret instruksi dalam program.
Abstraksi prosedural membentuk blok untuk imperative programming, misalnya penugasan (assignment), pengulangan (loop), sekuensial, pernyataan kondisi, dan penanganan pengecualian (exception handling). Bahasa pemrograman yang masuk ke dalam paradigma ini antara lain Cobol, Fortran, C, Ada, dan Perl.

2> Object-Oriented Programming (OOP) menyediakan model dimana program merupakan kumpulan obyek yang berinteraksi satu sama lain. Program dalam OOP membungkus (encapsulate) data dan fungsi (atau prosedur) dalam suatu obyek yang umumnya diimplementasikan sebagai suatu kelas (class). Klasi kasi obyek, pewarisan, dan message passing merupakan prinsip-prinsip dasar dalam OOP. Bahasa yang mendukung OOP
antara lain Smalltalk, C++, Java, dan C#.

3> Functional Programming memodelkan suatu masalah komputasi sebagai kumpulan fungsi matematiks, dimana setiap input merupakan domain atau daerah fungsi, dan output berupa range atau wilayah fungsi. Hal ini menjadikan functional programming sebagai bagian dari bahasa yang tidak membenarkan pernyataan penugasan seperti x = x + 1, yang tidak berlaku baik pada functional programming maupun dalam matematika. Fungsi
berinteraksi dengan yang lain menggunakan komposisi fungsi, kondisional, dan rekursif. Bahasa pemrograman yang masuk dalam kelompok ini adalah Lisp (List Programming), Scheme, Haskell, dan ML.

4> Logic Programming atau juga disebut sebagai declarative programming memodelkan masalah dengan menggunakan bahasa deklaratif, yang diimplementasikan dalam bentuk fakta dan aturan. Maka dari itu, bahasa ini juga disebut sebagai rule-based languages. Contoh bahasa pemrograman kelompok ini adalah Prolog (Programming in Logic).