What comes next?

[Thomas Klemm]

The same program with stack comments:

Code:

\<<                     @ A a
  DUP ROT +             @ a A=a+A
  SWAP DUP { } +        @ A Σ=a S={a}
  SWAP ROT              @ S Σ A
  \<<                   @ S Σ a a'
    -                   @ S Σ Δa=a-a'
    ROT OVER + SWAP     @ Σ S=S+Δa Δa
    ROT OVER + SWAP     @ S Σ=Σ+Δa Δa
  \>>                   @ S Σ a=Δa
  STREAM DROP           @ S Σ
\>>