search

AdaCore / ada-spark-rfcs

Platform to submit RFCs for the Ada & SPARK languages
63 stars 28 forks source link

Python-like syntax with Style pragma #58

Open jquorning opened 4 years ago

jquorning commented 4 years ago

See #54 #55 #56 #57

The style could be enforced by:

pragma Style (Source, Original) pragma Style (Source, Lightweight)

raph-amiard commented 3 years ago

Hello @jquorning. The body is still empty, also just by the description, and as for #54 and others, this looks out of scope for us.

Kind regards,

ethindp commented 2 years ago

I very much oppose this kind of change. For one, it would majorly impact the language to an extreme degree. It violates one of the tenants of Ada -- readability -- and that's something I'd like to stay far, far away from Ada. I also don't think it somehow makes Ada "easier to learn" either, and I don't see anything beneficial coming from this. Its much, much clearer if we don't do implicit ends, semicolons, etc. We already have style verification for indentation. Adding this would also majorly complicate writing a parser for Ada in the future -- or even maintaining one that already exists. So, in sum, I agree with @raph-amiard with the fact that this is way out of scope for a language llike Ada. But there is also absolutely no benefit to adding this -- its entirely inappropriate for Ada.