[carapace]

I don't think it's useful to differentiate "functional" programming from "function-level" programming as if they are different paradigms, especially in light of e.g. Conal Elliot's work "Compiling to categories": http://conal.net/papers/compiling-to-categories/ where he has built a compiler extension for Haskell that converts it into a point-free form very similar to Backus' "function-level" style of programming.