Changes in / [1504536:3fb7f5e]

File:

• doc/generic_types/generic_types.tex (modified) (3 diffs)

doc/generic_types/generic_types.tex

@@ -954 +954 @@
 Since all these languages share a subset comprising most of standard C, maximal-performance benchmarks would show little runtime variance, other than in length and clarity of source code.
 Instead, the presented benchmarks show the costs of idiomatic use of each language's features to examine common usage.
-Figure~\ref{fig:MicroBenchmark} shows the benchmark tests for a generic stack based on a singly linked-list, a generic pair-data-structure, and a variadic @print@ routine similar to that in Section~\ref{sec:variadic-tuples}.
-The experiments are:
-\begin{enumerate}
-\item
-N stack pushes of int, where N = 40M
-\item
-copy int stack 
-\item
-clear int stack
-\item
-N stack pops of int
-\end{enumerate}
+The benchmarks test a generic stack based on a singly linked-list, a generic pair-data-structure, and a variadic @print@ routine similar to that in Section~\ref{sec:variadic-tuples}.
 The structure of each implemented is: C with @void *@-based polymorphism, \CFA with the different presented features, \CC with templates, and \CC using only class inheritance for polymorphism, called \CCV.
 The \CCV variant illustrates an alternative object-oriented idiom where all objects inherit from a base @object@ class, mimicking a Java-like interface;
@@ -973 +962 @@
 Preliminary tests show this difference has little runtime effect.
 Finally, the C @rand@ function is used generate random numbers.
-
-\begin{figure}
-\begin{lstlisting}[xleftmargin=3\parindentlnth,aboveskip=0pt,belowskip=0pt,numbers=left,numberstyle=\tt\small,numberblanklines=false]
-int main( int argc, char *argv[] ) {
-        int max = 0;
-        stack(int) s, t;
-        REPEAT_TIMED( "push_int", push( &s, 42 ); )
-        TIMED( "copy_int", t = s; )
-        TIMED( "clear_int", clear( &s ); )
-        REPEAT_TIMED( "pop_int", max = max( max, pop( &t ) ); )
-
-        stack(pair(_Bool, char)) s, t;
-        pair(_Bool, char) max = { (_Bool)0, '\0' };
-        REPEAT_TIMED( "push_pair", push( &s, (pair(_Bool, char)){ 42, 42 } ); )
-        TIMED( "copy_pair", t = s; )
-        TIMED( "clear_pair", clear( &s ); )
-        REPEAT_TIMED( "pop_pair", max = max( max, pop( &t ) ); )
-
-        FILE * out = fopen( "cfa-out.txt", "w" );
-        REPEAT_TIMED( "print_int", print( out, 42, ":", 42, "\n" ); )
-        REPEAT_TIMED( "print_pair",
-                 print( out, (pair(_Bool, char)){ 42, 42 }, ":", (pair(_Bool, char)){ 42, 42 }, "\n" ); )
-        fclose(out);
-}
-\end{lstlisting}
-\caption{Micro-Benchmark}
-\label{fig:MicroBenchmark}
-\end{figure}
 
 \begin{figure}
@@ -1090 +1051 @@
 SETL~\cite{SETL} is a high-level mathematical programming language, with tuples being one of the primary data types.
 Tuples in SETL allow subscripting, dynamic expansion, and multiple assignment.
-C provides variadic functions through @va_list@ objects, but the programmer is responsible for managing the number of arguments and their types, so the mechanism is not type-safe.
+C provides variadic functions through @va_list@ objects, but the programmer is responsible for managing the number of arguments and their types.
 KW-C~\cite{Buhr94a}, a predecessor of \CFA, introduced tuples to C as an extension of the C syntax, taking much of its inspiration from SETL.
 The main contributions of that work were adding MRVF, tuple mass and multiple assignment, and record-field access.