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 archivesActive forum topics |
Recent comments
12 min 19 sec ago
2 hours 19 min ago
6 hours 31 min ago
19 hours 4 min ago
19 hours 7 min ago
19 hours 35 min ago
1 day 2 hours ago
1 day 2 hours ago
1 day 3 hours ago
1 day 14 hours ago