#lambda calculus #pure function #mathematical functions #functional style