#functional programming #lambda calculus #fp code #pure functions #codingf functional