F# REPL中三种副作用调用方式的类型签名显示差异原因咨询

这本质是F# REPL对不同输入场景的处理规则差异：

1. let () = printfn "hello";;;：单元类型的绑定
   这个写法是把printfn "hello"返回的unit类型值（()）绑定到一个特殊的单元名称上。F# REPL的设计逻辑是：这类绑定的核心目的是执行副作用（比如打印），而unit类型的签名没有实际信息价值，所以只会执行表达式的副作用（输出"hello"），不会额外显示类型签名。

2. printfn "hello";;;或do printfn "hello"：直接表达式求值
   这两种都是让REPL直接计算一个表达式。对于没有绑定到自定义名称的表达式，REPL会自动把结果绑定到默认变量it，然后输出it的类型和值（也就是你看到的类型签名），同时执行表达式的副作用（输出"hello"）。

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