That style is definitely not objectivist, real objectivist functions always take exactly one argument and return one argument. a -> a Rational randian functio

That style is definitely not objectivist, real objectivist functions always take exactly one argument and return one argument. a -> a Rational randian functions never obey imperatives or procedures, and certainly never return void to their investors, they obey only the Rearden calculus as defined in the Rearden-Taggart theory of universal exchangability.