[survirtual]

I always thought it would be neat to have a system that takes math symbols / formulas / functions etc in the notation of a mathematician, and automatically generates highly performant implementations — sort of like Taichi but instead of using python, you just use mathematics.

Seems to me all the tools are available to accomplish this effectively now days.

Good luck on your project, in any case.

[practal]

Thank you!

Yes, a large part of programming will be just a special case of doing mathematics.