Changeset 21f4dff for doc/theses/jiada_liang_MMath/trait.tex

Timestamp:

Jul 30, 2024, 11:44:16 PM (2 days ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

6740533e

Parents:

9476549

Message:

Add motivation for trait

File:

• doc/theses/jiada_liang_MMath/trait.tex (modified) (1 diff)

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.