Tales funciones necesitan de la interpretación de un lenguaje que especifica los objetos como argumentos de la función que satisfacen cada elemento.