Переполнение стека и рекурсивная последовательность выражений F #

Question

У меня есть выражение последовательности следующим образом:

let fibSeq = 
    let rec fibSeq' a b = 
     seq { yield a 
       yield! fibSeq' b (a + b) } 
    fibSeq' 1 1 

Теперь даже для больших чисел, это не генерировать переполнение стека. Мне интересно, почему, мне кажется, что для генерации чисел Фибоначчи с этим выражением последовательности каждый рекурсивный вызов должен был вернуться обратно к вызывающему абоненту, чтобы в конечном итоге «свернуть» себя в последовательность. Здесь есть какая-то оптимизация?

Answer 1

Да, это называется «хвост вызова оптимизации» Смотрите здесь: http://blogs.msdn.com/b/chrsmith/archive/2008/08/07/understanding-tail-recursion.aspx Также Seq ленив поэтому его пятисотый член не будет оцениваться до тех пор, пока не будет иметь доступа к ней в вашей программе, как:

let elm = Seq.nth 500 fibSeq