The interfaces are a mechanism to verify, at expand–time, that instances of an object–type can be used in a generic expression, because they implement all the needed methods and such methods can be called at run–time through dynamic dispatching.
Interfaces are implemented half in the boot image and half in the
library (vicare language-extensions interfaces).
| • interfaces intro: | Introduction to interfaces. | |
| • interfaces defs: | Defining interfaces. | |
| • interfaces descr: | Interfaces type descriptors. | |
| • interfaces examples: | Interfaces by examples. |