Joy está basado en la composición de funciones en vez del cálculo lambda.