purely functional programming
programming paradigm that treats all computation as the evaluation of mathematical functions
total functional programming
non-Turing-complete programming paradigm restricted to provably terminating programs
programming paradigm that treats all computation as the evaluation of mathematical functions