source: doc/theses/andrew_beach_MMath/conclusion.tex @ 94643698

\chapter{Conclusion}
\label{c:conclusion}
% Just a little knot to tie the paper together.

In the previous chapters, this thesis presents the design and implementation
of \CFA's exception handling mechanism (EHM).
Both the design and implementation are based off of tools and
techniques developed for other programming languages but they were adapted to
better fit \CFA's feature set and add a few features that do not exist in
other EHMs,
including conditional matching, default handlers for unhandled exceptions
and cancellation though coroutines and threads back to the program main stack.

The resulting features cover all of the major use cases of the most popular
termination EHMs of today, along with reintroducing resumption exceptions and
creating some new features that fit with \CFA's larger programming patterns,
such as virtuals independent of traditional objects.

The \CFA project's test suite has been expanded to test the EHM.
The implementation's performance has also been
compared to other implementations with a small set of targeted
micro-benchmarks.
The results, while not cutting edge, are good enough for prototyping, which
is \CFA's current stage of development.

This initial EHM will bring valuable new features to \CFA in its own right
but also serves as a tool and motivation for other developments in the
language.