Findecanor I re-watched this talk, and there was one thing that was not answered: 1. How would a "break" ("leave" instruction?) out of a nested loop look like in Mill code?, and: 2. How would a Python-style for-break-else be done in Mill code? In C/C++, either would be written using a "goto". I think the two above are the most common uses of "goto" and therefore more often permitted in coding standards than any other use. Java has labelled loops, where you would "break <label>" to break out of a nested loop. You could also do (2) in Java with nested loops blocks where the outer loop has only one iteration.
Wolke In case you haven't found this yet: Intel proposes a Software Pipeling mechanism very similar to the one described here for its AVX512 extension (AVX512 SPL)
NXTangl So, Rust? I mean, I think traits are a little less powerful than full typeclasses with all the bells and whistles enabled, but they're pretty good for most work. Shame that the Rust guys decided to keep the angle-bracket syntax, though.