Comment by andyferris

Oh and Zig is another option for allowing injections that are checked when used at a call site rather than predefined through interfaces.

AFAIK it doesn’t have closures (it’s too C-like) so you need to use methods for all your (implicit) interfaces, but that’s okay…

I think the “exemplars” could be automatically yoinked from documentation and tests and existing usage of the function in the code base. Work needs to be done on the IDE front to make this accessible to the user.