|
|
|
@ -17486,8 +17486,8 @@ the desire to provide a `functional' equivalent of jumps as provided |
|
|
|
by the infamous goto in imperative programming. |
|
|
|
% |
|
|
|
|
|
|
|
In 1965 Peter \citeauthor{Landin65} unveiled \emph{first} first-class |
|
|
|
control operator: the J |
|
|
|
In 1965 Peter \citeauthor{Landin65} unveiled the \emph{first} |
|
|
|
first-class control operator: the J |
|
|
|
operator~\cite{Landin65,Landin65a,Landin98}. Later in 1972 influenced |
|
|
|
by \citeauthor{Landin65}'s J operator John \citeauthor{Reynolds98a} |
|
|
|
designed the escape operator~\cite{Reynolds98a}. Influenced by escape, |
|
|
|
|
