A Perfectable Programming Language