Embedding Interfaces

[ghost]

import iface

iface A:
  proc a(): string

iface B:
  proc b(): string

iface AB:
  (A, B)

iface ABC:
  AB
  proc c(): string

That's how inheritance of interfaces is done in go, maybe it can be implemented here, too.

[gemath]

Since ifaces are basically dynamic concepts (even more so with @Araq's upcoming new-style concepts), this should be done with of:

import iface

iface A:
  proc a(): string

iface B:
  proc b(): string

iface AB of A, B:

iface ABC of AB:
  proc c(): string