
不能
One can't proceed from the informal to the formal by formal means.
In man-machine symbiosis, it is man who must adjust: The machines can't.
Interfaces keep things tidy, but don't accelerate growth: Functions do.
A good system can't have a weak command language.