变量

我们使用 name := value 来声明一个变量，在这种情况下是 my_var。然后我们可以在需要使用其值时简单地写出 my_var。

如果

if 用于条件执行代码。显然，由于我们的条件始终是 true，我们的代码将始终运行。

if 中的条件必须是 bool，否则...

否则

我们可以在 if 后直接添加 else。这是当条件为 false 时将运行的代码。

使用If-Else生成值

根据你习惯的语言，你可能想写这样

var result
if (condition) {
  result = "Yay"
} else {
  result = "Nay"
}

但在mers中，一个 if-else 可以轻松生成值

我们可以通过编写来进一步缩短

如果分支没有相同的类型怎么办？

Rust还允许我们通过 if-else 构造返回值，只要它们的类型相同

if true {
  "Yep"
} else {
  "Nay"
}

但是，当我们混合两种不同类型时，它就不再能编译了

if true {
  "Yep"
} else {
  5 // Error!
}

在mers中，这并不是一个问题

变量 result 被简单分配了类型 String/Int，因此mers总是知道它必须是这两个中的一个。

如果我们添加一个类型注解，我们就能看到这一点

显然，if-else 并不总是返回一个 Int，这就是我们得到错误的原因。

使用If而不使用Else来产生一个值

如果没有 else 分支，mers显然必须显示错误

或者你以为如此...但是不，mers并不在乎。如果条件为假，它就会退回到一个空元组 ()

数字之和

其他东西的总和？

如果我们的 numbers 元组中的所有元素实际上不是数字，这将不会起作用。相反，我们会得到一个类型错误

循环

这个程序会要求用户输入一个数字。如果他们输入一个有效的数字，它就会打印那个数字。如果他们没有输入一个有效的数字，他们就会被再次要求。

这是因为 parse_float 返回 ()/(Float)，这与mers中循环的工作方式相吻合

一个 loop 会执行代码。如果是 ()，它就会再次执行。如果是 (v)，循环停止并返回 v

有了这个，我们可以无限循环

我们可以实现一个while循环

或者一个for循环

else (()) 告诉mers在条件返回 false 时退出循环并返回 ()