2
Y combinator dan optimisasi panggilan ekor
Definisi kombinator Y dalam F # adalah let rec y f x = f (y f) x f berharap sebagai argumen pertama beberapa kelanjutan untuk subproblem rekursif. Menggunakan yf sebagai kelanjutan, kita melihat bahwa f akan diterapkan pada panggilan yang berurutan yang dapat kita kembangkan let y f x = …