F#函数编译报错：期望DateTime类型却得到unit类型

这问题我太熟啦！咱们先把核心矛盾说清楚：

你给checkCreation函数明确标注了返回类型: DateTime，这相当于告诉编译器——「这个函数必须返回一个DateTime类型的值」。但你在if/else分支里执行的是printfn，而printfn的返回值是unit（F#里用来表示“没有实际返回值”的类型，类似其他语言的void）。

F#是表达式优先的语言，if/else本身是一个表达式，它的返回值就是两个分支里最后一个表达式的类型。你的代码里，两个分支的最后表达式都是printfn（返回unit），所以整个if/else表达式的类型是unit，但函数签名要求返回DateTime，类型完全不匹配，这就是编译器报错FS0001的原因。

两种解决方案，看你需求选： #

1. 只需要打印，不需要返回DateTime #

直接去掉函数的返回类型标注（F#会自动推断返回unit），或者显式标注返回: unit：

open System
let checkCreation time = 
    if time > DateTime.UtcNow.AddDays(-7.0) then printfn "New" else printfn "Old"

// 调用时要传入一个DateTime类型的参数，比如当前UTC时间
checkCreation DateTime.UtcNow

2. 既要打印，又要返回DateTime值 #

如果需要函数在打印后返回一个DateTime（比如传入的time参数），那就在每个分支的最后加上要返回的DateTime表达式：

open System
let checkCreation time : DateTime = 
    if time > DateTime.UtcNow.AddDays(-7.0) then
        printfn "New"
        time  // 这里返回DateTime类型的参数
    else
        printfn "Old"
        time

// 调用示例，接收返回的DateTime值
let result = checkCreation DateTime.UtcNow
printfn "返回的时间戳：%A" result

额外提一句：你原来的代码最后一行checkCreation time还存在一个小问题——这里的time没有定义，调用时需要传入具体的DateTime值哦！

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