Individually, many proposals make sense. Together they are insanity to the point of endangering the future of C++. - Bjarne Stroustrup, 2018.pic.twitter.com/53jehdZfQi
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
Genuine abstractions define not just operations but expectations of logical properties of those operations. Haskell efforts to abstract rings, fields, vector spaces, and monads are examples of reasonable abstractions that interplay well with generic libraries.
Principia Mathematica takes nearly a thousand pages to prove that 1+1==2. I believe formal logic like that is useful, but intrinsically verbose. I don’t believe it’s always necessary, especially if you don’t understad the payoffs and tradeoffs in your project.
It doesn't break anything. A boolean<B> must have short-circuit evaluation on && and ||. Also it's not abstracting bool, it's implicitly abstracting types that behave like a boolean w/o need for a conversion. Very useful for libraries, not for applications.
How can it short circuit evaluation on a&&b when both are values?
I think it does short circuit, it’s convertible to bool in those contexts.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.