A függvények, mint konstansok lehetnek deklarálva, az értéküket a program szegmens definiálja. A függvények első-osztályú objektumok az Apple-ben, így a függvényeket, mint értékeket lehet használni.
A függvényt kifejezheti függvény konstruáló, amely megnevezi a formális paramétereket és egy program szegmens kiszámítja a fv értékét az argumentumra.
Pl: Push : carrier*T->carrier
A függvény alkalmazásának nincs mellékhatása, ha a kiszámítása definiált és terminál.
Változók nem adhatók át függvény paraméterként, változók paraméterként való átadása azonban a megszokott nyelvekben nagyon hasznos lehet
- a hatékonyság javítására, megtakarítva a nagy adatszerkezetek másolását
- lehetőség arra, hogy az eljárás, vagy a függvény összetett értékkel térjen vissza
Az Apple-ban alkalmazott alternatíva az, hogy minden paraméter konstansként viselkedik a függvénydefiníció törzsén belül. Így implementációs döntéssé válik, hogy a paraméter átadása indirekcióval, vagy a teljes érték átmásolásával történik. Másrészt a függvény visszatérési értéke bármilyen típus lehet.
Az Apple-ban eljárások nincsenek.