In Miranda, as in most other purely functional languages, functions are first-class citizens, which is to say that they can be passed as parameters to other functions, returned as results, or included as elements of data structures.
Στη Miranda, όπως και στις περισσότερες αμιγώς συναρτησιακές γλώσσες προγραμματισμού, οι συναρτήσεις είναι μέλη πρώτης τάξης, δηλαδή μπορούν να περαστούν σαν παράμετροι σε άλλες συναρτήσεις, να επιστραφούν σαν αποτελέσματα, ή να περιλαμβάνονται σαν μέλη σε δομές δεδομένων.