source: doc/theses/jiada_liang_MMath/conclusion.tex @ 6740533e

Last change on this file since 6740533e was fcf3493, checked in by JiadaL <j82liang@…>, 3 days ago

update on thesis

  • Property mode set to 100644
File size: 1.3 KB
Line 
1\chapter{Conclusion}
2\label{c:conclusion}
3
4The goal of this thesis is to adapt enumeration in \CFA to be aligned with the analogous features in
5other languages while being backward-compatiable to C.
6The presented features are based off on tools and techniques that widely used in
7other languages but they were adapted to better fix \CFA's feature set. Additionally, the thesis provides
8an improvement on safety and productivity of C enumeration, including enumerator overloading,
9name scoping and type checking.
10
11To further explores the potential of enumerated types, this thesis presents a new \CFA enumeration
12that is independent on C enumeration. The \CFA enumeration aims to solve the data harmonization problem
13and have natural support to \CFA generic type, along with some new features that fit with \CFA's
14programming pattern, such as enumerator conctrol structures.
15
16The \CFA project's test suite has been expanded to test the enumerations with respect to its
17implicit conversions, inheritance, interaction with the polymorphic types, and the features
18built on top of enumeration traits.
19
20The enumerated type is an attempt to adapt classic data types into \CFA unique type system. It brings
21valuable new feature to \CFA in its own right, but also serve as a motivation to adapt other data types
22in \CFA.
23
24% \section{Future Work}
25
Note: See TracBrowser for help on using the repository browser.