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

Last change on this file since d8f8d08 was d8f8d08, checked in by Andrew Beach <ajbeach@…>, 3 years ago

Merge branch 'master' into 'andrew-mmath', collecting Peter's updates.

  • Property mode set to 100644
File size: 1.3 KB
3% Just a little knot to tie the paper together.
5In the previous chapters this thesis presents the design and implementation of
6\CFA's EHM.  Both the design and implementation are based off of tools and
7techniques developed for other programming languages but they were adapted to
8better fit \CFA's feature set and add a few features that do not exist in other
9EHMs, like conditional catch, default handlers, implicitly changing resumption
10into termination in the resumption default handler, and cancellation through
11coroutines and threads back to program main.
13The resulting features cover all of the major use cases of the most popular
14termination EHMs of today, along with reintroducing resumption exceptions and
15creating some new features that fit with \CFA's larger programming patterns,
16such as virtuals independent of traditional objects.
18The implementation has been tested through a set of small but interesting micro-benchmarks
19and compared to other implementations.
20The results, while not cutting edge, are good enough for prototyping, which
21is \CFA's current stage of development.
23This initial EHM is a valuable new feature for \CFA in its own right but also serves
24as a tool and motivation for other developments in the language.
Note: See TracBrowser for help on using the repository browser.