source: doc/theses/andrew_beach_MMath/conclusion.tex @ 6c2dc00

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

In the previous chapters this thesis presents the design and implementation of
\CFA's 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, like conditional catch, default handlers, implicitly changing resumption
into termination in the resumption default handler, and cancellation through
coroutines and threads back to program main.

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 implementation has been tested through a set of small but interesting micro-benchmarks
and compared to other implementations.
The results, while not cutting edge, are good enough for prototyping, which
is \CFA's current stage of development.

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