Changes in doc/theses/jiada_liang_MMath/intro.tex [c1c0efdb:29c8675]

File:

• doc/theses/jiada_liang_MMath/intro.tex (modified) (2 diffs)

doc/theses/jiada_liang_MMath/intro.tex

@@ -61 +61 @@
 The alias names are constants, which follow transitively from their binding to other constants.
 \item
-Defines a type for generating instants (variables).
+Defines a type for generating instances (variables).
 \item
 For safety, an enumeration instance should be restricted to hold only its constant names.
@@ -232 +232 @@
 % https://hackage.haskell.org/package/base-4.19.1.0/docs/GHC-Enum.html
 
-The association between ADT and enumeration occurs if all the constructors have a unit (empty) type, \eg @struct unit {}@.
-Note, the unit type is not the same as \lstinline{void}.
-\begin{cfa}
-void foo( void );
-struct unit {} u;       $\C[1.5in]{// empty type}$
-unit bar( unit );
-foo( @foo()@ );         $\C{// void argument does not match with void parameter}$
-bar( bar( u ) );        $\C{// unit argument does match with unit parameter}\CRT$
-\end{cfa}
+% The association between ADT and enumeration occurs if all the constructors have a unit (empty) type, \eg @struct unit {}@.
+% Note, the unit type is not the same as \lstinline{void}.
+In terms of functional programming linguistics, enumerations often refers to a @unit type@ ADT, where @unit type@ is a type 
+that carry no information. 
+% \begin{cfa}
+% void foo( void );
+% struct unit {} u;     $\C[1.5in]{// empty type}$
+% unit bar( unit );
+% foo( @foo()@ );               $\C{// void argument does not match with void parameter}$
+% bar( bar( u ) );      $\C{// unit argument does match with unit parameter}\CRT$
+% \end{cfa}
 
 For example, in the Haskell ADT: