C++1y: "Concepts-Lite" - how a future template parameter type system might look like
The standardization of C++0x lead to the drop of the language feature called "concepts" due to the complexity of its specification and implementation. Now the protagonists of a type system for template parameters propose a new approach to get constraints on template parameters into the language standard. This will allow earlier template argument checking with better error messages. The talk will present the current discussion and proposed language features and thus will give an outlook on future C++ standard for concepts.
"Concepts-Lite" will allow to specify constraints for typename template parameters. Violating these constraints will allow better compiler error messages on template instantiation.
If possible, concrete code examples will be demonstrated with a prototypical "concepts-lite" compiler implementation.
Speaker: Peter Sommerlad