In 2025, just try and see.

I am pretty sure like algol like languages FP isn't a monolith it is a broad stroke combination of the following things

• functions, types and values are often on the same plane (like Lean, Coq, etc) or types and (functions + values) have a clear separation but one can create multiple hierarchies in those 2 levels (OCaml, Haskell, etc)

• they often use immutable data structures or explicitly state if it is mutable

• every line is a program is an expression, when it is a statement it still returns some signal (usually unit)

• lispy langs or other gradually typed languages are not statically type checked and ML like langs are statically type checked

Also all these features are ime just how I want to do programming. It is merely a subjective thing which I find comfortable to program in.