ok at last i think i am getting somewhere useful: i have used abstract interpretation at the type level to persuade rust to automatically track which parts of a complex number are known to be zero at compile time, and can therefore be eliminated at run time
4
1
7
I think this is a case where Rust can do something C++ can’t? because C++ does not have zero sized types - but I know 0 about template metaprogramming
3
1
(1) learn more rust (2) learn some geometric algebra (3) draw pictures (i typoed "egometric" which i think is my fingers trolling me)
1