They're much weaker than annotations and attributes. You can amend the type system with annotations (e.g. nullability detection, as well as compile time validat

They're much weaker than annotations and attributes. You can amend the type system with annotations (e.g. nullability detection, as well as compile time validation - check out micronaut to see an example of what they're doing with annotations).