Pattern matching might be similar to this: http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n3449.pdf http://www.open-std.org/jtc1/sc22/wg21/docs/papers/

Pattern matching might be similar to this: http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n3449.pdf http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n344... Source code (implemented with a lot of help from C macros): https://github.com/snaewe/typeswitch https://github.com/snaewe/typeswitch