The tricky mathematical concepts of functional programming, such as category theory, lambda calculus and type theory, mean the style may never be as popular with budding coders as its imperative ...