c++-concepts

¿Cuáles son las diferencias entre los conceptos y las restricciones de plantilla?

Quiero saber cuáles son las diferencias semánticas entre la propuesta de conceptos completos de C++ y las restricciones de pl ... ts-lite para C++1y). ¿Qué son capaces de hacer los conceptos completos que las restricciones de plantilla no pueden hacer?

void t "puede implementar conceptos"?

Estaba viendo la segunda parte de La charla CppCon2014 de Walter Brown sobre metaprogramación de plantillas , durante la cual ... ; {}; Debido a la charla, entiendo cómo funciona este ejemplo, pero no veo cómo llegamos de aquí a algo como Concepts Lite.

¿Cómo compilo gcc con soporte para C++ concepts ("concepts lite")?

El comité de estándares de C++ está trabajando en una TS (Especificación Técnica) para la extensión de Conceptos: "Lenguajes ... ila. ¿Cómo compilo y uso una versión de los conceptos de soporte de gcc como se especifica en los [borradores] TS anteriores?

Comprobación de concepto simple

Digamos que tengo una plantilla simple como esta: template<typename T> class A {}; Y quiero especificar que el pará ... lacionado X<U> donde U no se conoce (o no se puede especificar). ¿Hay alguna manera de expresar eso como un concepto?

¿En qué se diferencian los conceptos de c++ de las clases de tipo Haskell?

Los conceptos para C++ de los Conceptos TS se han fusionado recientemente en GCC trunk. Los conceptos permiten restringir el ... Haskell tiene clases de tipo. No estoy tan familiarizado con Haskell. ¿Cómo se relacionan los conceptos y las clases de tipo?