Penjelasan Kemalasan

Di Scala, sebagian besar nilai bersifat strict: nilai tersebut dihitung segera setelah Anda mendefinisikannya. Evaluasi malas membalik perilaku ini. Nilai malas hanya dihitung ketika pertama kali diperlukan, tidak pernah sebelumnya.

Hal ini penting ketika perhitungannya mahal, mungkin gagal, atau mungkin sama sekali tidak digunakan. Mengapa melakukan pekerjaan yang tidak diminta siapa pun?

val biasa segera mengevaluasi sisi kanannya, meskipun Anda tidak pernah membacanya lagi.

Jalankan ini dan perhatikan bahwa "computing" tercetak sebelum "after". Pekerjaan tersebut terjadi saat definisi dibuat.

Awali val dengan lazy dan evaluasi akan ditunda hingga akses pertama.

Di sini "after" tercetak lebih dahulu, lalu "computing" hanya ketika x dibaca. Hasilnya juga disimpan di cache: isi tersebut dijalankan paling banyak satu kali.

Parameter yang dideklarasikan sebagai => A diteruskan by name: argumen tidak dievaluasi sampai digunakan di dalam method.

Ini adalah dasar evaluasi malas. LazyList menggunakan parameter by-name agar bagian akhir tidak pernah dihitung sampai diminta.

LazyList adalah urutan malas milik Scala (menggantikan Stream yang lebih lama pada 2.13+). Bagian kepalanya dievaluasi dengan segera, tetapi bagian akhirnya bersifat malas.

Elemen dihasilkan sesuai permintaan dan disimpan dalam memo setelah dihitung, sehingga Anda tidak pernah menghitung ulang sel yang sama dua kali.

LazyList tetap belum dievaluasi sampai Anda memaksanya. Memanggil toList, foreach, atau mencetak setiap elemen akan memaksa sel-selnya.

REPL menampilkan <not computed> untuk bagian akhir yang malas. Pemaksaan akan menampilkan nilai sebenarnya.

Anda menambahkan elemen di awal LazyList dengan #::. Berbeda dari :: pada list, operand kanan #:: bersifat by-name, sehingga bagian akhir tidak dibuat sampai diperlukan.

Dengan demikian, Anda dapat mendeskripsikan urutan yang bagian sisanya dihitung secara malas.

Setelah sebuah sel LazyList dihitung, nilainya disimpan. Membacanya lagi tidak memerlukan biaya, dan ekspresi yang menghasilkannya tidak dijalankan dua kali.

Jalankan ini: "calc" hanya tercetak pada akses pertama setiap elemen yang dipaksa, bukan pada pembacaan berulang.

Karena bagian akhir bersifat malas, Anda dapat melakukan map pada LazyList dan hanya elemen yang disentuh yang akan dihitung.

Di sini "map" hanya tercetak sekali meskipun daftar memiliki tiga elemen, karena hanya bagian kepala yang dipaksa.

Evaluasi malas memungkinkan tiga hal: menghindari pekerjaan yang tidak digunakan, membangun urutan tak terbatas, dan memisahkan cara Anda mendeskripsikan perhitungan dari seberapa banyak perhitungan itu dijalankan.

Anda menulis seluruh pipeline sekali; konsumen menentukan berapa banyak elemen yang diambil.

Evaluasi malas memiliki biaya. LazyList menggunakan memo, sehingga menyimpan referensi ke bagian kepalanya membuat setiap elemen yang telah dipaksa tetap berada di memori. Untuk data yang sangat besar atau tak terbatas, hindari menyimpan bagian kepala.

Selain itu, efek samping dalam kode malas berjalan pada waktu yang tidak terduga, yang dapat membingungkan saat melakukan debug.

Uji pemahaman Anda tentang evaluasi malas.

Evaluasi strict menjalankan pekerjaan segera; evaluasi malas menundanya sampai diperlukan. lazy val dan parameter by-name (=> A) adalah primitifnya.

LazyList dibangun di atasnya: bagian kepala yang eager, bagian akhir yang lazy dan dimemoisasi, serta pemaksaan melalui toList atau akses elemen. Selanjutnya, kita akan membangun LazyLists secara manual.