为什么 Ada 语言使用分号 `;` 来分隔子程序声明中的参数？

Question

码友们..

我只是一个新手，并尝试在他们特定的设计环境中练习一些编程范例。 最近在Ada Language Procedural Programming中学到了很多新的小东西，学习体验非常好。 但是，对于为什么 Ada 使用分号，我无法自己找到答案; 分隔子程序声明中的参数。

-- subprogram declaration - - - - - - - - -

procedure Initialize_Some_Things
   ( Result : out Integer
   ; Asset : in Integer
   ; Option: in Integer ) is
begin
   null;
end Create_Some_Things;

-- invoking subprogram - - - - - - - - -

Instance : Integer := 0;
Initialize_Some_Things (Instance, 9, 5);

对于任何来自任何其他编程语言的人来说，在子程序声明中使用分号分隔参数显然是很奇怪的。 更奇怪的是，子程序的调用需要使用逗号,而不是分号; 就像在声明中一样。 我已经搜索了一段时间的相关问题，但在 Google 上什么也找不到。 是否有提交请求对语言的标准规范进行这种细微更改的请求？

谢谢你的帮助..

我在谷歌上没有发现相关问题。 我希望我能在这里找到。

Answer 1

您在列表中用逗号分隔参数，但用分号分隔列表； 不同的符号有助于捕获错误。

在您的测试用例中，每个条目都是参数列表，而不是参数。 您选择制作三个列表，每个列表都有一个项目，但您可以将其中两个列表合并为一个，并使用逗号。

Asset, Option: In Integer

这主要是一个风格问题，以帮助清晰。

如果资产和期权是非常不同的东西，不同的列表有助于澄清区别。 如果它们类似于笛卡尔坐标中的X,Y,Z ，我会将它们合并到一个列表中。

是的，编程语言如此强调编写清晰的代码可能很奇怪。

另一个例子：通常认为用命名关联调用这个子程序是更好的做法

Initialize_Some_Things (Result => Instance, 
                        Asset  => 9,
                        Option => 5);

如果您曾经度过一个快乐的下午来追查一个最终证明是几个参数顺序错误的错误，您可能会发现这种 Ada 风格令人失望地平淡无奇。