C++ Logo

liaison

Advanced search

Re: [wg14/wg21 liaison] P2961R1 syntax for Contracts: viable for C?

From: Jens Gustedt <jens.gustedt_at_[hidden]>
Date: Fri, 06 Oct 2023 10:54:01 +0200
Am 6. Oktober 2023 10:39:23 MESZ schrieb Ville Voutilainen <ville.voutilainen_at_[hidden]>:
> On Fri, 6 Oct 2023 at 11:30, Jens Gustedt via Liaison
> <liaison_at_[hidden]> wrote:
> >
> > Hi,
> > anything of the form
> >
> > identifier ( ballanced-token-sequence )
> >
> > would in principle be good for C, because it can be handled with a macro.
> >
> > For the identifiers, I think that keywording three or four letter codes is really a bad idea.
>
> "pre" and "post" are not keywords, they are grammatic parts of a
> function declaration.

well, well, whatever you like to call an identifier that has a fixed rĂ´le in the syntax, I think you understood me very well

> > This should be "precondition" or similar. People that argue that this is too long, should review the capacities of their IDE.
>
> Why?

because this also speaks to people who discover this on the fly. I know that there is a tendency to use obfuscation in our communities to show off, but we could perhaps keep it on a level that is quickly Comprensible ton people coming from other languages, for example.


-- 
Jens Gustedt - INRIA & ICube, Strasbourg, France 

Received on 2023-10-06 08:54:05