Changeset acab1bd for doc/theses/jiada_liang_MMath/conclusion.tex

Timestamp:

Aug 8, 2024, 11:19:51 PM (10 hours ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

f125e96

Parents:

7568e5c

Message:

rephrase enum initialization

File:

• doc/theses/jiada_liang_MMath/conclusion.tex (modified) (2 diffs)

doc/theses/jiada_liang_MMath/conclusion.tex

@@ -31 +31 @@
 It should be possible to have this file included implicitly by updating the \CFA prelude.
 \item
-There are multiple \CFA features being developed i parallel with enumerations.
+There are multiple \CFA features being developed in parallel with enumerations.
 Two closely related features are iterator and namespace.
 Enumerations may have to be modified to dovetail with these features.
@@ -50 +50 @@
 enum( wchar_t * ) { Jack = L"John" };
 \end{cfa}
-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:
+\item
+Currently enumeration scoping is all or nothing. In some cases, it might be useful to
+increase the scoping granularity to individual enumerators.
 \begin{cfa}
 enum E1 { @!@A, @^@B, C };