LISP

Apa Itu LISP?
      Salah satu jenis Pemrograman Fungsional adalah LISP. LISP adalah singkatan dari kata List Processing,LISP di kembangkan di MIT oleh John McCarthy(sekarang menjadi Stanford University)untuk IBM704 (pure LISP).LISP merupakan salah satu bahasa pemrogaraman tertua yang populer.LISP awal nya di rancang untuk memproses List dengan memanipulasi symbol,LISP juga mempunyai kemampuan komputasi Numerik namun awal nya di rancang untuk komputasi non numerik.
          Berikut adalah Keunggulan dan Kelemahan dari LISP :
       -Keunggualan
             a) Model Komputasi yang atraktif
             b) Alat belajar Pemrograman yang baik
             c) Efisien
       -Kelemahan
             a) Popularitas rendah
             b) Tidak banyak tools yang mendukung
             c) Library pengembangan tidak banyak
    
            -Ekspresi Fungsional
                   Program Fungsional di realisasikan berupa Ekspresi Fungsional.Pengertian Ekspresi sendiri adalah sebuah teks yang terdiri dari nama ,simbol,operator/fungsi,( ),yang dapat menghasilkan suatu nilai berkat evaluasi dari ekspresi.Hasil Evaluasi sendiri dapat berupa nilai numerik atau Boolean.
                  Fungsi paling dasar adalah Operator.Berikut adalah contoh contoh dari operator :
             - Operator Aritmatika : (+,-,*,/,mod,div)contoh ekspresi aritmatika penggunaan nya sbb:
                                    (2+2)*2  hasil evaluasi nya adalah 8.
             -Operator  Relasional  : <,>,=,<=,>=,≠
             -Operator Boolean      : and,or contoh ekspresi boolean penggunaan nya sbb :
                                    (3<5)and(4>=6) hasil evaluasi nya adalah False.
           -Ekspresi Rekursif
                          Definisi entitas (type, fungsi) disebut rekursif jika definisi tersebut mengandung
terminologi dirinya sendiri.Ekspresi rekursif direalisasikan dengan membuat fungsi rekursif dan didasari
analisis rekurens.
            -Analisa Rekurens
                                Teks program rekursif terdiri dari dua bagian:
                            -Basis (Basis-0 atau Basis-1), yang menyebabkan fungsi berhenti
                            -Bagian rekurens : mengandung call terhadapfungsi tersebut (aplikasi dari fungsi), dengan
                               parameter bernilai mengecil (menuju Basis).
            -Type Rekursif
                           - Jika teks yang mendefinisikan tipe mengandung referensi terhadap diri sendiri,  maka     disebut tipe rekursif.
                           - Tipe dibentuk dengan komponen yang merupakan tipe itu sendiri.
            -Type Bentukan 
                            Type adalah himpunan nilai dan sekumpulan operator yang terdefinisi terhadap type tersebut.Ada 2 jenis type yaitu
                       a)Tipe dasar : Tipe ini biasa nya sudah tersedia seperti Interger,boolean,real,character
                       b)Tipe Bentukan : sedangkan tipe ini di buat sendiri.
            Himpunan Nilai di tentukan oleh domain nilai komponen nya,sedangkan operator harus di buat definisi,spesifikasi,dan realisasi nya sendiri tergantung pada operasi yang berlaku pada type bentukan.

              -Mendefinisikan Type
                             Dalam Konteks fungsional mendefinisikan type adalah mendefinisikan :
                        -Nama dan Struktur type
                        -Selektor untuk menentukan komponen-komponen type
                        -Konstruktor untuk membentuk type
                        -Predikat untuk menentukan karekteristik dan pemeriksaan besaran.