On Tuesday, 25 November 2014 at 22:56:50 UTC, Ola Fosheim Grøstad
wrote:
I personally would take the monotonic optimizations and rather
have a separate bit-fidling type that provides a clean builtin
swiss-army-knife toolset that gives close to direct access to
the whole arsenal that the CPU instruction set provides (carry,
ROL/ROR, bitcounts etc).
I don't think there's such clear separation that can be expressed
in a type, it's more in used coding practices rather than type.
You can't change coding practice by introducing a new type.