Wiki
Version 10 (modified by Charles, 12 years ago)

--

Mixins

Introduction

To be done. In the mean time, see the  discussion thread.

Compared to Extensions

  • Extensions enable adding methods to existing classes whereas mixins only augment types that you declare.
  • Mixins can add state (object variables declared with var) whereas extensions cannot.
  • Mixins can add properties whereas extensions cannot.
  • Mixin members will be found at run-time via reflection whereas extension members will not.
  • Mixins create new types. From a VirtualMachine perspective, they are seen as interfaces (since the popular VMs don't support mixins).
  • Mixins cannot be used from a binary library. The source must be included for the compiler.

In summary, mixins are more about multiple inheritance among the types you are declaring. Extensions are about adding convenience methods to existing types (regardless of who declared them).

Restrictions

As we gain more experience with using mixins, and as the implementation of mixins matures, some of the following restrictions are likely to be removed:

  • Mixins cannot declare initializers.
  • Mixins cannot inherit from other types.
  • Mixins cannot implement interfaces.
  • Mixins cannot add other mixins.
  • Mixins cannot declare generic parameters (see  forum's thread) nor being generic themselves (see  forum's thread).
  • Mixins cannot add invariants.
  • Two or more mixins added to a single type cannot have collision in their member names.

See also