I mean it's not like this type system is exclusive to functional programming. You can tack it on to an imperative language (see rust). It's mostly the type the

I mean it's not like this type system is exclusive to functional programming. You can tack it on to an imperative language (see rust). It's mostly the type theory that is hard here but people talk about functional programming because of association thanks in large part to haskell.