Next: , Previous: , Up: Top   [Contents][Index]

10 Interface types

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).