Metaphysics on programming