5 Aug
2014
5 Aug
'14
8:30 a.m.
2014-08-05 6:33 GMT+02:00 Michael Shepanski
On 5/08/2014 1:39 AM, Roland Bock wrote:
On 2014-08-04 13:32, Mostafa wrote:
Concepts are sets of types
I think you are mistaken. A concept is a set of requirements,
I am under a New Year's resolution not to start philosophical arguments, but this one has already begun, so ...
Please don't forget, that not all requirements can be checked at compile
time. For example: TotallyOrdered. Just by checking, that an expression
(a