Changeset f8a7fed for doc/theses

Timestamp:

Mar 27, 2021, 4:38:37 PM (3 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

1da7397

Parents:

3bd5ca7 (diff), 08e75215 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• doc/theses/andrew_beach_MMath/features.tex (modified) (1 diff)

doc/theses/andrew_beach_MMath/features.tex

@@ -147 +147 @@
 as a hidden field.
 
-\todo{Open/Closed types and how that affects the virtual design.}
+Up until this point the virtual system is a lot like ones found in object-
+orientated languages but this where they diverge. Objects encapsulate a
+single set of behaviours in each type, universally across the entire program,
+and indeed all programs that use that type definition. In this sense the
+types are ``closed" and cannot be altered.
+
+However in \CFA types do not encapsulate any behaviour. Traits are local and
+types can begin to statify a trait, stop satifying a trait or satify the same
+trait in a different way with each new definition. In this sense they are
+``open" as they can change at any time. This means it is implossible to pick
+a single set of functions that repersent the type.
+
+So we don't try to have a single value. The user can define virtual tables
+which are filled in at their declaration and given a name. Anywhere you can
+see that name you can use that virtual table; even if it is defined locally
+inside a function, although in that case you must respect its lifetime.
+
+An object of a virtual type is ``bound" to a virtual table instance which
+sets the virtual members for that object. The virtual members can be accessed
+through the object.
 
 While much of the virtual infrastructure is created, it is currently only used