@LouisDionne What do you think of evolving future C++ syntax and semantics so that types literally are values, templates are constexpr functions returning types, and there’s a uniform syntax for both? In other words, extend Hana’s type-value bijection into an equivalence.
-
-
The problem with breaking changes is that some users of C++ can't update their sources automatically, or doing so is costly (e.g. they have to go through a validation process). This is one of the reasons why we are very careful about backwards compatibility of all kinds in C++.
-
However, like I said, we are working on additive changes that will allow doing all of Hana's type-level computations (the MPL subset) within constexpr, using normal C++ syntax. Re: the Fusion subset, I think it can be implemented efficiently on top of the type-level subset.
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.