Go为什么把不同长度数组看作不同类型？

之前很困惑，c，c++,Java把不同长度数组看作相同类型好像也没什么问题。但是经过和gpt讨论后发现确实有它的好处：加强类型检查，可以提前在编译期发现一些错误，例如：

func main() {
	arr [3]int{1,2,3}
	fmt.Println(arr[3]) //越界错误，编译期即可发现
}

代码中的两个错误是可以在编译期报出来的，但是如果是在java代码中这种错误是会在运行期才暴露出来：

class Solution {
    public static void main(String[] args) {
        int[] arr = {1, 2, 3};
        System.out.println(arr[3]);//越界错误，运行时才会报出来
    }
}

还是很有用的。