projects
/
matthijs
/
master-project
/
report.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
d92aa43
)
Improve some wordings.
author
Matthijs Kooijman
<matthijs@stdin.nl>
Mon, 7 Dec 2009 13:13:09 +0000
(14:13 +0100)
committer
Matthijs Kooijman
<matthijs@stdin.nl>
Mon, 7 Dec 2009 13:13:09 +0000
(14:13 +0100)
Chapters/HardwareDescription.tex
patch
|
blob
|
history
diff --git
a/Chapters/HardwareDescription.tex
b/Chapters/HardwareDescription.tex
index ff4b0c0b3143c78983f6464ad52d95e090b5488f..0717a76150a7729a81b1a00da2e3e6dce5198004 100644
(file)
--- a/
Chapters/HardwareDescription.tex
+++ b/
Chapters/HardwareDescription.tex
@@
-808,13
+808,13
@@
quadruple n = mul (mul n)
Note that the concept of \emph{state} is no more than having some way
to communicate a value from one cycle to the next. By introducing a
Note that the concept of \emph{state} is no more than having some way
to communicate a value from one cycle to the next. By introducing a
- \hs{delay} function, we can do exactly that:
D
elay (each value in) a
+ \hs{delay} function, we can do exactly that:
d
elay (each value in) a
stream so that we can "look into" the past. This \hs{delay} function
simply outputs a stream where each value is the same as the input
value, but shifted one cycle. This causes a \quote{gap} at the
beginning of the stream: What is the value of the delay output in the
stream so that we can "look into" the past. This \hs{delay} function
simply outputs a stream where each value is the same as the input
value, but shifted one cycle. This causes a \quote{gap} at the
beginning of the stream: What is the value of the delay output in the
- first cycle? For this, the \hs{delay} function has a second input
-
(which is a value, not a stream!)
.
+ first cycle? For this, the \hs{delay} function has a second input
, of
+
which only a single value is used
.
\in{Example}[ex:DelayAcc] shows a simple accumulator expressed in this
style.
\in{Example}[ex:DelayAcc] shows a simple accumulator expressed in this
style.
@@
-1087,6
+1087,8
@@
acc in s = (s', out)
\item tail has the type \hs{(n > 0) => Vector n -> Vector (n - 1)}
\item This means that xs must have the type \hs{(n > 0) => Vector n}
\item This means that sum must have the type \hs{(n > 0) => Vector n -> a}
\item tail has the type \hs{(n > 0) => Vector n -> Vector (n - 1)}
\item This means that xs must have the type \hs{(n > 0) => Vector n}
\item This means that sum must have the type \hs{(n > 0) => Vector n -> a}
+ (The type \hs{a} is can be anything at this stage, we will not try to finds
+ its actual type in this example).
\item sum is called with the result of tail as an argument, which has the
type \hs{Vector n} (since \hs{(n > 0) => Vector (n - 1)} is the same as \hs{(n >= 0)
=> Vector n}, which is the same as just \hs{Vector n}).
\item sum is called with the result of tail as an argument, which has the
type \hs{Vector n} (since \hs{(n > 0) => Vector (n - 1)} is the same as \hs{(n >= 0)
=> Vector n}, which is the same as just \hs{Vector n}).