Rafael Schouten

Sure, I guessed as much. But: how do we get the `NamedTuple` keys into the macro as an expression. We cant inspect a variable in a macro and we cant...

I'm back to thinking that the vector makes things easier, after implementing `test_objects(

One caveat here I havent really thought through is that any kind of inheritance necessitates that _tests of all inherited interfaces accept the same objects_ Mostly I think that will...

No worries!

These are great, thanks. We can probably finish them up in a readme PR where anyone can suggest edits and additional points?

4. There should be (semi)automated testing to prove that an interface is implemented for a specific type, strongly coupled to the interface definition.

5. An interface should provide low/no overhead traits so that it can be checked if it is implemented for a type

6. An interface may also specify which types to inherit from (Maybe this should be 2)

7. An interface may specify the types (and values??) a method must accept and return

4. I guess its hard to be more specific because there are various ideas floating around, and annoying constraints on optimal designs. I was trying to capture that the interface...