λ Functional Programmingfunctional programming, pure functions, composability, type systems, pointfree