The type system is kind of sort of vaguely ML/Haskell-like despite looking like C. Is that what you mean?

It certainly isn't a functional programming language. It's intentionally imperative.