projects
/
clump.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
67d929c
)
typos
author
Marius Gavrilescu
<marius@ieval.ro>
Fri, 18 May 2018 18:54:34 +0000
(21:54 +0300)
committer
Marius Gavrilescu
<marius@ieval.ro>
Fri, 18 May 2018 18:54:34 +0000
(21:54 +0300)
report.tex
patch
|
blob
|
blame
|
history
diff --git
a/report.tex
b/report.tex
index 7bf714a14a880735de38fe59355625ee6a3f39f5..b8d4ae105ee6c10bd7b8240d3b7b6b5645391fe8 100644
(file)
--- a/
report.tex
+++ b/
report.tex
@@
-64,7
+64,7
@@
instruction makes the processor execute some operation, such as
loading a register or storing a value in memory. In contrast, a Lisp
machine processor reads an expression from memory, determines its
type, and recursively evaluates it. This operation lends itself to
loading a register or storing a value in memory. In contrast, a Lisp
machine processor reads an expression from memory, determines its
type, and recursively evaluates it. This operation lends itself to
-declarative programming, where the programmer declares an arbitrarly
+declarative programming, where the programmer declares an arbitrar
i
ly
complicated expression and asks the computer to evaluate it.
Another common feature of Lisp machine processors is the use of tagged
complicated expression and asks the computer to evaluate it.
Another common feature of Lisp machine processors is the use of tagged
@@
-485,7
+485,7
@@
initial state.
This module represents one half of the original design presented in
\cite{lambda}, and the ROM's contents are those from the paper with a
This module represents one half of the original design presented in
\cite{lambda}, and the ROM's contents are those from the paper with a
-bug
fi
(the original design sets the ADR line low in two states when it
+bug (the original design sets the ADR line low in two states when it
should be high).
\subsection{EVAL}
should be high).
\subsection{EVAL}
@@
-595,7
+595,7
@@
machine with three states:
In STATE\_READ and STATE\_WRITE, the EVAL's reset line is high.
In STATE\_READ and STATE\_WRITE, the EVAL's reset line is high.
-Whenver the component corresponding to the current state indicates it
+When
e
ver the component corresponding to the current state indicates it
is finished, the controller advances to the next state.
The controller also includes three multiplexers that control which
is finished, the controller advances to the next state.
The controller also includes three multiplexers that control which
@@
-762,7
+762,7
@@
the conditional. The fixed program is:
((lambda append (x y) (if x (cons (car x) (append (cdr x) y)) y)) '(a b c) '(d e f))
\end{lstlisting}
((lambda append (x y) (if x (cons (car x) (append (cdr x) y)) y)) '(a b c) '(d e f))
\end{lstlisting}
-which is compiled to the slig
th
ly shorter sexp:
+which is compiled to the slig
ht
ly shorter sexp:
\begin{lstlisting}
(CALL (MORE (MORE (FUNCALL 0) (PROC (IF (LIST (VAR -2) (CALL (MORE (CONS 0) (CALL (MORE (MORE (FUNCALL 0) (VAR -1)) (VAR -2)) (CALL (CDR 0) (VAR -3)))) (CALL (CAR 0) (VAR -3)))) (VAR -3)))) (LIST (LIST (LIST (LIST 0) (SYMBOL 6)) (SYMBOL 7)) (SYMBOL 8))) (LIST (LIST (LIST (LIST 0) (SYMBOL 3)) (SYMBOL 4)) (SYMBOL 5)))
\begin{lstlisting}
(CALL (MORE (MORE (FUNCALL 0) (PROC (IF (LIST (VAR -2) (CALL (MORE (CONS 0) (CALL (MORE (MORE (FUNCALL 0) (VAR -1)) (VAR -2)) (CALL (CDR 0) (VAR -3)))) (CALL (CAR 0) (VAR -3)))) (VAR -3)))) (LIST (LIST (LIST (LIST 0) (SYMBOL 6)) (SYMBOL 7)) (SYMBOL 8))) (LIST (LIST (LIST (LIST 0) (SYMBOL 3)) (SYMBOL 4)) (SYMBOL 5)))
@@
-1234,7
+1234,7
@@
REPL:
8 words are words 9th through 16th in the assembler output. The
following words are intermediate results computed by the processor.
8 words are words 9th through 16th in the assembler output. The
following words are intermediate results computed by the processor.
-\item The REPL's pretty printer interpets this string starting with
+\item The REPL's pretty printer interp
r
ets this string starting with
\texttt{2005}, which means \texttt{(SYMBOL 5)}. The pretty printer
looks in the compiler's mapping and finds that the 5th symbol was
2, and so the REPL prints
\texttt{2005}, which means \texttt{(SYMBOL 5)}. The pretty printer
looks in the compiler's mapping and finds that the 5th symbol was
2, and so the REPL prints
@@
-1281,7
+1281,7
@@
project. They can be found at \url{https://git.ieval.ro/?p=yule.git}.
The original paper \cite{lambda} is one of the influential Lambda
Papers that defined the Scheme programming language and is an
The original paper \cite{lambda} is one of the influential Lambda
Papers that defined the Scheme programming language and is an
-important historical artifact for understading how Lisp machine
+important historical artifact for understa
n
ding how Lisp machine
processors can be implemented and more generally how tagged
architectures work. But all details of the processor cannot be
understood from simply reading the paper, and most readers would not
processors can be implemented and more generally how tagged
architectures work. But all details of the processor cannot be
understood from simply reading the paper, and most readers would not
This page took
0.011537 seconds
and
4
git commands to generate.