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
pictures! yay
Dec 4, 2020 Β· 3:43 PM UTC


