Philosophy and programming