purely functional language pure functional language <language> A language that supports only {functional programming} and does not allow functions to have {side-effects}. Program execution consists of evaluation of an expression and all subexpressions are {referentially transparent}. (2003-03-25)