Related, I have come up with a relatively straight...
# development
h
Related, I have come up with a relatively straightforward scheme for dynamic dispatch with call-by-name (aka “unions”). See here for example. Please comment there!
Actually, maybe hold off on reviewing or commenting until I kick the tires some more, and until I figure out the type annotations...
Hmm, yeah, so it’s a bit more complicated than that. In some non-trivial cases it may require some annoying refactoring to have the rule and the union class live in the same module (which would be necessary since they would depend on each other).
You can see an example of the kind of preliminary refactoring here: https://github.com/pantsbuild/pants/pull/22327