30 Apr
2007
30 Apr
'07
6:34 p.m.
Daniel Walker wrote:
Out of curiosity, what are || concepts? I haven't heard of them before. Google gave me nothing.
IIUC, given a pair of concepts A || B, your type must match exactly one of those concepts, and not both. The xor nature of the proposal fooled me, as I naturally thought it would apply to something being 'copyable or moveable' but I don't think it worked out that way. This is at the obscure end of my understanding of Concepts though - so I might well be making silly errors in this summary. -- AlisdairM