Changeset 8a5aeac

Timestamp:

Aug 18, 2025, 8:48:30 AM (4 weeks ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

7ea4073

Parents:

a43b743

Message:

more proofreading of conclusion

File:

• doc/theses/mike_brooks_MMath/conclusion.tex (modified) (3 diffs)

doc/theses/mike_brooks_MMath/conclusion.tex

@@ -5 +5 @@
 Since some subset of these three containers are used in almost every program in every programming language, this is a laudable goal.
 Accomplishing this goal in C is difficult because these features are poorly designed.
-By extending C into \CFA, it is possible to augment the programming language to provide better support and significant safety.
-The result is code that is easier to write, maintain, safer from hacker attach-vectors.
+In contrast, \CFA's advanced type system and language features plus my critical design choices made it possible to provide better support with significant safety.
+The result is application code that is easier to write, understand, maintain, and safer from hacker attach-vectors.
 
 \section{Lists}
@@ -14 +14 @@
 \section{Arrays}
 
-The key takeaway for arrays is that the type system must be extended to properly manage array bounds (dimension) to safely pass arrays to (polymorphic) functions.
+The key takeaway for arrays is that the type system must be extended to properly manage array bounds (dimensions) to safely pass arrays to (polymorphic) functions.
 By adding a special kind of template constant to \CFA, @[N]@, the type system understands array bounds and implicitly associates these bounds with array instances, statically and dynamically, throughout the programming language.
 Array overruns are no longer possible because all subscripting is checked, as in other modern languages.
 Subscript checking can be implicitly elided when the compiler is given sufficient information to determine the subscript variable is always in bounds, giving performant execution.
 
-The ability to slice a higher-dimensional array into subarrays is also a powerful and safety critical feature.
+Safe, complex VLA's is another important feature because it replaces unsafe explicit dynamic allocation.
+As well, VLA's reduce heap contention in concurrent programs.
+
+Finally, the ability to slice a higher-dimensional array into subarrays is also a powerful and safety critical feature.
 
 
@@ -28 +31 @@
 This work designs an expressive set of safe string operations for composing, comparing, and decomposing arbitrary length strings, include complex reading and printing operations.
 
+Creating bespoke storage management for strings has the advantage of faster, more compact storage management due to string sharing, at the cost of additional external fragmentation between the string and general heaps.
+With the large amounts of available memory, this approach is a viable tradeoff.
+
+
 
 \section{Future Work}
 
-All three forms of containers presented in this work are in their nascence both in design and implementation.
-This work provides the foundation for future students to add more functionality and provide more robust and performant implementations.
+All three forms of containers presented in this work are in their nascence, both in design and implementation.
+This work provides the foundation for future \CFA students to add more functionality along with robust and performant implementations.