A very perverted approach is used with C++ templates.
One of the first versions also implements the example from my article:
http://mi.mathnet.ru/eng/at14798
http://mi.mathnet.ru/eng/at/y2017/i5/p36
In the future, integration with computer algebra systems is planned.