3 ms·

Java annotations have always struck me as interesting since they fill the Lisp macros and C preprocessor niche for Java. It's another layer of complexity, but

Java annotations have always struck me as interesting since they fill the Lisp macros and C preprocessor niche for Java. It's another layer of complexity, but it extends the language to offer a bit more richness or layers of abstraction. I would not be surprised if a future C++ standard adds contracts officially. Boost seems to already have contracts: https://www.boost.org/doc/libs/1_67_0/libs/contract/doc/html/boost_contract/contract_programming_overview.html https://www.boost.org/doc/libs/1_67_0/libs/contract/doc/html...

pjmlp 7y ago
Yes, many aren't aware how much annotation processors and compiler plugins are capable of. On the .NET side you have Roslyn, Attributes, expression trees and on F# quotations. While they are all a bit cumbersome to use versus what Lisp macros allow for, they already allow for quite a lot. Yes, there is some hope that C++23 will bring them. The more languages support DbC the better, only so can we start seeing more widespread adoption across the industry.