search

AdaCore / ada-spark-rfcs

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

[RFC] finally for handled_sequence_of_statements #105

Open raph-amiard opened 1 year ago

raph-amiard commented 1 year ago

Link to text: https://github.com/AdaCore/ada-spark-rfcs/blob/topic/rfc-finally/considered/rfc-finally.md

Glacia commented 1 year ago

Most languages with exceptions (Java, C#, C++, Python, ...) have a finally block.

C++ doesn't have Finally.

raph-amiard commented 1 year ago

Drat, I stumbled upon the one feature C++ doesn't have! :innocent: More seriously, thanks @Glacia, I'll amend the RFC.

filip-gajowniczek-adacore commented 9 months ago

For consistency with the other keywords I would recommend the keyword should be either a noun (to match exception block naming) or a verb (to match the begin...end pair of a block).

Since conceptually this seems like a generalization of Finalization, perhaps the keyword "finalize" could make sense.

sttaft commented 9 months ago

On Thu, Nov 9, 2023 at 11:11 AM filip-gajowniczek-adacore < @.***> wrote:

For consistency with the other keywords I would recommend the keyword should be either a noun (to match exception block naming) or a verb (to match the begin...end pair of a block).

Since conceptually this seems like a generalization of Finalization, perhaps the keyword "finalize" could make sense.

The big problem with making "finalize" a keyword is that we know it is used already as the name of a procedure. Perhaps "finalise" ;-) Or "finale" which is a nice English noun derived from the French.

-Tuck

— Reply to this email directly, view it on GitHub https://github.com/AdaCore/ada-spark-rfcs/pull/105#issuecomment-1804126131, or unsubscribe https://github.com/notifications/unsubscribe-auth/AANZ4FJYKRFLIYLCFB4GRQDYDT6DFAVCNFSM6AAAAAA3STACVOVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTQMBUGEZDMMJTGE . You are receiving this because you are subscribed to this thread.Message ID: @.***>