Re: [boost] Re: compile time member detection

From: Brian McNamara (lorgon_at_[hidden])
Date: 2003-11-14 12:05:15

On Fri, Nov 14, 2003 at 11:54:40AM -0500, Brian McNamara wrote:
> On Fri, Nov 14, 2003 at 08:15:03AM -0800, Mat Marcus wrote:
> > structural conformance? How do things work in practice in Haskell?
> 
>   (2) All conformance must be declared.  Everything, even stuff like 
>       "int" is a "EqualityComparable" and a "LessThanComparable".  It 
>       is not as bad at it sounds.

To be clear: _in_Haskell_ it's not as bad as it sounds.  As Dave has
recently pointed out, it's more painful to "say the same thing" in C++,
since there are no language mechanisms designed to help us say it.

-- 
-Brian McNamara (lorgon_at_[hidden])