KAL
Menu

Bahasa Pemrograman

Haskell

Jalur pemrograman fungsional Haskell dari fondasi tipe murni sampai membangun, menguji, dan mengukur perangkat lunak nyata.

Jalur Haskell memandu pembelajaran bahasa pemrograman fungsional murni dari fondasi sampai pengerjaan proyek nyata. Pembahasan dimulai dari ekspresi dan tipe, berlanjut ke tipe data aljabar, laziness, dan IO, kemudian mencapai type class Functor, Applicative, dan Monad, rekayasa berbasis tipe, serta perkakas build. Seluruh contoh ditargetkan pada GHC 9.14 LTS yang dipasang melalui GHCup, dan setiap konsep dibuktikan dengan kode yang dapat dijalankan. Sebelum memulai, GHC, Cabal, dan terminal disiapkan sesuai ketentuan pada modul pertama.

Mengenal Haskell 3 pelajaran

Modul pembuka: karakter bahasa Haskell, penyiapan toolchain, dan pembiasan GHCi.

  1. Apa itu Haskell?Karakter inti Haskell: fungsi murni, data immutable, evaluasi lazy, dan tipe statis kuat, beserta ranah di mana bahasa ini layak digunakan.
  2. PenyiapanMemasang GHC 9.14 LTS melalui GHCup, menyiapkan Cabal, dan mengonfigurasi editor dengan HLS.
  3. GHCi sebagai arena bermainEvaluasi ekspresi, penelusuran tipe dengan :t, dan perintah-perintah dasar GHCi.
Bahasa murni 5 pelajaran

Konstruksi inti bahasa Haskell: ekspresi, definisi, fungsi, pola, dan struktur data dasar.

  1. Ekspresi dan definisiModel segala sesuatu adalah ekspresi, penulisan definisi, serta perbandingan where dan let.
  2. FungsiPersamaan berganda untuk fungsi dengan beberapa kasus, aplikasi fungsi, dan operator pipe.
  3. Pattern matchingPencocokan pola pada argumen fungsi dan binding beserta penggunaan wildcard.
  4. Guard dan ifPercabangan ala Haskell dengan guard dan ekspresi if-then-else.
  5. List, tuple, dan rangeStruktur data inti Haskell yang digunakan sejak hari pertama: list homogen dan tuple.
Tipe dan type class 5 pelajaran

Sistem tipe sebagai dokumen desain: membaca tipe, currying, polimorfisme, dan type class.

  1. Membaca tipeMembaca panah fungsi, aplikasi, dan disiplin :t sebagai dokumen desain.
  2. Currying dan aplikasi parsialMengapa setiap fungsi menerima satu argumen dan manfaat aplikasi parsial.
  3. PolimorfismeVariabel tipe dan penulisan fungsi generik yang bekerja untuk banyak tipe.
  4. Type classEq, Ord, Show, dan Enum sebagai perilaku yang menyertai constraint.
  5. Instans dan derivingMenulis instans type class secara manual dan menghasilkannya dengan deriving.
Tipe data aljabar 5 pelajaran

Membangun tipe data sendiri: data sum dan product, tipe rekursif, record, Maybe, Either, dan newtype.

  1. Deklarasi dataTipe sum dan product beserta penulisan konstruktornya.
  2. Tipe rekursifMembangun list dan tree sendiri beserta perilaku rekursif keduanya.
  3. RecordAksesor field dan jebakan sintaksis record yang perlu diwaspadai.
  4. Maybe dan EitherKegagalan sebagai data, bukan exception: Maybe untuk kasus kosong dan Either untuk pesan error.
  5. newtypeWrapper tanpa biaya pada waktu berjalan untuk keamanan tipe.
Pola fungsional 4 pelajaran

Fungsi orde tinggi sebagai pola kerja harian: map, filter, fold, komposisi, lambda, dan section.

  1. map dan filterDua fungsi orde tinggi keseharian untuk memetakan dan menyaring list.
  2. foldr dan foldlKonsumsi struktur sebagai pola umum beserta perbedaan foldr dan foldl.
  3. Komposisi dan gaya point-freeRantai komposisi (.) dan saat gaya point-free benar-benar memperjelas kode.
  4. Lambda dan sectionFungsi anonim dan section operator untuk fungsi pendek satu ekspresi.
