Belajar Haskell - Sejarah, Latar Belakang & Mengapa Membutuhkannya

#Pendahuluan

Setelah di episode 0 kita menyiapkan environment — memastikan GHC 9.14.1 LTS, cabal, dan HLS terinstall — pada episode ini kita menarik napas sejenak dari hands-on dan memahami mengapa Haskell ada. Sejarah sebuah bahasa mungkin terasa tidak penting, padahal justru di sanalah letak alasan mengapa desainnya seperti sekarang.

Mengapa harus memahami sejarah Haskell? Karena Haskell tidak lahir dari lab korporasi, melainkan dari riset akademik yang serius tentang cara menulis program yang bisa dibuktikan benar. Keputusan-keputusan desainnya — tidak ada side effect di kode pure, evaluasi lazy, tipe yang sangat ekspresif — bukan kebetulan, melainkan jawaban atas pertanyaan "bagaimana kita bisa mempercayai kode?" Memahami latar belakang ini akan menjelaskan mengapa Haskell terasa berbeda, dan mengapa perbedaan itu justru keunggulannya.

#Nama yang Diambil dari Seorang Logician

Haskell dinamai dari Haskell Curry — seorang logician (ahli logika) Amerika yang karya-karyanya tentang combinatory logic menjadi fondasi teoretis komputasi. Dua konsep yang ia kembangkan dipakai luas di dunia programming: currying (mengubah fungsi ber-parameter banyak menjadi rantai fungsi satu parameter) dan combinators. Ironisnya, Curry tidak pernah menulis bahasa Haskell — namanya diabadikan karena kontribusinya di landasan teori komputasi.

#Lahir dari Komite Riset 1987

Pada 1987, sekelompok peneliti di bidang functional programming berkumpul dan menemukan masalah: ada lebih dari selusin bahasa lazy functional yang masing-masing eksperimental dan tidak kompatibel. Di conference on Functional Programming Languages and Computer Architecture, mereka memutuskan membentuk komite untuk merancang satu bahasa standar — gabungan terbaik dari riset mereka.

Hasilnya adalah Haskell, bahasa lazy functional pertama yang benar-benar distandarkan. Pada 1999 komite merilis Haskell 98 — standar stabil pertama yang menjadi dasar bagi hampir semua implementasi. Haskell 2010 menyusul dengan penyempurnaan kecil. Sejak saat itu, bahasa ini tidak banyak berubah di level standar; inovasi justru terjadi di level ekstensi GHC, yang akan kita bahas di episode 20.

#Mengapa Haskell: Empat Pilar Utama

#Purely Functional: Tanpa Side Effect di Kode Pure

Di Haskell, fungsi secara default murni: tidak membaca file, tidak menulis ke layar, tidak mengubah variabel global. Konsekuensinya luar biasa: kode pure deterministik (hasil sama untuk input sama), mudah diuji, dan bisa diparalelkan tanpa race condition. Efek samping (I/O, mutable state) diisolasi lewat mekanisme monad IO yang akan kita bedah di episode 11 — dunia luar "dikurung" di satu gerbang, bukan tersebar di seluruh program.

#Lazy Evaluation: Hitung Hanya yang Dibutuhkan

Haskell mengevaluasi ekspresi hanya saat hasilnya benar-benar dibutuhkan. Ini memungkinkan hal yang mustahil di bahasa eager seperti Python atau C: infinite list seperti [1..] bisa dibuat dan dikonsumsi hanya sebagian:

firstTen = take 10 [1..]

take 10 [1..] meminta 10 elemen pertama dari daftar tak hingga — dan Haskell hanya menghitung 10 angka itu. Detail dan implikasinya (termasuk space leak) kita bahas di episode 7 dan 21.

#Strong Static Typing + Type Inference (Hindley-Milner)

Haskell punya tipe statis yang sangat kuat, tetapi tidak menuntut kalian menulis tipe di setiap tempat: compiler bisa menebak tipe lewat algoritma Hindley-Milner. Contohnya, fungsi berikut tidak menyebutkan tipe sama sekali:

double x = x * 2

Cek di GHCi dengan :t double dan compiler akan menjawab double :: Num a => a -> a. Banyak bugs kelas "typo yang baru ketahuan di production" tertangkap saat kompilasi — bukan saat runtime.

#Typeclass: Ad-Hoc Polymorphism

Typeclass adalah cara Haskell mengimplementasikan overloading — satu fungsi bekerja untuk banyak tipe. Contoh paling kentara adalah operator == yang bekerja untuk Int, String, Bool, sampai tipe buatan sendiri:

same :: Eq a => a -> a -> Bool
same x y = x == y

Bagian ini akan kita pelajari penuh di episode 8, termasuk membangun typeclass sendiri dan hubungannya dengan Functor, Applicative, dan Monad.

#Pengguna di Dunia Nyata

Menariknya, alasan utama perusahaan memakai Haskell sering sama: bukan kecepatan menulisnya, melainkan kepercayaan terhadap hasilnya. Di domain yang kegagalan software berbiaya mahal — smart contract, protokol kripto, verifikasi — compiler yang menangkap error di awal adalah fitur yang paling berharga.

#Timeline Singkat

#Penutup

Pada episode 1 ini, kalian telah menelusuri perjalanan Haskell dari proyek riset 1987 hingga bahasa functional paling berpengaruh di dunia.

Inti yang harus dibawa pulang:

• Nama Haskell diambil dari Haskell Curry, seorang logician; bahasa ini lahir dari komite riset 1987.
• Standar bahasa: Haskell 98 dan Haskell 2010; inovasi kini hidup di ekstensi GHC.
• Empat pilar: purely functional, lazy evaluation, type inference (Hindley-Milner), dan typeclass.
• Pengguna nyata: Cardano, Galois, FP Complete — domain yang menuntut correctness tinggi.

Di episode 2 selanjutnya, kita akan membedah konsep dasar dan arsitektur utama Haskell — cara kerja kompilasi GHC menjadi native code (termasuk backend LLVM dan WASM), peran GHCi sebagai REPL, serta komponen-komponen ekosistem: ghc, ghci, runghc, cabal, stack, HLS, dan Prelude. Sampai jumpa di episode 2!