tag:blogger.com,1999:blog-3787042741829369424.post4477293212844680651..comments2023-08-04T04:21:49.712-05:00Comments on Programming Techniques, Tools and Languages: Bjarne Stroustrup Expounds on Concepts and the Future of C++Anonymoushttp://www.blogger.com/profile/08741863956695752832noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-3787042741829369424.post-12396588159041495832009-08-08T13:05:38.521-05:002009-08-08T13:05:38.521-05:00I really enjoyed reading this interview, as well a...I really enjoyed reading this interview, as well as Bjarne's earlier article in DDJ, and Doug's post on www.cpp-next.com.<br /><br />In this interview, Bjarne talked about axioms. I can see the utility of axioms from a documentation perspective, but I don't quite understand from the example why they would need to be part of the language. With concepts, we can enhance the feature beyond simple documentation, e.g. by providing modular type checking for templates. What is the usefulness gained by adding axioms to the language?John Freemanhttps://www.blogger.com/profile/08394144592348311232noreply@blogger.com