，所有东西都是从堆栈中取得实际参数并向堆栈返回结果的函数。例如，数值5不表示整数常量，转而是将5压入栈顶的一个短程序。所以平方函数复制栈顶元素，接着将栈顶二个元素相乘，把最初栈顶元素的平方留在栈顶，这个过程不需要形式参数。这使得Joy很简明，如下面快速排序定义所展示的：codice_5是Joy的多个递归组合子之一，实现了二叉递归。它预期在栈顶有四个引用的程序，分别表示：
数学纯粹性.在Joy中，含义函数是从语法幺半群到语义幺半群的同态。就是说，符号的串接的语法关系直接映射