On 9/3/16 7:38 PM, Tobias Müller wrote:
Andrei Alexandrescu <seewebsiteforem...@erdani.org> wrote:
On 9/3/16 7:08 PM, Tobias M wrote:
On Saturday, 3 September 2016 at 16:33:07 UTC, Andrei Alexandrescu wrote:
I see. This is a matter orthogonal to DbI - introspection should be
able to figure out whether a member can be found, or a nonmember if
the design asks for it. I wouldn't like "tricking" DbI into thinking a
member is there when there isn't. -- Andrei
The problem I see with DbI is rather that the user of a function thinks
that an optional constraint is satisfied, while in reality it isn't, due
to a non-obvious lookup/visibility problem.
At some point there's a need to RTFM. -- Andrei
Is there one for DbI? (Sincere question)
Not yet. We have the allocators body of work, but that's too niche to
serve as a general example. I think std.experimental.checkedint will be
the canonical example on how to do DbI. I'll propose a blog post to
Mike. -- Andrei