News for hackers. Stuff that matters.

A comment on Abstraction without overhead: traits in Rust. Parent comment

Re:Abstraction without overhead: traits in Rust by eli_gottlieb on Monday May 11, 2015 @10:07PM (#9529165)
I think he means that, through templates, the C++ type system is Turing-complete.
[ Parent | on HN ]
Re:Abstraction without overhead: traits in Rust by steveklabnik on Monday May 11, 2015 @10:34PM (#9529246)
Rust's is too.
[ Parent | on HN ]
Re:Abstraction without overhead: traits in Rust by kibwen on Monday May 11, 2015 @11:45PM (#9529488)
Though the skimpy recursion limit makes it fairly impossible to do anything interesting with this property, much to the chagrin of some people. :P
[ Parent | on HN ]