É uma característica distintiva das linguagens de programação funcionais a(o)