Modul ini membahas model evaluasi Haskell beserta konsekuensi performanya. Pembahasan mencakup mekanisme call-by-need yang terdiri atas thunk dan sharing, pemanfaatan struktur data tak hingga, serta space leak dan cara mendiagnosisnya. Pemahaman model ini mencegah banyak bug performa yang sulit dilacak.
Laziness dan evaluasi
Model evaluasi Haskell: call-by-need, struktur data tak hingga, dan jebakan space leak.
0/0 selesai
- Call-by-need
Thunk, sharing, dan urutan evaluasi pada model call-by-need.
- Struktur tak hingga
Range, siklus, dan algoritme pada stream tak hingga.
- Space leak
Bug akumulasi thunk klasik dan cara mendiagnosisnya.