mirror of
https://github.com/hmemcpy/milewski-ctfp-pdf.git
synced 2024-11-26 03:11:47 +03:00
Adding ‘Acknowledgments’ section
This commit is contained in:
parent
c7c7d036ab
commit
54a8ced837
@ -322,11 +322,6 @@ follow the rules of composition, and as points in a set. Here,
|
|||||||
composition of morphisms in M translates into monoidal product in the
|
composition of morphisms in M translates into monoidal product in the
|
||||||
set \code{M(m, m)}.
|
set \code{M(m, m)}.
|
||||||
|
|
||||||
\section{Acknowledgments}\label{acknowledgments}
|
|
||||||
|
|
||||||
I'd like to thank Andrew Sutton for rewriting my C++ monoid concept code
|
|
||||||
according to his and Bjarne Stroustrup's latest proposal.
|
|
||||||
|
|
||||||
\section{Challenges}\label{challenges}
|
\section{Challenges}\label{challenges}
|
||||||
|
|
||||||
\begin{enumerate}
|
\begin{enumerate}
|
||||||
|
@ -467,13 +467,4 @@ Here's the challenge:
|
|||||||
Compose \code{safe\_root} and \code{safe\_reciprocal} to implement\\
|
Compose \code{safe\_root} and \code{safe\_reciprocal} to implement\\
|
||||||
\code{safe\_root\_reciprocal} that calculates \code{sqrt(1/x)}
|
\code{safe\_root\_reciprocal} that calculates \code{sqrt(1/x)}
|
||||||
whenever possible.
|
whenever possible.
|
||||||
\end{enumerate}
|
\end{enumerate}
|
||||||
|
|
||||||
\section{Acknowledgments}\label{acknowledgments}
|
|
||||||
|
|
||||||
I'm grateful to Eric Niebler for reading the draft and providing the
|
|
||||||
clever implementation of \code{compose} that uses advanced features of
|
|
||||||
C++14 to drive type inference. I was able to cut the whole section of
|
|
||||||
old fashioned template magic that did the same thing using type traits.
|
|
||||||
Good riddance! I'm also grateful to Gershom Bazerman for useful comments
|
|
||||||
that helped me clarify some important points.
|
|
@ -730,9 +730,4 @@ int j(bool b) { return b? 0: 1; }
|
|||||||
The Catsters,
|
The Catsters,
|
||||||
\href{https://www.youtube.com/watch?v=upCSDIO9pjc}{Products and
|
\href{https://www.youtube.com/watch?v=upCSDIO9pjc}{Products and
|
||||||
Coproducts} video.
|
Coproducts} video.
|
||||||
\end{enumerate}
|
\end{enumerate}
|
||||||
|
|
||||||
\section{Acknowledments}\label{acknowledments}
|
|
||||||
|
|
||||||
I'm grateful to Gershom Bazerman for reviewing this post before
|
|
||||||
publication and for stimulating discussions.
|
|
@ -616,9 +616,4 @@ circ (Rect d h) = 2.0 * (d + h)
|
|||||||
Show that \code{a\ +\ a\ =\ 2\ *\ a} holds for types (up to
|
Show that \code{a\ +\ a\ =\ 2\ *\ a} holds for types (up to
|
||||||
isomorphism). Remember that \code{2} corresponds to \code{Bool},
|
isomorphism). Remember that \code{2} corresponds to \code{Bool},
|
||||||
according to our translation table.
|
according to our translation table.
|
||||||
\end{enumerate}
|
\end{enumerate}
|
||||||
|
|
||||||
\section{Acknowledments}\label{acknowledments}
|
|
||||||
|
|
||||||
Thanks go to Gershom Bazerman for reviewing this post and helpful
|
|
||||||
comments.
|
|
@ -112,9 +112,24 @@ PDF compiled by @url{https://github.com/hmemcpy/milewski-ctfp-pdf, Igal Tabachni
|
|||||||
|
|
||||||
@unnumbered Acknowledgments
|
@unnumbered Acknowledgments
|
||||||
|
|
||||||
|
@noindent
|
||||||
|
I’d like to thank Andrew Su on for rewriting my C++ monoid concept
|
||||||
|
code according to his and Bjarne Stroustrup’s latest proposal.
|
||||||
|
|
||||||
|
@sp 1.0
|
||||||
|
@noindent
|
||||||
Gershom Bazerman is kind enough to keep reviewing these posts. I'm
|
Gershom Bazerman is kind enough to keep reviewing these posts. I'm
|
||||||
grateful for his patience and insight.
|
grateful for his patience and insight.
|
||||||
|
|
||||||
|
@sp 1.0
|
||||||
|
@noindent
|
||||||
|
I'm grateful to Eric Niebler for reading the draft and providing the
|
||||||
|
clever implementation of \code{compose} that uses advanced features of
|
||||||
|
C++14 to drive type inference. I was able to cut the whole section of
|
||||||
|
old fashioned template magic that did the same thing using type traits.
|
||||||
|
Good riddance! I'm also grateful to Gershom Bazerman for useful comments
|
||||||
|
that helped me clarify some important points.
|
||||||
|
|
||||||
\setindexprenote{\normalsize \begin{quote} Any inaccuracies in this index may be explained by the fact
|
\setindexprenote{\normalsize \begin{quote} Any inaccuracies in this index may be explained by the fact
|
||||||
that it has been prepared with the help of a computer.
|
that it has been prepared with the help of a computer.
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user