Memahami Kata Kunci 'menganggap' dalam Fungsi Haskell

Kata kunci `menganggap` dalam Haskell digunakan untuk menentukan prasyarat atau andaian yang mesti benar untuk fungsi itu boleh digunakan. Dalam erti kata lain, ia menentukan syarat yang mesti disimpan sebelum fungsi boleh dipanggil.

Sebagai contoh, pertimbangkan fungsi berikut:
```
f :: Int -> Int
f x = x + 1
```
Fungsi ini mengambil integer `x` dan mengembalikan penggantinya (iaitu, `x + 1`). Walau bagaimanapun, fungsi ini tidak boleh digunakan jika `x` adalah negatif, kerana hasil `x + 1` akan menjadi negatif juga. Untuk menentukan andaian ini, kita boleh menggunakan kata kunci `assumes`:
```
f :: Int -> Int assumes (x >= 0)
f x = x + 1
```
Kini, fungsi `f` hanya boleh dipanggil dengan integer positif, dan jika integer negatif diluluskan sebagai hujah, pengkompil akan menimbulkan ralat.

Begitu juga, kita boleh menggunakan kata kunci `menganggap` untuk menentukan andaian atau prasyarat lain yang mesti benar agar fungsi dapat digunakan . Contohnya:
```
g :: Int -> Int menganggap (genap x)
g x = x + 1
```
Fungsi ini mengambil integer `x` dan mengembalikan penggantinya, tetapi hanya jika `x` genap. Jika `x` ganjil, pengkompil akan menimbulkan ralat.

Secara ringkasan, kata kunci `menganggap` dalam Haskell digunakan untuk menentukan andaian atau prasyarat yang mesti benar untuk sesuatu fungsi boleh digunakan. Ia membolehkan kami menyatakan kekangan pada nilai input yang boleh diterima oleh fungsi, dan boleh membantu mencegah ralat dan meningkatkan kebolehpercayaan kod kami.