Functions are deterministic In functional programming, given a particular set of inputs, a function always returns the same set of outputs. For example, the following function writing in Clojure is ...

For the types of functions you're talking about (ie. functions that return multiple values, of different types) I see it slightly differently than you seem to: I see the need/use of out params as ...