2 ms·
Mark my words. In 10 years, there will be no more adoption of annotations than there is today. If you can't get anybody to use something, it's a non-starter. I
by lawnchair_larry 10y ago
Mark my words. In 10 years, there will be no more adoption of annotations than there is today.
If you can't get anybody to use something, it's a non-starter. It doesn't matter why. It just hasn't happened and it wont happen.
- pron 10y agoYou could have said the same about unit tests 20 years ago. The annotations themselves are immaterial; the point is the use of formal methods. Formal methods requires some assistance. Whether you write those as annotations in the code or in a separate file is an implementation detail.