Unfortunately, my EiffelStudio installation is messed up. While I try to get it working again
I would like to share some doubts that I have about Eiffel's constrained genericity
and also about Stroustrup Concept mechanism for C++.
The first thing is about constrained genericity and catcall problem.
If I'm right, constrained genericity requires inheritance. In this case, a class can
only be used as an actual type if it inherits from the classes defined
in the constraints list in the definition of the respective generic class.
But that introduces the catcall problem. Inheritance seems to not be a good design.
So I wonder if the solution to this problem should be something in the lines of Stroustrup Concept
framework.
In other words, types should be detached from general properties like being comparable, for example.
The compiler would do type checking properly.
Maybe I can write a Blog article about it as I gain a better understanding of these issues.
regards
Williams