Is there any way F # print type of expression?

Question

I am looking for a moral equivalent ghci:

Prelude> :t 1 + 2
1 + 2 :: Num a => a

Answer 1

In F # Interactive, you will get this after each execution:

> (+);;
val it : (int -> int -> int) = <fun:it@1>
> 1 + 2;;
val it : int = 3
> printfn "Hi";;
Hi
val it : unit = ()