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
Since Concepts Lite provides native support of type traits and enable_if
it can use to try an improve overloading. Of course, this has the
of preventing specializations on the type traits(or `concept bool` as they
called in the proposal). However, conditional overloading is a very simple
to solve the overloading problem, and doesn't prevent specializations.
Also, with Concepts Lite you would still use an equivalent enable_if, it
just either be a `requires` clause or replacing the template or type
-- 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.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk