Могу ли я создать массив с Int64?

Question

Я в основном хочу создать массив (Array.array(k + 1, 1)), но поскольку k имеет тип Int64 (это должно быть), я не могу создать массив (выдает ошибку), поэтому я пытаюсь найти способ обойти эту ошибку. Любые идеи?

Ps значения k < 20000, но он должен быть сохранен как Int64.int.

Answer 1

Просто преобразовать в целое число с Int64.toInt:

val k: Int64.int = ...
val a = Array.array (Int64.toInt k + 1, 1)