Episode

C9 Kuliah: Dr. Erik Meijer - Dasar-Dasar Pemrograman Fungsimal Bab 6 dari 13

Dalam Bab 6, Dr. Meijer memandu kita melalui dunia fungsi rekursif. Dalam Haskell, fungsi dapat didefinisikan dalam hal dirinya sendiri. Fungsi tersebut disebut rekursif.

Contohnya:

factorial 0 = 1
factorial (n+1) = (n+1) * faktorial n

peta faktorial 0 hingga 1, dan bilangan bulat positif lainnya untuk produk itu sendiri dan faktorial pendahulunya.

Beberapa fungsi, seperti faktorial, lebih sederhana untuk didefinisikan dalam hal fungsi lain. Seperti yang akan kita lihat, bagaimanapun, banyak fungsi secara alami dapat didefinisikan dalam hal diri mereka sendiri.

Properti fungsi yang didefinisikan menggunakan rekursi dapat dibuktikan menggunakan teknik induksi matematika yang sederhana tetapi kuat.

Anda harus menonton ini secara berurutan (atau melompat-lompati tergantung pada tingkat pengetahuan curen Anda di domain ini):

Bab 1Bab 2Bab 3Bab 4 Bab 5Bab 6Bab 7Bab 8Bab 9Bab 10Bab 11Bab 12Bab 13

Haskell