Modeling Typeclasses in C ++

Question

Is it possible to implement cool Haskell classes in C ++? If so, how?

Answer 1

Here are some articles about this that may be useful as background reading:

• C ++ patterns / features against classes like Haskell , Sunil Kothari, Martin Sulzmann
• A Comparative Study of Language Support for General Programming , Ronald Garcia, Jaakko Järvi, Andrew Lemsdane, Jeremy Siek, Jeremy Willcock

Answer 2

A similar mechanism in C ++ is called "concepts." The idea is to define a class defining requirements of any type belonging to this class. C ++ iterators make extensive use of concepts, and C ++ 0x was intended to support direct syntax for them (rather than indirect template tricks to perform the conceptual checks that C ++ currently uses), but it looks like this support has been removed from standard.