不同的开始和结束定界符在语法上是否必要？

Question

在对智能引号和编程语言进行类比时，我突然想到，用于开始和结束分隔符的不同字符可能不是必需的，而只是可读性的选择。

例如，Ruby 的匿名函数中的参数使用相同的管道来打开和关闭。 Haskell 对空白的使用带有极端的偏见。

我并不是在问是否需要不同类型的分隔符（索引器的括号、块的大括号），而是问是否需要不同的左大括号和右大括号（例如 ( 和 )< /code>）在大多数语言中都是语法上必需的，或者只是设计者的偏好。

Answer 1

在语法上不是必需的，但如果打开和关闭分隔符相同，则很难（或不可能）嵌套事物。附件 A 是 POSIX shell，
where

var=`command`

被替换为

var=$(command)

正是因为具有相同开始和结束定界符的代码不会嵌套。

Answer 2

具有不同的分隔符允许嵌套。 Ruby 的块参数列表不支持嵌套，因此使用相同的分隔符是可以的。

Answer 3

在 C 和 C++ 中，裸大括号可以嵌套，并打开嵌套的词法范围：

{
    int a = 42;
    {
        int a = 24;
        {
            printf("%d\n", a); // prints 24
        }
    }
}

使用相同的定界符，这是不明确的：

|
int a = 42;
|
int a = 24;
| // Is this an open or close pipe?
printf("%d\n", a); // 24? 42?
| // could be a pair
| // of open+close
|

鉴于 C 语法规则的流行，可能有许多其他语言存在类似问题（perl 就是其中之一） 。

Answer 4

print |foo|bar||

可能意味着：

print (foo(bar))

或

print (foo)bar()

两者都是有效的 Haskell 并且具有不同的含义。但您问原则上是否可以调整语言以不要求这样做？

好吧，你可以做一件不可读的事情。不要通过并置来应用函数，而是为应用程序引入一个前缀、2 个参数运算符，称之为 *。那么：

foo (bar (baz quux)) bax

可以明确地写成：

* * foo * bar * baz quux bax

应用程序和单个常量符号足以编码组合器演算，所以，技术上，不，你根本不需要括号（图灵机也不需要括号） ）。

但你不能只是把所有的括号都去掉，然后让它明确地有意义。

Answer 5

Unlambda 是没有方括号、大括号等的语言的示例。它们被单个运算符 (反引号）代表“应用”。类似地，在 Haskell 中，您可以编写 a $ b c 而不是 a (bc)。因此有一些方法可以避免不同的分隔符。

Answer 6

从编写编译器的开发人员的角度来看，我认为使用分隔符更容易。我不确定您所说的“不同的分隔符”到底是什么意思，但从技术上讲，您可以使用您喜欢的任何内容作为您语言中的符号。只需在这里查看这种语言即可。只要看看当 if 语句有左大括号和右大括号时，解析它是多么容易：

if (true)
{
    doSomething();
    thenDoSomethingElse();
}

与：

if true
    doSomething
    thenDoSomethingElse

除了制表符之外，我还如何表明我希望这两个方法作为语句体的一部分执行如果。大括号让解析器清楚地知道它们都是在一起的。这样做的语言的问题是“悬挂的 else 问题”：

if true
    if someCondition
        doSomething
else 
    doSomethingElse

你最好让你的解析器足够聪明，知道如何匹配 else 语句。我认为明确的分隔符会让这变得更容易。

Answer 7

正如其他人提到的，它们没有必要。还有其他方法可以指示块何时开始/结束。话虽这么说，不同的开始和结束定界符为以很少的代码阅读代码的人提供了更多信息。这些信息不仅可以帮助读者理解代码正在做什么，还可以它的意图是什么。

举个例子，许多编码标准要求 C 中的单个语句 if 块用大括号括起来。