Re: on allowing "int a" definition everywhere

On Mon, 2 Sep 2024 10:53:33 +0100, Bart wrote:

On 02/09/2024 04:32, Lawrence D'Oliveiro wrote:

On Tue, 27 Aug 2024 19:59:13 +0100, Bart wrote:
 

     void draw_line(f32 x, y, x2, y2; u32 colour) {
>
- Allow shared types in parameter lists ...

 
A bit easier if you flip it around and use Pascal-style syntax:
 
     procedure draw_line(x, y, x2, y2 : f32; colour : u32)
 
See how much more natural that is?

 
It becomes a bit less natural when you want to initialise a variable at
the same time, or want define a default value for a parameter.
 
Pascal didn't allow either of those.

Ada does, with a very natural extension of the same syntax. Even allows
passing arguments by keyword, too.

Note that even C++ has now had to allow function return types to be
specified at the end of the prototype instead of up front, because type
interdependencies don’t work very well otherwise.