@Qqwy - You mention that TypeCheck complements some compile-time checks. I know that @ityonemo is just at the outset of work on Selectrix, but is it accurate that these two projects could also possibly complement each other whereby Typecheck provides runtime checks via macro and also generates typespecs for which Selectrix uses for compile time checks?
I’m already getting great value out of TypeCheck and Selectrix sounds interesting. Is there any opportunity for collaboration between the projects or is that mostly unnecessary or detrimental to each? My hope is that these sorts of concepts end up in core one way or another.
