2
Y-Kombinator- und Tail-Call-Optimierungen
Die Definition eines Y-Kombinators in F # lautet let rec y f x = f (y f) x Als erstes Argument erwartet f eine Fortsetzung der rekursiven Teilprobleme. Wenn wir das yf als Fortsetzung verwenden, sehen wir, dass f auf aufeinander folgende Aufrufe angewendet wird, sobald wir uns entwickeln können …