Continue writing chapter 13

sofp-src/lyx/sofp-disjunctions.lyx

@@ -1321,7 +1321,7 @@ Int
 
 \end_inset
 
-, the type parameter 
+, the compiler has automatically set the type parameter 
 \begin_inset listings
 inline true
 status open
@@ -1345,7 +1345,7 @@ MySockX[A]
 
 \end_inset
 
- was automatically set to the type 
+ to the type 
 \begin_inset listings
 inline true
 status open
@@ -1372,7 +1372,6 @@ MySockX[Int]
 \end_inset
 
 .
- The programmer does not need to specify that type explicitly.
 \end_layout
 
 \begin_layout Standard
@@ -1519,7 +1518,47 @@ A
 \end_inset
 
  is.
- Scala will set the type parameter 
+ (In this simple example, 
+\begin_inset listings
+inline true
+status open
+
+\begin_layout Plain Layout
+
+fits
+\end_layout
+
+\end_inset
+
+ does not actually use the value of type 
+\begin_inset listings
+inline true
+status open
+
+\begin_layout Plain Layout
+
+A
+\end_layout
+
+\end_inset
+
+ stored inside 
+\begin_inset listings
+inline true
+status open
+
+\begin_layout Plain Layout
+
+MySockX
+\end_layout
+
+\end_inset
+
+; but another function might.)
+\end_layout
+
+\begin_layout Standard
+The type parameter 
 \begin_inset listings
 inline true
 status open
@@ -1531,7 +1570,7 @@ A
 
 \end_inset
 
- automatically when we apply 
+ is set automatically when we apply 
 \begin_inset listings
 inline true
 status open

sofp-src/lyx/sofp-essay3.lyx

@@ -672,7 +672,15 @@ target "https://www.amazon.com/dp/0262660717"
 
 
 \family default
- or 
+ or the manuscript 
+\begin_inset Quotes eld
+\end_inset
+
+Basic category theory for computing science
+\begin_inset Quotes erd
+\end_inset
+
+: 
 \family typewriter
 
 \begin_inset CommandInset href
@@ -719,7 +727,7 @@ monoidal
 \begin_inset Quotes erd
 \end_inset
 
-: 
+: for example, see 
 \family typewriter
 
 \begin_inset CommandInset href
@@ -2563,7 +2571,7 @@ Academically minded computer scientists say that this definition of a
 \begin_inset Quotes eld
 \end_inset
 
-types/functions
+types and functions
 \begin_inset Quotes erd
 \end_inset
 
@@ -2584,15 +2592,15 @@ literal "false"
 
 \end_inset
 
- a 
+ a category of 
 \begin_inset Quotes eld
 \end_inset
 
-types/functions
+types and functions
 \begin_inset Quotes erd
 \end_inset
 
- category:
+:
 \end_layout
 
 \begin_layout Itemize
@@ -4511,7 +4519,7 @@ flatMap
 \end_inset
 
 .
- An example of usage is:
+ An example of usage:
 \begin_inset listings
 inline false
 status open