Fsharp's type inference is great in that regard. Function types are inferred too, in contrast with rust. I find fsharp fit for exploratory code, and its type inference is probably the enabler.