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

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.

的动态表示中

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

How can I get refer to the statically known size and type of a literal array?

ats