language-design - 语言如果不是？

Question

一位同事说，他听说过没有“if”概念的语言。那可能吗？如果是这样，那是什么语言？

Answer 1

除了Prolog之外，我还不知道任何特定的语言，但是我可以想到几种没有if语句可能起作用的语言。实际上，您也不需要循环构造。您显然需要某种方式的条件分支和循环。

例如，如果您具有以下功能:函数，函数参数上的ML样式模式匹配和尾部调用优化，则可以在没有if或循环的情况下进行编程。

foo () {
    for (i = 1 to 10) {
        if even(i) {
            print "even"
        }
    }
}

会变得像

print_if_true (true) {
    print "even"
}
print_if_true (false) {}

foo_loop (11) {
}
foo_loop (n) {
    print_if_true(even(n))
    foo_loop(n+1)
}

foo () {
    foo_loop(1)
}

或使用类似ML的语法:

foo => 
    let loop 11 => 0
              n => p_i_t(n), loop n + 1
    and p_i_t true => print "even"
                 _ => unit
    in
        loop 1
    end

当然，您仍然需要通常的比较运算符，然后可以使用简单的true/false函数自变量模式匹配而不是有条件的。或者您可以匹配任意值。或者该语言可以支持保护表达式，这基本上是if语句，用于确定函数重载是否有效。

上面的示例显然是人为设计的，并且没有ifs/loops的代码比原始代码难看且难以理解，但它演示了如何实现。更多或不同的语言功能可能使编写干净的程序而没有if/loop成为可能。

如果true == 1和false == 0，则另一种方式将是这样。

[function(){else-clause}, function(){then-clause}][condition]()

也就是说，将true和false分支存储在列表或元组中，或者将您可以使用true和false索引的任何分支中存储，然后将条件的结果用作索引，查找分支并调用函数。如果您的语言支持宏，则可能将传统条件转换为这种格式。