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
1 week 3 days ago
1 week 3 days ago
4 weeks 1 day ago
8 weeks 5 days ago
8 weeks 5 days ago
9 weeks 1 day ago
9 weeks 1 day ago
12 weeks 11 hours ago
12 weeks 5 days ago
12 weeks 6 days ago