After further reflection (and a lot of experimentation) on Rust’s trait system I believe its logic ends up being very similar to that made possible by Scala’s Path Dependent Types, and that there are enough similarities that it would be worth reviewing http://lampwww.epfl.ch/~amin/dot/fpdt.pdf as some very relevant prior art.
1 Like