在Ada,我经常看到这样的事情:
type Number is new Integer;
这有什么意义?你能不能满意Integer吗?我也见过如下代码:
Integer
type Small_Number is range 1..5;
这对我来说很有意义; 我明白为什么这会有用.但是,为什么,无论如何你会选择使用前一个例子?
types ada
ada ×1
types ×1