[One of the authors here] Type++ analyzes all application code and infers which classes are ever cast. All of those classes are adapted to include type informa

[One of the authors here] Type++ analyzes all application code and infers which classes are ever cast. All of those classes are adapted to include type information (in the form of an RTTI field). All casts are then changed into explicit casts. As a dialect, some light changes are necessary and we evaluate the amount of code changes --- which are usually small. This gives us type safety for even large programs as evaluated. A short blog is available here: https://nebelwelt.net/blog/2025/0226-typepp.html https://nebelwelt.net/blog/2025/0226-typepp.html