However, the cost is that the type checker infers only that i is some integer and v1 and v2 are integer vectors. Without information concerning the length ...
確定! 回上一頁