我怎样才能引用静态已知的文字数组的大小和类型？

Question

例如，

#include "share/atspre_staload.hats"

implement main0() =
        let
                var A = @[int](1, 2, 3, 4, 5)
                val n = 5
                val what = "int"
        in
                println!("the array A contains ", n, " elements of type ", what)
        end

如何参考n定义what和A？

Answer 1

简短的答案是您不能因为'n'和'int'都不是 在A的动态表示中。