Laziness dan evaluasi 3 pelajaran

Model evaluasi Haskell: call-by-need, struktur data tak hingga, dan jebakan space leak.

  1. Call-by-needThunk, sharing, dan urutan evaluasi pada model call-by-need.
  2. Struktur tak hinggaRange, siklus, dan algoritme pada stream tak hingga.
  3. Space leakBug akumulasi thunk klasik dan cara mendiagnosisnya.
IO 5 pelajaran

Batas sistem yang jujur: tipe IO, notasi do, aksi dasar, kombinator, dan lingkungan program.

  1. Tipe IONilai yang mendeskripsikan interaksi dengan dunia luar dan kemurnian yang tetap terjaga.
  2. Notasi doSequencing aksi IO dan bentuk ter-desugarnya, bind.
  3. Aksi dasarputStrLn, getLine, readFile, dan writeFile untuk interaksi terminal dan berkas.
  4. KombinatormapM, forM, sequence, dan traverse untuk menyusun banyak aksi.
  5. LingkunganArgumen command line, variabel lingkungan, dan exit code program.
Functor, Applicative, Monad 5 pelajaran

Generalisasi pola yang telah dipahami: hierarki type class dari Functor sampai Monad.

  1. HierarkiFunctor, Applicative, dan Monad sebagai kekuatan yang bertambah bertahap.
  2. Instans FunctorMapping atas Maybe, list, dan IO dengan fmap.
  3. Gaya Applicativepure, <$>, dan <*> untuk nilai yang membawa konteks.
  4. Monad dan bindPenyambungan langkah berkonteks melalui operator bind (>>=).
  5. Monad yang lazimMaybe, Either, list, dan IO tanpa mistisisme.
Rekayasa berbasis tipe 4 pelajaran

Tipe sebagai alat rekayasa: smart constructor, phantom type, QuickCheck, dan unit test.

  1. Merancang dengan tipeSmart constructor dan data tervalidasi di batas sistem.
  2. Phantom typeSekadar pengenalan: tipe yang memberi batasan saat kompilasi tanpa biaya.
  3. QuickCheckProperti, generator, dan shrinking pada pengujian berbasis properti.
  4. Unit testtasty dan HUnit untuk kasus yang terlewat oleh properti.
Modul, build, perkakas 4 pelajaran

Mengorganisasi proyek: sistem modul, Cabal, Stack, dan perkakas pengalaman pengembang.

  1. Sistem modulEkspor, impor, dan nama qualified untuk memecah program.
  2. Proyek CabalBerkas .cabal, dependensi, executable dan library.
  3. Stack dan alternatifnyaMengenal alur kerja lainnya di luar Cabal.
  4. Pengalaman pengembangHLS, pemformatan kode, hlint, dan debugger GHC 9.14.
Performa 3 pelajaran

Biaya di balik keanggunan: big-O pada bahasa lazy, strictness, dan profiling.

  1. Big-O dalam bahasa lazyModel biaya yang mengejutkan naluri imperatif.
  2. Strictnessseq, bang pattern, dan data strict.
  3. ProfilingCost centre, profil heap, dan penafsiran laporannya.
Ekosistem dan idiom 4 pelajaran

Pustaka kode nyata: peta ekosistem, Text dan container, konkurensi async, serta JSON.

  1. Peta ekosistemMana yang dipelihara dan mana yang dapat dipercaya.
  2. Text dan containerPustaka yang digunakan kode nyata sebagai pengganti list.
  3. Konkurensi dengan asyncThread ringan untuk pekerjaan yang terikat IO.
  4. Serialisasi dan JSONRound-trip aeson dan API berbasis tipe.
Pengerjaan proyek 3 pelajaran

Proyek terpandu: pemilihan proyek, perancangan tipe lebih dahulu, dan pembangunan bertahap dengan titik pemeriksaan.

  1. Pemilihan proyekAlat CLI, inti interpreter, atau layanan API JSON.
  2. Rancang tipe terlebih dahuluSignatur modul sebelum implementasi apa pun.
  3. Bangun dengan titik pemeriksaanProperti, pengujian, dan benchmark di setiap langkah.