Changeset 21f4dff for doc/theses/jiada_liang_MMath

Timestamp:

Jul 30, 2024, 11:44:16 PM (4 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

6740533e

Parents:

9476549

Message:

Add motivation for trait

Location:

doc/theses/jiada_liang_MMath

Files:

• background.tex (modified) (1 diff)
• trait.tex (modified) (1 diff)

doc/theses/jiada_liang_MMath/background.tex

@@ -371 +371 @@
 Calling on type with no mathcing @foo()@ implemented, such as int, causes a compile time type assertion error. 
 
+\subsection{trait}
 A @forall@ clause can asserts on multiple types and with multiple asserting functions. A common practice in \CFA is to group
-the asserting functions in to a named @trait@ . 
+the asserting functions in to a named \newterm{trait}. 
 
 \begin{cfa}

doc/theses/jiada_liang_MMath/trait.tex

@@ -2 +2 @@
 \label{c:trait}
 
+% Despite parametric polymorphism being a pivotal feature of \CFA, for a long time, there was not 
+% a technique to write functions being polymorphic over enumerated types. 
+\CC introduced @std::is_enum@ trait on \CC{11} and @concepts@ on \CC{20}; with the combination, users can 
+write function polymorphic over enumerated type in \CC:
+\begin{cfa}
+#include <type_traits>
+
+template<typename T>
+@concept Enumerable = std::is_enum<T>::value;@
+
+template<@Enumerable@ T>
+void f(T) {}
+\end{cfa}
+The @std::is_enum@ and other \CC @traits@ are a compile-time interfaces to query type information. 
+While named the same as @trait@, it is orthogonal to \CFA trait, as the latter being defined as 
+a collection of assertion to be satisfied by a polymorphic type.
+
+\CFA provides @CfaEnum@ and @TypedEnum@ traits to supports polymorphic functions for \CFA enumeration:
+\begin{cfa}
+forall(T | @CfaEnum(T)@)
+void f(T) {}
+\end{cfa}
+
 \section{CfaEnum and TypedEnum}
-
 \CFA defines attribute functions @label()@ and @posn()@ for all \CFA enumerations, 
 and therefore \CFA enumerations fulfills the type assertions with the combination.