User loginNavigation |
Specifying C++ ConceptsGabriel Dos Reis and Bjarne Stroustrup. Specifying C++ Concepts. POPL06. January 2006. We discussed work on improving the C++ template facility before. The basic notion in this paper is concepts, a type system for templates, which will increase the expressiveness of template parameters, and improve compile time error messages. Separate compilation is also an important concern. I am happy to report that Ada is mentioned, which is a good sign. However, I think there's room for a more detailed discussion and comparison. Other LtU readers will be glad to see that Haskell mentioned as well... |
Browse archives
Active forum topics
|
Recent comments
15 weeks 2 days ago
19 weeks 4 days ago
21 weeks 2 days ago
21 weeks 2 days ago
23 weeks 6 days ago
28 weeks 4 days ago
28 weeks 4 days ago
29 weeks 8 hours ago
29 weeks 8 hours ago
31 weeks 6 days ago