Re: [boost] [GSoC] [Boost.Hana] Formal review request

Subject: Re: [boost] [GSoC] [Boost.Hana] Formal review request
From: pfultz2 (pfultz2_at_[hidden])
Date: 2014-08-01 07:08:21

> FYI Concepts Lite isn't purely a type constraint system. It can also
> be used to type specialise in a much more general way than partial
> type specialisation and eliminate a great many std::enable_if<> or
> equivalents. 

Since Concepts Lite provides native support of type traits and enable_if
which
it can use to try an improve overloading. Of course, this has the
disadvantage
of preventing specializations on the type traits(or `concept bool` as they
are
called in the proposal). However, conditional overloading is a very simple
way
to solve the overloading problem, and doesn't prevent specializations.

Also, with Concepts Lite you would still use an equivalent enable_if, it
will
just either be a `requires` clause or replacing the template or type
parameter.

--
View this message in context: http://boost.2283326.n4.nabble.com/Re-GSoC-Boost-Hana-Formal-review-request-tp4665622p4665914.html
Sent from the Boost - Dev mailing list archive at Nabble.com.