Pemrograman fungsional, juga dikenal sebagai FP, adalah paradigma pemrograman yang didasarkan pada pendekatan deklaratif dan matematis untuk komputasi dan pemrograman. Pemrograman fungsional berbeda dengan pemrograman imperatif dalam pendekatannya terhadap pemecahan masalah, yang menekankan evaluasi ekspresi daripada pelaksanaan perintah.
Pemrograman fungsional didasarkan pada gagasan untuk mengekspresikan tugas sebagai fungsi matematika, yang dapat disusun secara deklaratif. Ini berarti bahwa alih-alih memberikan instruksi untuk melakukan komputasi, pemrogram menentukan properti komputasi pada tingkat yang lebih tinggi. Untuk tujuan ini, evaluasi ekspresi dan representasi data dalam bahasa fungsional sering kali dievaluasi pada tingkat abstraksi yang lebih tinggi, memungkinkan pendekatan pemrograman yang lebih ringkas dan efisien.
Pemrograman fungsional biasanya terdiri dari kumpulan fungsi yang dapat disusun menjadi suatu program fungsional. Fitur umum bahasa pemrograman fungsional mencakup penggunaan variabel, fungsi, dan tipe data. Variabel diperlakukan sebagai potongan data yang dapat dibaca dan ditulis oleh program. Fungsi adalah potongan kode yang mengambil satu atau lebih argumen dan mengembalikan satu atau lebih nilai. Tipe data adalah struktur yang digunakan untuk mewakili data.
Bahasa pemrograman fungsional sering digunakan dalam komputasi berkinerja tinggi, karena memungkinkan solusi efisien diekspresikan dalam waktu yang lebih singkat dan operasi yang lebih sedikit. Selain itu, karena sifat deklaratifnya, aplikasi yang ditulis dalam bahasa pemrograman fungsional biasanya kurang rentan terhadap kesalahan yang disebabkan oleh manipulasi data sehingga lebih dapat diandalkan.
Bahasa pemrograman fungsional menjadi semakin populer dalam beberapa tahun terakhir, dengan bahasa seperti Haskell, OCaml, dan F# digunakan untuk banyak aplikasi. Mereka sering digunakan ketika mencoba memecahkan masalah yang kompleks, karena gaya deklaratifnya memungkinkan solusi ditulis secara ringkas dan efisien.
