> I'd love to see interfaces in general, especially for things like > iteration. If I implement a base interface for my type I'd like to be > able to assert that it is fully implemented.
Check out Traits.jl (is getting reasonably stable, although I haven't updated it to post #10380 Julia).
