ML中的条件

Question

我开始学习ML，我们在讲座中讨论了这段代码：

val x = 1;
if hd [1, 2, 3] = x then x = x + 1 else x = x - 1;

这个语句是否返回false，因为[1,2,3]的头部等于1，所以它进入then部分并比较1到1 + 1？

Answer 1

是的，这是正确的。它将评估为x = x + 1 1 = 1 + 1，false。

请注意，无论采用哪个分支，它都会评估为false，因为x永远不等于x + 1或x - 1。