Episode

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

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

Contohnya:

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

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

Beberapa fungsi, seperti faktorial, lebih mudah 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 ditentukan 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 kurator Anda di domain ini):

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