Programs as Singularities