archives

Specifying C++ Concepts

Gabriel 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...

By Ehud Lamm at 2006-02-19 20:36 | Software Engineering | 24 comments | other blogs | 25765 reads

Stroustrup: A Brief Look at C++0x

A quick overview of the next version of C++ (scheduled for 2009?).

The most interesting language feature is concepts (see previous item).

One of the fundamental goals is to support user-defined and built-in types equally well. This has been a goal of language design for oh so many years now, and we are not there yet. This is a point worth reflecting upon.

By Ehud Lamm at 2006-02-19 21:11 | General | 27 comments | other blogs | 21334 reads