精益有 sorry ,如果省略的部分是表达式,它在语法上也是有效的,就像它在这里一样。因此,如果您正在精益编写练习,并且您想要提供一个部分填充的答案,读者可以尝试填写:
sorry
def single (a : 锟斤拷) (b : 锟斤拷) : 锟斤拷 锟斤拷? 锟斤拷 := ?锟斤拷a', if a = a' then b else 0, sorry?
它不同于 _ 当你使用时,精益不会试图填补空白 sorry 。
_