我刚刚开始学习F#,并且为了提高自己的技能,我正在尝试2019年代码的出现。我正在尝试第二天的第一个难题,但已陷入困境。请参阅底部的第2天规则。
我认为我遇到的问题是我不太了解编译器如何计算递归函数的返回类型。在这里查看我的尝试:
let rec intcode (arr: int []) op = // int [] -> int -> int []
let in1 = op + 1
let in2 = op + 2
let out = op + 3
match arr.[op] with
| 1 ->
arr.[arr.[out]] <- arr.[arr.[in1]] + arr.[arr.[in2]]
intcode arr op+4
| 2 ->
arr.[arr.[out]] <- arr.[arr.[in1]] * arr.[arr.[in2]]
intcode arr op+4
| 99 ->
arr
| _ ->
printfn "Had input operator that was not 1, 2, or 99"
arr
编译器为我提供了在函数开始处注释的函数签名int [] -> int -> int []
。
但是,编译器还告诉我,在arr
匹配pattern 99
,时尝试返回时error FS0001: The type 'int' does not match the type 'int []'
。
是否告诉我它认为arr
是int
?还是认为该函数的输出应为int
?
规则
Intcode程序是由逗号分隔的整数列表(例如1,0,0,3,99)。要运行一个,首先查看第一个整数(称为位置0)。在这里,您会找到一个操作码-1、2或99。例如,99表示程序已完成,应立即停止。遇到未知的操作码意味着出现了问题。
操作码1将从两个位置读取的数字相加,并将结果存储在第三位置。操作码后面的三个整数告诉您这三个位置-前两个指示您应从中读取输入值的位置,第三个指示应将输出存储在其中的位置。
例如,如果您的Intcode计算机遇到1,10,20,30,它应该读取位置10和20的值,将这些值相加,然后用它们的总和覆盖位置30的值。
操作码2的工作原理与操作码1完全相同,只是它将两个输入相乘而不是相加。同样,操作码后面的三个整数表示输入和输出的位置,而不是它们的值。
处理完一个操作码后,向前移4个位置即可移至下一个。
问题不是(直接)与类型推断有关,而是与运算符优先级有关。
intcode arr op+4
被解析为
(intcode arr op)+4
不
intcode arr (op+4)
因为功能应用程序的优先级高于+
运算符。
根据前者的分组,编译器推断表达式必须是类型,int
因为最外面的表达式是int
加法。
解决此问题所需要做的就是在周围加上括号op+4
。