Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Added ability to pass host to JSONAMQPDispatcher

  • Loading branch information...
commit 3a7e13899f75afb34bd2d9b89fe41b47369833b0 1 parent cac5947
@leithaus authored
View
2  src/main/book/content/bibliography/monadic.aux
@@ -1,6 +1,6 @@
\relax
\@setckpt{bibliography/monadic}{
-\setcounter{page}{101}
+\setcounter{page}{103}
\setcounter{equation}{0}
\setcounter{enumi}{0}
\setcounter{enumii}{0}
View
30 src/main/book/content/chapters/eight/ch.aux
@@ -1,22 +1,22 @@
\relax
-\@writefile{toc}{\contentsline {chapter}{\numberline {8}Domain model, storage and state}{85}{chapter.8}}
+\@writefile{toc}{\contentsline {chapter}{\numberline {8}Domain model, storage and state}{87}{chapter.8}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {section}{\numberline {8.1}Mapping our domain model to storage}{85}{section.8.1}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {8.1.1}Functional and relational models}{85}{subsection.8.1.1}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {8.1.2}Functional and XML models}{85}{subsection.8.1.2}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {8.1.3}ORM}{85}{subsection.8.1.3}}
-\@writefile{toc}{\contentsline {section}{\numberline {8.2}Storage and language-integrated query}{85}{section.8.2}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.1}LINQ and \lstinline [language=Scala]!for!-comprehensions}{85}{subsection.8.2.1}}
-\@writefile{toc}{\contentsline {subsubsection}{Open source implementations}{85}{section*.56}}
-\@writefile{toc}{\contentsline {paragraph}{ScalaQuery}{85}{section*.57}}
-\@writefile{toc}{\contentsline {paragraph}{Squeryl}{85}{section*.58}}
-\@writefile{lof}{\contentsline {figure}{\numberline {8.1}{\ignorespaces Chapter map }}{86}{figure.8.1}}
-\@writefile{toc}{\contentsline {section}{\numberline {8.3}Continuations revisited}{86}{section.8.3}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {8.3.1}Stored state}{86}{subsection.8.3.1}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {8.3.2}Transactions}{86}{subsection.8.3.2}}
+\@writefile{toc}{\contentsline {section}{\numberline {8.1}Mapping our domain model to storage}{87}{section.8.1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {8.1.1}Functional and relational models}{87}{subsection.8.1.1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {8.1.2}Functional and XML models}{87}{subsection.8.1.2}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {8.1.3}ORM}{87}{subsection.8.1.3}}
+\@writefile{toc}{\contentsline {section}{\numberline {8.2}Storage and language-integrated query}{87}{section.8.2}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {8.2.1}LINQ and \lstinline [language=Scala]!for!-comprehensions}{87}{subsection.8.2.1}}
+\@writefile{toc}{\contentsline {subsubsection}{Open source implementations}{87}{section*.56}}
+\@writefile{toc}{\contentsline {paragraph}{ScalaQuery}{87}{section*.57}}
+\@writefile{toc}{\contentsline {paragraph}{Squeryl}{87}{section*.58}}
+\@writefile{lof}{\contentsline {figure}{\numberline {8.1}{\ignorespaces Chapter map }}{88}{figure.8.1}}
+\@writefile{toc}{\contentsline {section}{\numberline {8.3}Continuations revisited}{88}{section.8.3}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {8.3.1}Stored state}{88}{subsection.8.3.1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {8.3.2}Transactions}{88}{subsection.8.3.2}}
\@setckpt{chapters/eight/ch}{
-\setcounter{page}{87}
+\setcounter{page}{89}
\setcounter{equation}{0}
\setcounter{enumi}{0}
\setcounter{enumii}{0}
View
14 src/main/book/content/chapters/nine/ch.aux
@@ -1,14 +1,14 @@
\relax
-\@writefile{toc}{\contentsline {chapter}{\numberline {9}Putting it all together}{87}{chapter.9}}
+\@writefile{toc}{\contentsline {chapter}{\numberline {9}Putting it all together}{89}{chapter.9}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {section}{\numberline {9.1}Our web application end-to-end}{87}{section.9.1}}
-\@writefile{toc}{\contentsline {section}{\numberline {9.2}Deploying our application}{87}{section.9.2}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {9.2.1}Why we are not deploying on GAE}{87}{subsection.9.2.1}}
-\@writefile{toc}{\contentsline {section}{\numberline {9.3}From one web application to web framework}{87}{section.9.3}}
-\@writefile{lof}{\contentsline {figure}{\numberline {9.1}{\ignorespaces Chapter map }}{88}{figure.9.1}}
+\@writefile{toc}{\contentsline {section}{\numberline {9.1}Our web application end-to-end}{89}{section.9.1}}
+\@writefile{toc}{\contentsline {section}{\numberline {9.2}Deploying our application}{89}{section.9.2}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {9.2.1}Why we are not deploying on GAE}{89}{subsection.9.2.1}}
+\@writefile{toc}{\contentsline {section}{\numberline {9.3}From one web application to web framework}{89}{section.9.3}}
+\@writefile{lof}{\contentsline {figure}{\numberline {9.1}{\ignorespaces Chapter map }}{90}{figure.9.1}}
\@setckpt{chapters/nine/ch}{
-\setcounter{page}{89}
+\setcounter{page}{91}
\setcounter{equation}{0}
\setcounter{enumi}{0}
\setcounter{enumii}{0}
View
54 src/main/book/content/chapters/seven/ch.aux
@@ -1,34 +1,34 @@
\relax
-\@writefile{toc}{\contentsline {chapter}{\numberline {7}A review of collections as monads}{77}{chapter.7}}
+\@writefile{toc}{\contentsline {chapter}{\numberline {7}A review of collections as monads}{79}{chapter.7}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {section}{\numberline {7.1}Sets, Lists and Languages}{77}{section.7.1}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {7.1.1}Witnessing Sets and Lists monadicity}{77}{subsection.7.1.1}}
-\@writefile{lof}{\contentsline {figure}{\numberline {7.1}{\ignorespaces Chapter map }}{78}{figure.7.1}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {7.1.2}Languages and Sets of Words}{82}{subsection.7.1.2}}
-\@writefile{toc}{\contentsline {subsubsection}{Kleene star}{82}{section*.51}}
-\@writefile{toc}{\contentsline {subsubsection}{I am not a number, I am a free monoid}{82}{section*.52}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {7.1.3}Of lenses and bananas}{82}{subsection.7.1.3}}
-\@writefile{toc}{\contentsline {section}{\numberline {7.2}Containers and syntax}{82}{section.7.2}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.1}The algebra of Sets}{82}{subsection.7.2.1}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.2}The algebra of Lists}{82}{subsection.7.2.2}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.3}The algebra of Sets of Words}{83}{subsection.7.2.3}}
-\@writefile{toc}{\contentsline {section}{\numberline {7.3}Algebras}{83}{section.7.3}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.1}Kleisli}{83}{subsection.7.3.1}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.2}Eilenberg-Moore}{83}{subsection.7.3.2}}
-\@writefile{toc}{\contentsline {section}{\numberline {7.4}Monad as container}{83}{section.7.4}}
-\@writefile{toc}{\contentsline {section}{\numberline {7.5}Monads and take-out}{83}{section.7.5}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {7.5.1}Option as container}{84}{subsection.7.5.1}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {7.5.2}I/O monad for contrast}{84}{subsection.7.5.2}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {7.5.3}Matching gazintas and gazoutas}{84}{subsection.7.5.3}}
-\@writefile{toc}{\contentsline {subsubsection}{Intuitionistic discipline}{84}{section*.54}}
-\@writefile{toc}{\contentsline {subsubsection}{Linear discipline}{84}{section*.55}}
-\@writefile{toc}{\contentsline {section}{\numberline {7.6}Co-monad and take-out}{84}{section.7.6}}
-\@writefile{toc}{\contentsline {section}{\numberline {7.7}Hopf structure}{84}{section.7.7}}
-\@writefile{toc}{\contentsline {section}{\numberline {7.8}Container and control}{84}{section.7.8}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {7.8.1}Delimited continuations reconsidered}{84}{subsection.7.8.1}}
+\@writefile{toc}{\contentsline {section}{\numberline {7.1}Sets, Lists and Languages}{79}{section.7.1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {7.1.1}Witnessing Sets and Lists monadicity}{79}{subsection.7.1.1}}
+\@writefile{lof}{\contentsline {figure}{\numberline {7.1}{\ignorespaces Chapter map }}{80}{figure.7.1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {7.1.2}Languages and Sets of Words}{84}{subsection.7.1.2}}
+\@writefile{toc}{\contentsline {subsubsection}{Kleene star}{84}{section*.51}}
+\@writefile{toc}{\contentsline {subsubsection}{I am not a number, I am a free monoid}{84}{section*.52}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {7.1.3}Of lenses and bananas}{84}{subsection.7.1.3}}
+\@writefile{toc}{\contentsline {section}{\numberline {7.2}Containers and syntax}{84}{section.7.2}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.1}The algebra of Sets}{84}{subsection.7.2.1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.2}The algebra of Lists}{84}{subsection.7.2.2}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.3}The algebra of Sets of Words}{85}{subsection.7.2.3}}
+\@writefile{toc}{\contentsline {section}{\numberline {7.3}Algebras}{85}{section.7.3}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.1}Kleisli}{85}{subsection.7.3.1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.2}Eilenberg-Moore}{85}{subsection.7.3.2}}
+\@writefile{toc}{\contentsline {section}{\numberline {7.4}Monad as container}{85}{section.7.4}}
+\@writefile{toc}{\contentsline {section}{\numberline {7.5}Monads and take-out}{85}{section.7.5}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {7.5.1}Option as container}{86}{subsection.7.5.1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {7.5.2}I/O monad for contrast}{86}{subsection.7.5.2}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {7.5.3}Matching gazintas and gazoutas}{86}{subsection.7.5.3}}
+\@writefile{toc}{\contentsline {subsubsection}{Intuitionistic discipline}{86}{section*.54}}
+\@writefile{toc}{\contentsline {subsubsection}{Linear discipline}{86}{section*.55}}
+\@writefile{toc}{\contentsline {section}{\numberline {7.6}Co-monad and take-out}{86}{section.7.6}}
+\@writefile{toc}{\contentsline {section}{\numberline {7.7}Hopf structure}{86}{section.7.7}}
+\@writefile{toc}{\contentsline {section}{\numberline {7.8}Container and control}{86}{section.7.8}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {7.8.1}Delimited continuations reconsidered}{86}{subsection.7.8.1}}
\@setckpt{chapters/seven/ch}{
-\setcounter{page}{85}
+\setcounter{page}{87}
\setcounter{equation}{0}
\setcounter{enumi}{0}
\setcounter{enumii}{0}
View
22 src/main/book/content/chapters/six/ch.aux
@@ -15,15 +15,19 @@
\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.1}Delimited continuations}{70}{subsection.6.4.1}}
\@writefile{toc}{\contentsline {section}{\numberline {6.5}Species of Structure}{70}{section.6.5}}
\@writefile{toc}{\contentsline {section}{\numberline {6.6}Constructing contexts and zippers from data types}{70}{section.6.6}}
-\@writefile{toc}{\contentsline {section}{\numberline {6.7}Mapping URIs to zipper-based paths and back}{75}{section.6.7}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {6.7.1}Path and context}{75}{subsection.6.7.1}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {6.7.2}Homomorphisms and obfuscation}{75}{subsection.6.7.2}}
-\@writefile{toc}{\contentsline {section}{\numberline {6.8}Applying zippers to our project}{75}{section.6.8}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {6.8.1}Navigating and editing terms}{75}{subsection.6.8.1}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {6.8.2}Navigating and editing projects}{75}{subsection.6.8.2}}
-\@writefile{lof}{\contentsline {figure}{\numberline {6.2}{\ignorespaces Zippers and editors }}{76}{figure.6.2}}
+\@writefile{lof}{\contentsline {figure}{\numberline {6.2}{\ignorespaces Context and subterm }}{71}{figure.6.2}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {6.6.1}Contexts}{71}{subsection.6.6.1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {6.6.2}Zippers}{71}{subsection.6.6.2}}
+\@writefile{lof}{\contentsline {figure}{\numberline {6.3}{\ignorespaces Context and subterm }}{72}{figure.6.3}}
+\@writefile{toc}{\contentsline {section}{\numberline {6.7}Mapping URIs to zipper-based paths and back}{77}{section.6.7}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {6.7.1}Path and context}{77}{subsection.6.7.1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {6.7.2}Homomorphisms and obfuscation}{77}{subsection.6.7.2}}
+\@writefile{toc}{\contentsline {section}{\numberline {6.8}Applying zippers to our project}{77}{section.6.8}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {6.8.1}Navigating and editing terms}{77}{subsection.6.8.1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {6.8.2}Navigating and editing projects}{77}{subsection.6.8.2}}
+\@writefile{lof}{\contentsline {figure}{\numberline {6.4}{\ignorespaces Zippers and editors }}{78}{figure.6.4}}
\@setckpt{chapters/six/ch}{
-\setcounter{page}{77}
+\setcounter{page}{79}
\setcounter{equation}{0}
\setcounter{enumi}{0}
\setcounter{enumii}{0}
@@ -38,7 +42,7 @@
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
-\setcounter{figure}{2}
+\setcounter{figure}{4}
\setcounter{table}{0}
\setcounter{parentequation}{0}
\setcounter{Item}{0}
View
39 src/main/book/content/chapters/six/zippers-and-contexts.tex
@@ -1,5 +1,44 @@
\section{Constructing contexts and zippers from data types}
+The key intuition is that a zipper is a ``focus'' on a subterm of a
+term. The data needed to capture this idea is a pair,
+\lstinline[language=Scala,mathescape=true]!(T,$\partial$)!, the
+subterm itself, and the context in which it occurs. Using types to
+guide our intuition we see that the subterm must have the same type as
+a term while the type of a context is determined by a calculation that
+perfectly matches a version of the derivative one might have learned
+in high school calculus -- but applied to data structures.
+
+\subsection{Contexts}
+
+\begin{figure}[tbp]
+\begin{center}
+{ \includegraphics[scale=.65]{/Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figures/ZipperContext1.pdf} }
+\caption{ Context and subterm }
+\end{center}
+\end{figure}
+
+\begin{mathpar}
+ \inferrule* {} {\partial Const_A = 0}
+ \\
+ \inferrule* {} {\partial Id = 0}
+ \\
+ \inferrule* {} {\partial F + G = \partial F + \partial G}
+ \\
+ \inferrule* {} {\partial F \times G = F \times \partial G + \partial F \times G}
+ \\
+ \inferrule* {} {\partial F \circ G = \partial F \circ G \times G}
+\end{mathpar}
+
+\begin{figure}[tbp]
+\begin{center}
+{ \includegraphics[scale=.75]{/Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figures/Derivative.pdf} }
+\caption{ Context and subterm }
+\end{center}
+\end{figure}
+
+\subsection{Zippers}
+
\begin{lstlisting}[language=Scala]
case class Context[Name, NSeq <: NmSeq[Name]](
override val self : RegularType[Name,NSeq]
View
52 src/main/book/content/chapters/ten/ch.aux
@@ -1,33 +1,33 @@
\relax
-\@writefile{toc}{\contentsline {chapter}{\numberline {10}The semantic web}{89}{chapter.10}}
+\@writefile{toc}{\contentsline {chapter}{\numberline {10}The semantic web}{91}{chapter.10}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {section}{\numberline {10.1}Referential transparency}{89}{section.10.1}}
-\@writefile{lof}{\contentsline {figure}{\numberline {10.1}{\ignorespaces Chapter map }}{90}{figure.10.1}}
-\@writefile{toc}{\contentsline {paragraph}{A little motivation}{90}{section*.59}}
-\@writefile{toc}{\contentsline {section}{\numberline {10.2}Composing monads}{91}{section.10.2}}
-\@writefile{toc}{\contentsline {subsubsection}{Preliminary}{92}{section*.60}}
-\@writefile{toc}{\contentsline {section}{\numberline {10.3}Semantic application queries}{93}{section.10.3}}
-\@writefile{toc}{\contentsline {subsubsection}{An alternative presentation}{93}{section*.61}}
-\@writefile{toc}{\contentsline {paragraph}{Logic: the set monad as an algebra}{94}{section*.62}}
-\@writefile{toc}{\contentsline {paragraph}{Primes: an application}{95}{section*.63}}
-\@writefile{toc}{\contentsline {paragraph}{Summary}{95}{section*.64}}
-\@writefile{toc}{\contentsline {subsubsection}{Patterns}{96}{section*.65}}
-\@writefile{toc}{\contentsline {subsubsection}{A first mini-query language}{96}{section*.66}}
-\@writefile{toc}{\contentsline {subsubsection}{Iterating the design pattern}{96}{section*.67}}
-\@writefile{toc}{\contentsline {paragraph}{A spatial-behavioral-style logic for $\lambda $-calculus}{97}{section*.68}}
-\@writefile{toc}{\contentsline {paragraph}{Examples}{97}{section*.69}}
-\@writefile{toc}{\contentsline {subsubsection}{Logical semantics}{98}{section*.70}}
-\@writefile{toc}{\contentsline {subsubsection}{Other collection monads, other logics}{98}{section*.71}}
-\@writefile{toc}{\contentsline {paragraph}{Stateful collections}{98}{section*.72}}
-\@writefile{lof}{\contentsline {figure}{\numberline {10.2}{\ignorespaces Comprehensions and distributive maps }}{99}{figure.10.2}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {10.3.1}Other logical operations}{100}{subsection.10.3.1}}
-\@writefile{toc}{\contentsline {section}{\numberline {10.4}Searching for programs}{100}{section.10.4}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {10.4.1}A new foundation for search}{100}{subsection.10.4.1}}
-\@writefile{toc}{\contentsline {subsubsection}{Monad composition via distributive laws}{100}{section*.73}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {10.4.2}Examples}{100}{subsection.10.4.2}}
+\@writefile{toc}{\contentsline {section}{\numberline {10.1}Referential transparency}{91}{section.10.1}}
+\@writefile{lof}{\contentsline {figure}{\numberline {10.1}{\ignorespaces Chapter map }}{92}{figure.10.1}}
+\@writefile{toc}{\contentsline {paragraph}{A little motivation}{92}{section*.59}}
+\@writefile{toc}{\contentsline {section}{\numberline {10.2}Composing monads}{93}{section.10.2}}
+\@writefile{toc}{\contentsline {subsubsection}{Preliminary}{94}{section*.60}}
+\@writefile{toc}{\contentsline {section}{\numberline {10.3}Semantic application queries}{95}{section.10.3}}
+\@writefile{toc}{\contentsline {subsubsection}{An alternative presentation}{95}{section*.61}}
+\@writefile{toc}{\contentsline {paragraph}{Logic: the set monad as an algebra}{96}{section*.62}}
+\@writefile{toc}{\contentsline {paragraph}{Primes: an application}{97}{section*.63}}
+\@writefile{toc}{\contentsline {paragraph}{Summary}{97}{section*.64}}
+\@writefile{toc}{\contentsline {subsubsection}{Patterns}{98}{section*.65}}
+\@writefile{toc}{\contentsline {subsubsection}{A first mini-query language}{98}{section*.66}}
+\@writefile{toc}{\contentsline {subsubsection}{Iterating the design pattern}{98}{section*.67}}
+\@writefile{toc}{\contentsline {paragraph}{A spatial-behavioral-style logic for $\lambda $-calculus}{99}{section*.68}}
+\@writefile{toc}{\contentsline {paragraph}{Examples}{99}{section*.69}}
+\@writefile{toc}{\contentsline {subsubsection}{Logical semantics}{100}{section*.70}}
+\@writefile{toc}{\contentsline {subsubsection}{Other collection monads, other logics}{100}{section*.71}}
+\@writefile{toc}{\contentsline {paragraph}{Stateful collections}{100}{section*.72}}
+\@writefile{lof}{\contentsline {figure}{\numberline {10.2}{\ignorespaces Comprehensions and distributive maps }}{101}{figure.10.2}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {10.3.1}Other logical operations}{102}{subsection.10.3.1}}
+\@writefile{toc}{\contentsline {section}{\numberline {10.4}Searching for programs}{102}{section.10.4}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {10.4.1}A new foundation for search}{102}{subsection.10.4.1}}
+\@writefile{toc}{\contentsline {subsubsection}{Monad composition via distributive laws}{102}{section*.73}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {10.4.2}Examples}{102}{subsection.10.4.2}}
\@setckpt{chapters/ten/ch}{
-\setcounter{page}{101}
+\setcounter{page}{103}
\setcounter{equation}{0}
\setcounter{enumi}{0}
\setcounter{enumii}{0}
View
14 src/main/book/content/monadic.lof
@@ -13,13 +13,15 @@
\contentsline {figure}{\numberline {5.1}{\ignorespaces Chapter map }}{52}{figure.5.1}
\addvspace {10\p@ }
\contentsline {figure}{\numberline {6.1}{\ignorespaces Chapter map }}{70}{figure.6.1}
-\contentsline {figure}{\numberline {6.2}{\ignorespaces Zippers and editors }}{76}{figure.6.2}
+\contentsline {figure}{\numberline {6.2}{\ignorespaces Context and subterm }}{71}{figure.6.2}
+\contentsline {figure}{\numberline {6.3}{\ignorespaces Context and subterm }}{72}{figure.6.3}
+\contentsline {figure}{\numberline {6.4}{\ignorespaces Zippers and editors }}{78}{figure.6.4}
\addvspace {10\p@ }
-\contentsline {figure}{\numberline {7.1}{\ignorespaces Chapter map }}{78}{figure.7.1}
+\contentsline {figure}{\numberline {7.1}{\ignorespaces Chapter map }}{80}{figure.7.1}
\addvspace {10\p@ }
-\contentsline {figure}{\numberline {8.1}{\ignorespaces Chapter map }}{86}{figure.8.1}
+\contentsline {figure}{\numberline {8.1}{\ignorespaces Chapter map }}{88}{figure.8.1}
\addvspace {10\p@ }
-\contentsline {figure}{\numberline {9.1}{\ignorespaces Chapter map }}{88}{figure.9.1}
+\contentsline {figure}{\numberline {9.1}{\ignorespaces Chapter map }}{90}{figure.9.1}
\addvspace {10\p@ }
-\contentsline {figure}{\numberline {10.1}{\ignorespaces Chapter map }}{90}{figure.10.1}
-\contentsline {figure}{\numberline {10.2}{\ignorespaces Comprehensions and distributive maps }}{99}{figure.10.2}
+\contentsline {figure}{\numberline {10.1}{\ignorespaces Chapter map }}{92}{figure.10.1}
+\contentsline {figure}{\numberline {10.2}{\ignorespaces Comprehensions and distributive maps }}{101}{figure.10.2}
View
155 src/main/book/content/monadic.log
@@ -1,4 +1,4 @@
-This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) (format=pdflatex 2010.3.17) 17 MAR 2010 15:46
+This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) (format=pdflatex 2010.3.17) 6 MAY 2010 08:09
entering extended mode
**monadic.tex
(./monadic.tex
@@ -443,24 +443,24 @@ s been already used, duplicate ignored
l.31 ...little more history}{26}{subsection.2.3.1}
[1
-] [2] [3])
+] [2] [3] [4])
\tf@toc=\write6
\openout6 = `monadic.toc'.
- [4]
-(./monadic.lof)
+ [5]
+[6
+
+] (./monadic.lof)
\tf@lof=\write7
\openout7 = `monadic.lof'.
- [5
-
-] [6
+ [7] [8
] (./monadic.lot)
\tf@lot=\write8
\openout8 = `monadic.lot'.
- [7] [8
+ [9] [10
]
! pdfTeX warning (ext4): destination with the same identifier (name{page.1}) ha
@@ -531,10 +531,22 @@ l.238
[8]
LaTeX Font Info: Font shape `OMS/cmr/m/n' in size <12> not available
(Font) Font shape `OMS/cmsy/m/n' tried instead on input line 268.
-) (./chapters/one/where-are-we-going.tex [9] [10] [11] [12])
+) (./chapters/one/where-are-we-going.tex
+! pdfTeX warning (ext4): destination with the same identifier (name{page.9}) ha
+s been already used, duplicate ignored
+<to be read again>
+ \penalty
+l.1 \section
+ {Where are we going} [9]
+! pdfTeX warning (ext4): destination with the same identifier (name{page.10}) h
+as been already used, duplicate ignored
+<to be read again>
+ \penalty
+l.36 \end{itemize}
+ [10] [11] [12])
(./chapters/one/how-are-we-going-to-get-there.tex
</Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figures/R
-LambdaSignupPageScreenShot.pdf, id=684, 1353.055pt x 881.2925pt>
+LambdaSignupPageScreenShot.pdf, id=704, 1353.055pt x 881.2925pt>
File: /Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figu
res/RLambdaSignupPageScreenShot.pdf Graphic file (type pdf)
@@ -547,7 +559,7 @@ Overfull \hbox (46.785pt too wide) in paragraph at lines 26--27
[13] [14 </Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/
figures/RLambdaSignupPageScreenShot.pdf>]
</Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figures/R
-LambdaREPLPageScreenShot.pdf, id=702, 1353.055pt x 881.2925pt>
+LambdaREPLPageScreenShot.pdf, id=723, 1353.055pt x 881.2925pt>
File: /Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figu
res/RLambdaREPLPageScreenShot.pdf Graphic file (type pdf)
@@ -559,7 +571,7 @@ Overfull \hbox (46.785pt too wide) in paragraph at lines 51--52
</Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figures/R
-LambdaSampleEvaluationResultPage.pdf, id=703, 1353.055pt x 881.2925pt>
+LambdaSampleEvaluationResultPage.pdf, id=724, 1353.055pt x 881.2925pt>
File: /Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figu
res/RLambdaSampleEvaluationResultPage.pdf Graphic file (type pdf)
@@ -586,7 +598,7 @@ LaTeX Font Warning: Font shape `OMS/cmtt/m/n' undefined
</Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figures/P
-rojectEditor.pdf, id=731, 699.61375pt x 523.9575pt>
+rojectEditor.pdf, id=751, 699.61375pt x 523.9575pt>
File: /Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figu
res/ProjectEditor.pdf Graphic file (type pdf)
@@ -599,7 +611,7 @@ Overfull \hbox (27.95221pt too wide) in paragraph at lines 130--131
[17] [18 </Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/
figures/ProjectEditor.pdf>]
</Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figures/M
-onadicDesignPatternsChapterMap2.pdf, id=853, 748.7975pt x 582.175pt>
+onadicDesignPatternsChapterMap2.pdf, id=873, 748.7975pt x 582.175pt>
File: /Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figu
res/MonadicDesignPatternsChapterMap2.pdf Graphic file (type pdf)
@@ -690,7 +702,7 @@ Overfull \hbox (3.25792pt too wide) in paragraph at lines 588--589
Chapter 3.
</Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figures/M
-onadicDesignPatternsChapterMapFocus3.pdf, id=1338, 748.7975pt x 582.175pt>
+onadicDesignPatternsChapterMapFocus3.pdf, id=1359, 748.7975pt x 582.175pt>
File: /Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figu
res/MonadicDesignPatternsChapterMapFocus3.pdf Graphic file (type pdf)
@@ -820,7 +832,7 @@ LaTeX Font Info: Font shape `OMS/cmr/m/it' in size <12> not available
Chapter 4.
</Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figures/M
-onadicDesignPatternsChapterMapFocus4.pdf, id=1877, 748.7975pt x 582.175pt>
+onadicDesignPatternsChapterMapFocus4.pdf, id=1897, 748.7975pt x 582.175pt>
File: /Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figu
res/MonadicDesignPatternsChapterMapFocus4.pdf Graphic file (type pdf)
@@ -894,7 +906,7 @@ Overfull \hbox (130.1577pt too wide) in paragraph at lines 49--51
Chapter 5.
</Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figures/M
-onadicDesignPatternsChapterMapFocus5.pdf, id=2135, 748.7975pt x 582.175pt>
+onadicDesignPatternsChapterMapFocus5.pdf, id=2156, 748.7975pt x 582.175pt>
File: /Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figu
res/MonadicDesignPatternsChapterMapFocus5.pdf Graphic file (type pdf)
@@ -983,7 +995,7 @@ Overfull \hbox (45.55785pt too wide) in paragraph at lines 658--659
Chapter 6.
</Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figures/M
-onadicDesignPatternsChapterMapFocus6.pdf, id=2724, 748.7975pt x 582.175pt>
+onadicDesignPatternsChapterMapFocus6.pdf, id=2745, 748.7975pt x 582.175pt>
File: /Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figu
res/MonadicDesignPatternsChapterMapFocus6.pdf Graphic file (type pdf)
@@ -1001,35 +1013,56 @@ Underfull \vbox (badness 10000) has occurred while \output is active []
]
[70 </Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figur
es/MonadicDesignPatternsChapterMapFocus6.pdf>]
+</Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figures/Z
+ipperContext1.pdf, id=2944, 317.185pt x 253.94875pt>
+File: /Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figu
+res/ZipperContext1.pdf Graphic file (type pdf)
+
+<use /Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figur
+es/ZipperContext1.pdf>
+</Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figures/D
+erivative.pdf, id=2945, 624.3325pt x 464.73625pt>
+File: /Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figu
+res/Derivative.pdf Graphic file (type pdf)
+
+<use /Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figur
+es/Derivative.pdf>
+Overfull \hbox (41.4569pt too wide) in paragraph at lines 35--36
+ []
+ []
+
+[71 </Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figur
+es/ZipperContext1.pdf>] [72 </Users/lgm/work/src/projex/biosimilarity/trace/src
+/main/book/content/figures/Derivative.pdf>]
Underfull \vbox (badness 10000) has occurred while \output is active []
- [71]
-Overfull \hbox (10.3079pt too wide) in paragraph at lines 65--66
+ [73]
+Overfull \hbox (10.3079pt too wide) in paragraph at lines 104--105
[][][][][][][][][][][][][][][][][][][][][][][][][]
[]
-[72]
-Overfull \hbox (31.45787pt too wide) in paragraph at lines 111--112
+[74]
+Overfull \hbox (31.45787pt too wide) in paragraph at lines 150--151
[][][][][][][][][][][][][][][][][]
[]
-Overfull \hbox (10.3079pt too wide) in paragraph at lines 122--123
+Overfull \hbox (10.3079pt too wide) in paragraph at lines 161--162
[][][][][][][][][][][][][][][][][][][][][][][][][][][]
[]
Underfull \vbox (badness 10000) has occurred while \output is active []
- [73]
-Overfull \hbox (73.7578pt too wide) in paragraph at lines 167--168
+ [75]
+Overfull \hbox (73.7578pt too wide) in paragraph at lines 206--207
[][][][][][][][][][][][][][][][][][][][][][][][][]
[]
Underfull \vbox (badness 10000) has occurred while \output is active []
- [74])
+ [76])
(./chapters/six/mapping-uris-zipper-based-paths.tex
Overfull \hbox (3.44252pt too wide) in paragraph at lines 1--1
[]\OT1/cmr/bx/n/17.28 Mapping URIs to zipper-based paths and back
@@ -1037,7 +1070,7 @@ Overfull \hbox (3.44252pt too wide) in paragraph at lines 1--1
</Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figures/P
-rojectZipper.pdf, id=3107, 699.61375pt x 523.9575pt>
+rojectZipper.pdf, id=3328, 699.61375pt x 523.9575pt>
File: /Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figu
res/ProjectZipper.pdf Graphic file (type pdf)
@@ -1047,7 +1080,7 @@ Overfull \hbox (27.95221pt too wide) in paragraph at lines 11--12
[]
[]
-) [75] [76 </Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/conten
+) [77] [78 </Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/conten
t/figures/ProjectZipper.pdf>])
\openout2 = `chapters/seven/ch.aux'.
@@ -1055,7 +1088,7 @@ t/figures/ProjectZipper.pdf>])
Chapter 7.
</Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figures/M
-onadicDesignPatternsChapterMapFocus7.pdf, id=3251, 748.7975pt x 582.175pt>
+onadicDesignPatternsChapterMapFocus7.pdf, id=3468, 748.7975pt x 582.175pt>
File: /Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figu
res/MonadicDesignPatternsChapterMapFocus7.pdf Graphic file (type pdf)
@@ -1064,7 +1097,7 @@ es/MonadicDesignPatternsChapterMapFocus7.pdf>
(./chapters/seven/collections-as-monads.tex
Underfull \vbox (badness 10000) has occurred while \output is active []
- [77
+ [79
@@ -1077,11 +1110,11 @@ Overfull \hbox (3.25792pt too wide) in paragraph at lines 30--31
Underfull \vbox (badness 10000) has occurred while \output is active []
- [78 </Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figu
+ [80 </Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figu
res/MonadicDesignPatternsChapterMapFocus7.pdf>]
Underfull \vbox (badness 10000) has occurred while \output is active []
- [79]
+ [81]
Overfull \hbox (7.03279pt too wide) in paragraph at lines 120--126
[][][][][][][][][][][][][][][][][][][][][][][][]\OT1/cmr/m/n/12 . In a sim-i-la
r man-ner, [][][][][][][][][][][][][][][][][][][][][]
@@ -1090,19 +1123,19 @@ r man-ner, [][][][][][][][][][][][][][][][][][][][][]
Underfull \vbox (badness 10000) has occurred while \output is active []
- [80]
+ [82]
Underfull \vbox (badness 10000) has occurred while \output is active []
- [81]
-[82]) (./chapters/seven/container.tex) (./chapters/seven/monad-and-comonad.tex
-[83]) [84])
+ [83]
+[84]) (./chapters/seven/container.tex) (./chapters/seven/monad-and-comonad.tex
+[85]) [86])
\openout2 = `chapters/eight/ch.aux'.
(./chapters/eight/ch.tex
Chapter 8.
</Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figures/M
-onadicDesignPatternsChapterMapFocus8.pdf, id=3531, 748.7975pt x 582.175pt>
+onadicDesignPatternsChapterMapFocus8.pdf, id=3749, 748.7975pt x 582.175pt>
File: /Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figu
res/MonadicDesignPatternsChapterMapFocus8.pdf Graphic file (type pdf)
@@ -1114,11 +1147,11 @@ es/MonadicDesignPatternsChapterMapFocus8.pdf>
Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
(hyperref) removing `\lstinline' on input line 3.
-) (./chapters/eight/continuations-revisited.tex) [85
+) (./chapters/eight/continuations-revisited.tex) [87
-] [86 </Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/fig
+] [88 </Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/fig
ures/MonadicDesignPatternsChapterMapFocus8.pdf>])
\openout2 = `chapters/nine/ch.aux'.
@@ -1126,7 +1159,7 @@ ures/MonadicDesignPatternsChapterMapFocus8.pdf>])
Chapter 9.
</Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figures/M
-onadicDesignPatternsChapterMapFocus9.pdf, id=3731, 751.80875pt x 580.1675pt>
+onadicDesignPatternsChapterMapFocus9.pdf, id=3949, 751.80875pt x 580.1675pt>
File: /Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figu
res/MonadicDesignPatternsChapterMapFocus9.pdf Graphic file (type pdf)
@@ -1134,11 +1167,11 @@ res/MonadicDesignPatternsChapterMapFocus9.pdf Graphic file (type pdf)
es/MonadicDesignPatternsChapterMapFocus9.pdf>
(./chapters/nine/putting-it-all-together.tex) (./chapters/nine/end-to-end.tex)
(./chapters/nine/deployment.tex) (./chapters/nine/application-to-framework.tex)
-[87
+[89
-]) [88 </Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/fi
+]) [90 </Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/fi
gures/MonadicDesignPatternsChapterMapFocus9.pdf>]
\openout2 = `chapters/ten/ch.aux'.
@@ -1146,16 +1179,16 @@ gures/MonadicDesignPatternsChapterMapFocus9.pdf>]
Chapter 10.
</Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figures/M
-onadicDesignPatternsChapterMapFocus10.pdf, id=3925, 748.7975pt x 582.175pt>
+onadicDesignPatternsChapterMapFocus10.pdf, id=4142, 748.7975pt x 582.175pt>
File: /Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figu
res/MonadicDesignPatternsChapterMapFocus10.pdf Graphic file (type pdf)
<use /Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figur
-es/MonadicDesignPatternsChapterMapFocus10.pdf> [89
+es/MonadicDesignPatternsChapterMapFocus10.pdf> [91
-] [90 </Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/fig
+] [92 </Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/fig
ures/MonadicDesignPatternsChapterMapFocus10.pdf>]
Overfull \hbox (34.15538pt too wide) in paragraph at lines 90--94
[]\OT1/cmr/m/n/12 Intriguingly, mon-ads do not au-to-mat-i-cally com-pose. That
@@ -1165,11 +1198,11 @@ Overfull \hbox (34.15538pt too wide) in paragraph at lines 90--94
Underfull \vbox (badness 10000) has occurred while \output is active []
- [91]
-[92] (./chapters/ten/semantic-web.tex) (./chapters/ten/new-queries.tex [93]
-[94] [95] [96] [97]
+ [93]
+[94] (./chapters/ten/semantic-web.tex) (./chapters/ten/new-queries.tex [95]
+[96] [97] [98] [99]
</Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figures/M
-onadVisualization.pdf, id=4203, 822.07124pt x 615.29875pt>
+onadVisualization.pdf, id=4421, 822.07124pt x 615.29875pt>
File: /Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/figu
res/MonadVisualization.pdf Graphic file (type pdf)
@@ -1179,9 +1212,9 @@ Overfull \hbox (107.54865pt too wide) in paragraph at lines 311--312
[]
[]
-[98] [99 </Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/content/
-figures/MonadVisualization.pdf>]) (./chapters/ten/search-for-behavior.tex)
-[100])
+[100] [101 </Users/lgm/work/src/projex/biosimilarity/trace/src/main/book/conten
+t/figures/MonadVisualization.pdf>]) (./chapters/ten/search-for-behavior.tex)
+[102])
\openout2 = `bibliography/monadic.aux'.
@@ -1196,17 +1229,17 @@ LaTeX Font Warning: Some font shapes were not available, defaults substituted.
)
Here is how much of TeX's memory you used:
- 9918 strings out of 94500
- 130801 string characters out of 1174973
- 210985 words of memory out of 1000000
- 11438 multiletter control sequences out of 10000+50000
+ 9936 strings out of 94500
+ 131719 string characters out of 1174973
+ 210988 words of memory out of 1000000
+ 11448 multiletter control sequences out of 10000+50000
19826 words of font info for 75 fonts, out of 500000 for 2000
580 hyphenation exceptions out of 1000
- 34i,20n,56p,925b,1556s stack positions out of 1500i,500n,5000p,200000b,5000s
+ 34i,20n,56p,925b,1557s stack positions out of 1500i,500n,5000p,200000b,5000s
PDF statistics:
- 4336 PDF objects out of 300000
- 1336 named destinations out of 131072
- 916 words of extra memory for PDF output out of 65536
+ 4553 PDF objects out of 300000
+ 1342 named destinations out of 131072
+ 942 words of extra memory for PDF output out of 65536
</opt/local/share/texmf-dist/fonts/type1/bluesky/cm/cmbx8.pfb></opt/local/sha
re/texmf-dist/fonts/type1/bluesky/cm/cmsy8.pfb></opt/local/share/texmf-dist/fon
ts/type1/bluesky/latex/line10.pfb></opt/local/share/texmf-dist/fonts/type1/blue
@@ -1226,4 +1259,4 @@ mti10.pfb></opt/local/share/texmf-dist/fonts/type1/bluesky/cm/cmsy10.pfb></opt/
local/share/texmf-dist/fonts/type1/bluesky/cm/cmr10.pfb></opt/local/share/texmf
-dist/fonts/type1/bluesky/cm/cmr12.pfb></opt/local/share/texmf-dist/fonts/type1
/bluesky/cm/cmr17.pfb>
-Output written on monadic.pdf (109 pages, 4279842 bytes).
+Output written on monadic.pdf (113 pages, 4377981 bytes).
View
2  src/main/book/content/monadic.out
@@ -51,6 +51,8 @@
\BOOKMARK [2][-]{subsection.6.4.1}{Delimited continuations}{section.6.4}
\BOOKMARK [1][-]{section.6.5}{Species of Structure}{chapter.6}
\BOOKMARK [1][-]{section.6.6}{Constructing contexts and zippers from data types}{chapter.6}
+\BOOKMARK [2][-]{subsection.6.6.1}{Contexts}{section.6.6}
+\BOOKMARK [2][-]{subsection.6.6.2}{Zippers}{section.6.6}
\BOOKMARK [1][-]{section.6.7}{Mapping URIs to zipper-based paths and back}{chapter.6}
\BOOKMARK [2][-]{subsection.6.7.1}{Path and context}{section.6.7}
\BOOKMARK [2][-]{subsection.6.7.2}{Homomorphisms and obfuscation}{section.6.7}
View
BIN  src/main/book/content/monadic.pdf
Binary file not shown
View
146 src/main/book/content/monadic.toc
@@ -96,75 +96,77 @@
\contentsline {subsection}{\numberline {6.4.1}Delimited continuations}{70}{subsection.6.4.1}
\contentsline {section}{\numberline {6.5}Species of Structure}{70}{section.6.5}
\contentsline {section}{\numberline {6.6}Constructing contexts and zippers from data types}{70}{section.6.6}
-\contentsline {section}{\numberline {6.7}Mapping URIs to zipper-based paths and back}{75}{section.6.7}
-\contentsline {subsection}{\numberline {6.7.1}Path and context}{75}{subsection.6.7.1}
-\contentsline {subsection}{\numberline {6.7.2}Homomorphisms and obfuscation}{75}{subsection.6.7.2}
-\contentsline {section}{\numberline {6.8}Applying zippers to our project}{75}{section.6.8}
-\contentsline {subsection}{\numberline {6.8.1}Navigating and editing terms}{75}{subsection.6.8.1}
-\contentsline {subsection}{\numberline {6.8.2}Navigating and editing projects}{75}{subsection.6.8.2}
-\contentsline {chapter}{\numberline {7}A review of collections as monads}{77}{chapter.7}
-\contentsline {section}{\numberline {7.1}Sets, Lists and Languages}{77}{section.7.1}
-\contentsline {subsection}{\numberline {7.1.1}Witnessing Sets and Lists monadicity}{77}{subsection.7.1.1}
-\contentsline {subsection}{\numberline {7.1.2}Languages and Sets of Words}{82}{subsection.7.1.2}
-\contentsline {subsubsection}{Kleene star}{82}{section*.51}
-\contentsline {subsubsection}{I am not a number, I am a free monoid}{82}{section*.52}
-\contentsline {subsection}{\numberline {7.1.3}Of lenses and bananas}{82}{subsection.7.1.3}
-\contentsline {section}{\numberline {7.2}Containers and syntax}{82}{section.7.2}
-\contentsline {subsection}{\numberline {7.2.1}The algebra of Sets}{82}{subsection.7.2.1}
-\contentsline {subsection}{\numberline {7.2.2}The algebra of Lists}{82}{subsection.7.2.2}
-\contentsline {subsection}{\numberline {7.2.3}The algebra of Sets of Words}{83}{subsection.7.2.3}
-\contentsline {section}{\numberline {7.3}Algebras}{83}{section.7.3}
-\contentsline {subsection}{\numberline {7.3.1}Kleisli}{83}{subsection.7.3.1}
-\contentsline {subsection}{\numberline {7.3.2}Eilenberg-Moore}{83}{subsection.7.3.2}
-\contentsline {section}{\numberline {7.4}Monad as container}{83}{section.7.4}
-\contentsline {section}{\numberline {7.5}Monads and take-out}{83}{section.7.5}
-\contentsline {subsection}{\numberline {7.5.1}Option as container}{84}{subsection.7.5.1}
-\contentsline {subsection}{\numberline {7.5.2}I/O monad for contrast}{84}{subsection.7.5.2}
-\contentsline {subsection}{\numberline {7.5.3}Matching gazintas and gazoutas}{84}{subsection.7.5.3}
-\contentsline {subsubsection}{Intuitionistic discipline}{84}{section*.54}
-\contentsline {subsubsection}{Linear discipline}{84}{section*.55}
-\contentsline {section}{\numberline {7.6}Co-monad and take-out}{84}{section.7.6}
-\contentsline {section}{\numberline {7.7}Hopf structure}{84}{section.7.7}
-\contentsline {section}{\numberline {7.8}Container and control}{84}{section.7.8}
-\contentsline {subsection}{\numberline {7.8.1}Delimited continuations reconsidered}{84}{subsection.7.8.1}
-\contentsline {chapter}{\numberline {8}Domain model, storage and state}{85}{chapter.8}
-\contentsline {section}{\numberline {8.1}Mapping our domain model to storage}{85}{section.8.1}
-\contentsline {subsection}{\numberline {8.1.1}Functional and relational models}{85}{subsection.8.1.1}
-\contentsline {subsection}{\numberline {8.1.2}Functional and XML models}{85}{subsection.8.1.2}
-\contentsline {subsection}{\numberline {8.1.3}ORM}{85}{subsection.8.1.3}
-\contentsline {section}{\numberline {8.2}Storage and language-integrated query}{85}{section.8.2}
-\contentsline {subsection}{\numberline {8.2.1}LINQ and \lstinline [language=Scala]!for!-comprehensions}{85}{subsection.8.2.1}
-\contentsline {subsubsection}{Open source implementations}{85}{section*.56}
-\contentsline {paragraph}{ScalaQuery}{85}{section*.57}
-\contentsline {paragraph}{Squeryl}{85}{section*.58}
-\contentsline {section}{\numberline {8.3}Continuations revisited}{86}{section.8.3}
-\contentsline {subsection}{\numberline {8.3.1}Stored state}{86}{subsection.8.3.1}
-\contentsline {subsection}{\numberline {8.3.2}Transactions}{86}{subsection.8.3.2}
-\contentsline {chapter}{\numberline {9}Putting it all together}{87}{chapter.9}
-\contentsline {section}{\numberline {9.1}Our web application end-to-end}{87}{section.9.1}
-\contentsline {section}{\numberline {9.2}Deploying our application}{87}{section.9.2}
-\contentsline {subsection}{\numberline {9.2.1}Why we are not deploying on GAE}{87}{subsection.9.2.1}
-\contentsline {section}{\numberline {9.3}From one web application to web framework}{87}{section.9.3}
-\contentsline {chapter}{\numberline {10}The semantic web}{89}{chapter.10}
-\contentsline {section}{\numberline {10.1}Referential transparency}{89}{section.10.1}
-\contentsline {paragraph}{A little motivation}{90}{section*.59}
-\contentsline {section}{\numberline {10.2}Composing monads}{91}{section.10.2}
-\contentsline {subsubsection}{Preliminary}{92}{section*.60}
-\contentsline {section}{\numberline {10.3}Semantic application queries}{93}{section.10.3}
-\contentsline {subsubsection}{An alternative presentation}{93}{section*.61}
-\contentsline {paragraph}{Logic: the set monad as an algebra}{94}{section*.62}
-\contentsline {paragraph}{Primes: an application}{95}{section*.63}
-\contentsline {paragraph}{Summary}{95}{section*.64}
-\contentsline {subsubsection}{Patterns}{96}{section*.65}
-\contentsline {subsubsection}{A first mini-query language}{96}{section*.66}
-\contentsline {subsubsection}{Iterating the design pattern}{96}{section*.67}
-\contentsline {paragraph}{A spatial-behavioral-style logic for $\lambda $-calculus}{97}{section*.68}
-\contentsline {paragraph}{Examples}{97}{section*.69}
-\contentsline {subsubsection}{Logical semantics}{98}{section*.70}
-\contentsline {subsubsection}{Other collection monads, other logics}{98}{section*.71}
-\contentsline {paragraph}{Stateful collections}{98}{section*.72}
-\contentsline {subsection}{\numberline {10.3.1}Other logical operations}{100}{subsection.10.3.1}
-\contentsline {section}{\numberline {10.4}Searching for programs}{100}{section.10.4}
-\contentsline {subsection}{\numberline {10.4.1}A new foundation for search}{100}{subsection.10.4.1}
-\contentsline {subsubsection}{Monad composition via distributive laws}{100}{section*.73}
-\contentsline {subsection}{\numberline {10.4.2}Examples}{100}{subsection.10.4.2}
+\contentsline {subsection}{\numberline {6.6.1}Contexts}{71}{subsection.6.6.1}
+\contentsline {subsection}{\numberline {6.6.2}Zippers}{71}{subsection.6.6.2}
+\contentsline {section}{\numberline {6.7}Mapping URIs to zipper-based paths and back}{77}{section.6.7}
+\contentsline {subsection}{\numberline {6.7.1}Path and context}{77}{subsection.6.7.1}
+\contentsline {subsection}{\numberline {6.7.2}Homomorphisms and obfuscation}{77}{subsection.6.7.2}
+\contentsline {section}{\numberline {6.8}Applying zippers to our project}{77}{section.6.8}
+\contentsline {subsection}{\numberline {6.8.1}Navigating and editing terms}{77}{subsection.6.8.1}
+\contentsline {subsection}{\numberline {6.8.2}Navigating and editing projects}{77}{subsection.6.8.2}
+\contentsline {chapter}{\numberline {7}A review of collections as monads}{79}{chapter.7}
+\contentsline {section}{\numberline {7.1}Sets, Lists and Languages}{79}{section.7.1}
+\contentsline {subsection}{\numberline {7.1.1}Witnessing Sets and Lists monadicity}{79}{subsection.7.1.1}
+\contentsline {subsection}{\numberline {7.1.2}Languages and Sets of Words}{84}{subsection.7.1.2}
+\contentsline {subsubsection}{Kleene star}{84}{section*.51}
+\contentsline {subsubsection}{I am not a number, I am a free monoid}{84}{section*.52}
+\contentsline {subsection}{\numberline {7.1.3}Of lenses and bananas}{84}{subsection.7.1.3}
+\contentsline {section}{\numberline {7.2}Containers and syntax}{84}{section.7.2}
+\contentsline {subsection}{\numberline {7.2.1}The algebra of Sets}{84}{subsection.7.2.1}
+\contentsline {subsection}{\numberline {7.2.2}The algebra of Lists}{84}{subsection.7.2.2}
+\contentsline {subsection}{\numberline {7.2.3}The algebra of Sets of Words}{85}{subsection.7.2.3}
+\contentsline {section}{\numberline {7.3}Algebras}{85}{section.7.3}
+\contentsline {subsection}{\numberline {7.3.1}Kleisli}{85}{subsection.7.3.1}
+\contentsline {subsection}{\numberline {7.3.2}Eilenberg-Moore}{85}{subsection.7.3.2}
+\contentsline {section}{\numberline {7.4}Monad as container}{85}{section.7.4}
+\contentsline {section}{\numberline {7.5}Monads and take-out}{85}{section.7.5}
+\contentsline {subsection}{\numberline {7.5.1}Option as container}{86}{subsection.7.5.1}
+\contentsline {subsection}{\numberline {7.5.2}I/O monad for contrast}{86}{subsection.7.5.2}
+\contentsline {subsection}{\numberline {7.5.3}Matching gazintas and gazoutas}{86}{subsection.7.5.3}
+\contentsline {subsubsection}{Intuitionistic discipline}{86}{section*.54}
+\contentsline {subsubsection}{Linear discipline}{86}{section*.55}
+\contentsline {section}{\numberline {7.6}Co-monad and take-out}{86}{section.7.6}
+\contentsline {section}{\numberline {7.7}Hopf structure}{86}{section.7.7}
+\contentsline {section}{\numberline {7.8}Container and control}{86}{section.7.8}
+\contentsline {subsection}{\numberline {7.8.1}Delimited continuations reconsidered}{86}{subsection.7.8.1}
+\contentsline {chapter}{\numberline {8}Domain model, storage and state}{87}{chapter.8}
+\contentsline {section}{\numberline {8.1}Mapping our domain model to storage}{87}{section.8.1}
+\contentsline {subsection}{\numberline {8.1.1}Functional and relational models}{87}{subsection.8.1.1}
+\contentsline {subsection}{\numberline {8.1.2}Functional and XML models}{87}{subsection.8.1.2}
+\contentsline {subsection}{\numberline {8.1.3}ORM}{87}{subsection.8.1.3}
+\contentsline {section}{\numberline {8.2}Storage and language-integrated query}{87}{section.8.2}
+\contentsline {subsection}{\numberline {8.2.1}LINQ and \lstinline [language=Scala]!for!-comprehensions}{87}{subsection.8.2.1}
+\contentsline {subsubsection}{Open source implementations}{87}{section*.56}
+\contentsline {paragraph}{ScalaQuery}{87}{section*.57}
+\contentsline {paragraph}{Squeryl}{87}{section*.58}
+\contentsline {section}{\numberline {8.3}Continuations revisited}{88}{section.8.3}
+\contentsline {subsection}{\numberline {8.3.1}Stored state}{88}{subsection.8.3.1}
+\contentsline {subsection}{\numberline {8.3.2}Transactions}{88}{subsection.8.3.2}
+\contentsline {chapter}{\numberline {9}Putting it all together}{89}{chapter.9}
+\contentsline {section}{\numberline {9.1}Our web application end-to-end}{89}{section.9.1}
+\contentsline {section}{\numberline {9.2}Deploying our application}{89}{section.9.2}
+\contentsline {subsection}{\numberline {9.2.1}Why we are not deploying on GAE}{89}{subsection.9.2.1}
+\contentsline {section}{\numberline {9.3}From one web application to web framework}{89}{section.9.3}
+\contentsline {chapter}{\numberline {10}The semantic web}{91}{chapter.10}
+\contentsline {section}{\numberline {10.1}Referential transparency}{91}{section.10.1}
+\contentsline {paragraph}{A little motivation}{92}{section*.59}
+\contentsline {section}{\numberline {10.2}Composing monads}{93}{section.10.2}
+\contentsline {subsubsection}{Preliminary}{94}{section*.60}
+\contentsline {section}{\numberline {10.3}Semantic application queries}{95}{section.10.3}
+\contentsline {subsubsection}{An alternative presentation}{95}{section*.61}
+\contentsline {paragraph}{Logic: the set monad as an algebra}{96}{section*.62}
+\contentsline {paragraph}{Primes: an application}{97}{section*.63}
+\contentsline {paragraph}{Summary}{97}{section*.64}
+\contentsline {subsubsection}{Patterns}{98}{section*.65}
+\contentsline {subsubsection}{A first mini-query language}{98}{section*.66}
+\contentsline {subsubsection}{Iterating the design pattern}{98}{section*.67}
+\contentsline {paragraph}{A spatial-behavioral-style logic for $\lambda $-calculus}{99}{section*.68}
+\contentsline {paragraph}{Examples}{99}{section*.69}
+\contentsline {subsubsection}{Logical semantics}{100}{section*.70}
+\contentsline {subsubsection}{Other collection monads, other logics}{100}{section*.71}
+\contentsline {paragraph}{Stateful collections}{100}{section*.72}
+\contentsline {subsection}{\numberline {10.3.1}Other logical operations}{102}{subsection.10.3.1}
+\contentsline {section}{\numberline {10.4}Searching for programs}{102}{section.10.4}
+\contentsline {subsection}{\numberline {10.4.1}A new foundation for search}{102}{subsection.10.4.1}
+\contentsline {subsubsection}{Monad composition via distributive laws}{102}{section*.73}
+\contentsline {subsection}{\numberline {10.4.2}Examples}{102}{subsection.10.4.2}
View
7 src/main/scala/net/liftweb/amqp/JSONAMQPDispatcher.scala
@@ -153,7 +153,7 @@ trait JSONToSQLHandler {
}
}
-class JSONAMQPListener {
+class JSONAMQPListener( host : String ) {
val LOG_PROPERTIES_FILE : String =
"src/main/resources/Log4J.properties";
@@ -168,7 +168,8 @@ class JSONAMQPListener {
val amqp =
new JSONSerializedAMQPDispatcher[String](
factory,
- "localhost",
+ //"localhost",
+ host,
5672
)
@@ -187,7 +188,7 @@ class JSONAMQPListener {
}
def testHandle = {
- val jal = new net.liftweb.amqp.JSONAMQPListener
+ val jal = new net.liftweb.amqp.JSONAMQPListener( "localhost" )
jal.amqp ! net.liftweb.amqp.AMQPReconnect( 4 )
jal.jsonListener.handle( "rlambda_production" )(
new com.thoughtworks.xstream.XStream(
Please sign in to comment.
Something went wrong with that request. Please try again.