Void上下文Void上下文在语句列表中,除最后一个表达式之外的每个表达式都需要具有类型 void 。 除了这个规则之外,对内置 result 符号的赋值也会触发后续表达式的强制 void 上下文: proc invalid*(): string = result = "foo" "invalid" # 错误: 'string' 类型值必须丢弃 proc valid*(): string = let x = 317 "valid"