Changeset 7568e5c for doc/theses/jiada_liang_MMath/conclusion.tex

Timestamp:

Aug 8, 2024, 10:39:40 PM (13 hours ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

acab1bd

Parents:

c1c0efdb

Message:

Minor update on the thesis (add auto initialization and update future work

File:

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

doc/theses/jiada_liang_MMath/conclusion.tex

@@ -50 +50 @@
 enum( wchar_t * ) { Jack = L"John" };
 \end{cfa}
-\item
-Currently enumeration scoping is all or nothing.
-In some cases, it might be useful to increase the scoping granularity to individual enumerators.
+There are several new features have been proposed or are developing in parallel with enumerations.
+Two closely related features are iterator and namespace.
+
+Enumerating features, and range loops in particular, are currently implemented as loops unique to \CFA enumeration and do not align with the 
+general iterator pattern. They can be adapted to the iterator interface when it comes to maturity.
+
+Currently, \CFA implements a namespace feature for enumerated types only. There is recently a proposal by Andrew to 
+generalize the concept of namespace to other types. The enumeration scope will be revisited to follow the same semantics 
+as other types. Also to improve the granularity of scope control, we propose the following extension:
 \begin{cfa}
 enum E1 { @!@A, @^@B, C };