Continuing the idea mentioned here Pre-RFC: Runtime reflection
We really need a plugin system to be a valid contender in the area of "business applications".
I've tried to accomplish it with Any and TypeId relentlessly, it's simply not possible without support from the compiler.
I am aware of the performance and safety implications, however:
- this plugin system would have barely any effect on the performance because it would be used at one of the top levels of the architecture of the application using it
- it would be opt-in
What I need to achieve what I can achieve with, say, java modules (module-info.java):
- allow the users of my application to drop
.so
files in a directory - the plugins - i'm fine if the plugins cannot be loaded and have to be recompiled because of ABI issues
- ability to inspect what traits are implemented by the plugin, and call them, allowing the plugin to hook itself into the lifecycle of my application; the plugin still has to implement a trait "Plugin", so that I can establish initial communication with it
- the plugins can depend on each-other. TypeId is not enough here, as other plugins are in differend
.so
files; this is the dependency inversion mentioned in the other thread; yes, it must be ensured that the dependency graph doesn't have cycles; I'm fine with doing that at runtime and showing the user an error with where the cycle is
This would really make rust a good contender for business applications in which companies are willing to pour money and it would help the adoption of rust.
Not having this in rust is to me the biggest showstopper, because rust's type system is amazing.
Speaking of amazing, this is also the reason why a plugin system like described above cannot be hidden behind a C compatible ABI - it would mean giving up one of the main reasons why a company would choose rust in the first place.
If I have to give up traits and generics and all the good stuff, just to have plugins, then rust loses against, let's say java.
You might say "then rust is not the right language for your projects", well yes, currently it isn't.
The question could also be: why don't we want to make rust attractive for more companies who could pour in the money, thus driving rust's adoption forward?
Addendum
I really don't know what it would be best approach in terms of implementation. Probably not reflection, probably some rtti just for this use-case, I really don't know.
But I've been lurking around this community for some years already and I'm sure there are enough bright people who can figure it out, if it's set as a priority.
Also, the plugins don't have to be .so
files, they can be in any other format, including a new binary format.
PS: I'm one of those who votes on stackoverflow for "rust most loved", but doesn't say he uses rust professionally.