Higher order functions are _the_ defining property of FPL.
Even though a lot of FPL people might want you to believe it&#x27;s types.<p>Lambda calculus (the theoretical foundation for all functional languages) was initially untyped.