here are some attempts to do this in C++, http://www.stroustrup.com/OOPSLA-typeswitch-draft.pdf http://www.stroustrup.com/OOPSLA-typeswitch-draft.pdf seems th

here are some attempts to do this in C++, http://www.stroustrup.com/OOPSLA-typeswitch-draft.pdf http://www.stroustrup.com/OOPSLA-typeswitch-draft.pdf seems there are no good solutions.