-The author gives numerous other examples ranging from extracting the number of
-return groups in regular expression matching. Detecting the return type in
-database queries. precalculating numeric expressions and catch errors like
-divison by zero. Moreover the author proposes a set of macros that can
-elaborate on the length of a fixed size vector to remove the need for bounds
-checking and index errors. On said example we will show some of the
-implementation.
+The author gives numerous other examples:
+\begin{enumerate}
+ \item Pre-calculating numeric expressions into constants. This can be used
+ for example for catching division by zero errors.
+ \item Regular expressions also have a certain knowledge embedded in the
+ syntax. For example extracting groups is a property on which the macro
+ system can elaborate on for example the length of the return vector
+ that stores the expressions.
+ \item SQL queries have similar properties, the return type is completely
+ dependant on the structure of the SQL query and can often be inferred
+ and elaborated upon.
+ \item Vector out of bound errors are very common errors in programming. In
+ a lot of cases the length of a vector is known at compile time and such
+ errors can be detected by the macro system. Of this particular example
+ a, partial, implementation will be shown in the following section.
+\end{enumerate}