Changeset 2d82999 for doc/theses/mike_brooks_MMath

Timestamp:

Apr 3, 2024, 12:24:23 PM (3 months ago)

Author:

Michael Brooks <mlbrooks@…>

Branches:

master

Children:

4a72fef, d3a49864

Parents:

b5bfb16

Message:

clear out draft content and link syntactic reference figures

File:

• doc/theses/mike_brooks_MMath/background.tex (modified) (5 diffs)

doc/theses/mike_brooks_MMath/background.tex

@@ -52 +52 @@
 In these declarations, the resulting types are both arrays, but their lengths are inferred.
 
-\begin{tabular}{lllllll}
-@float x;@ & $\rightarrow$ & (base element) & @float@ & @float x;@ & @[ float ]@ & @[ float ]@ \\
-@float * x;@ & $\rightarrow$ & pointer & @float *@ & @float * x;@ & @[ * float ]@ & @[ * float ]@ \\
-@float x[10];@ & $\rightarrow$ & array & @float[10]@ & @float x[10];@ & @[ [10] float ]@ & @[ array(float, 10) ]@ \\
-@float *x[10];@ & $\rightarrow$ & array of pointers & @(float*)[10]@ & @float *x[10];@ & @[ [10] * float ]@ & @[ array(*float, 10) ]@ \\
-@float (*x)[10];@ & $\rightarrow$ & pointer to array & @float(*)[10]@ & @float (*x)[10];@ & @[ * [10] float ]@ & @[ * array(float, 10) ]@ \\
-@float *(*x5)[10];@ & $\rightarrow$ & pointer to array & @(float*)(*)[10]@ & @float *(*x)[10];@ & @[ * [10] * float ]@ & @[ * array(*float, 10) ]@
-\end{tabular}
-\begin{cfa}
-         x5 =    (float*(*)[10]) x4;
-//      x5 =     (float(*)[10]) x4;  // wrong target type; meta test suggesting above cast uses correct type
-
-        // [here]
-        // const
-
-        // [later]
-        // static
-        // star as dimension
-        // under pointer decay:                         int p1[const 3]  being  int const *p1
-
-        const float * y1;
-        float const * y2;
-        float * const y3;
-
-        y1 = 0;
-        y2 = 0;
-        // y3 = 0; // bad
-
-        // *y1 = 3.14; // bad
-        // *y2 = 3.14; // bad
-        *y3 = 3.14;
-
-        const float z1 = 1.414;
-        float const z2 = 1.414;
-
-        // z1 = 3.14; // bad
-        // z2 = 3.14; // bad
-
-
-}
-
-#define T float
-void stx2() { const T x[10];
-//                      x[5] = 3.14; // bad
-                        }
-void stx3() { T const x[10];
-//                      x[5] = 3.14; // bad
-                        }
-\end{cfa}
-
 My contribution is enabled by recognizing
 \begin{itemize}
@@ -132 +82 @@
 The \CFA-Full column gives the spelling of a different type, introduced in TODO, which has all of my contributed improvements for safety and ergonomics.
 
-\noindent
-\textbf{Unfortunate Syntactic Reference}
+\VRef[Figure]{bkgd:ar:usr:avp} gives this reference for the discussion so far.
 
 \begin{figure}
@@ -225 +174 @@
             \\ \hline
 \end{tabular}
-\caption{Figure}
+\caption{Unfortunate Syntactic Reference for Array vs Pointer.  Includes interaction with constness.}
+\label{bkgd:ar:usr:avp}
 \end{figure}
+
+
+
+
+
+TODO: Address these parked unfortunate syntaxes
+\begin{itemize}
+        \item static
+        \item star as dimension
+        \item under pointer decay:                              int p1[const 3]  being  int const *p1
+\end{itemize}
 
 
@@ -323 +284 @@
 \lstinput{32-42}{bkgd-carray-decay.c}
 
-\noindent
-\textbf{Unfortunate Syntactic Reference}
-
-\noindent
-(Parameter declaration; ``no writing'' refers to the callee's ability)
+\VRef[Figure]{bkgd:ar:usr:decay-parm} gives the reference for the decay phenomenon seen in parameter decalarations.
 
 \begin{figure}
@@ -364 +321 @@
             \\ \hline
 \end{tabular}
-\caption{Figure}
+\caption{Unfortunate Syntactic Reference for Decay during Parameter-Passing.  Includes interaction with constness, where ``no writing'' refers to a restriction on the callee's ability.}
+\label{bkgd:ar:usr:decay-parm}
 \end{figure}