F#中将int插值到字符串时出现类型不匹配报错如何解决

问题原因 #

F# 要求标记了 <EntryPoint> 的入口函数 main 必须返回 int 类型的值，用于表示程序的退出码：0 代表正常退出，非 0 代表异常退出。
你当前代码的最后一行是 printfn "The sum is %i" sum，而 printfn 函数的返回值是 unit 类型（对应其他语言里的 void，代表无实际返回值）。F# 中函数最后一行表达式的返回值默认就是整个函数的返回值，因此编译器检测到返回类型不匹配，就抛出了对应的类型错误。
这也能解释你提到的“移除所有 int 相关代码还是报错”的情况——只要入口函数最后一行的返回值不是 int，不管代码里有没有其他 int 逻辑，都会触发这个类型错误。

解决方法 #

只需要在你的 main 函数最后一行添加返回值 0 即可，修改后的代码如下：

open System

[<EntryPoint>]
let main argv =
    printfn "Welcome to the calculator program"
    printfn "Type the first number"
    let firstNo = Console.ReadLine()
    printfn "Type the second number"
    let secondNo = Console.ReadLine()
    printfn "First %s, Second %s" firstNo secondNo
    let sum: int = 0
    printfn "The sum is %i" sum
    0 // 新增这一行，作为程序正常退出的返回码

补充提示 #

如果后续要实现计算器的求和逻辑，记得要把 Console.ReadLine() 拿到的字符串转成 int 类型再做运算，参考逻辑：

let first = int firstNo
let second = int secondNo
let sum = first + second

内容的提问来源于stack exchange，提问作者CoderLee