2
Оптимізація комбінаторів та хвостових викликів Y
Визначення комбінатора Y у F # є let rec y f x = f (y f) x f розраховує мати в якості першого аргументу деяке продовження для рекурсивних підпроблем. Використовуючи yf як продовження, ми бачимо, що f буде застосовуватися до послідовних викликів у міру розвитку let y f x = …