Как получить доступ к случайному члену кортежа?

Question

Я хотел бы получить доступ к случайному члену кортежа, и я не уверен, как установить #n в переменную.

Вот мой код:

val lis = ("a","b","c","d")
val randNumber = Random.randRange (1,4) (Random.rand (0,1)) 
val randChar = #randNumber lis //this is where its failing

Вот как я обычно получаю доступ, скажем, член № 2:

val lis = ("a","b","c","d")
val ranChar = #2 lis;

Итак, мой вопрос, как мне установить #2 для переменной в приведенном выше примере ??

Заранее большое спасибо !!

Answer 1

Есть несколько обходных путей, например, вы можете явно сопоставить randNumber и вызвать соответствующие функции-члены:

    val randChar = case randNumber of
                      1 => #1 lis
                    | 2 => #2 lis
                    | 3 => #3 lis
                    | _ => #4 lis

Конечно, этот не очень хорошо масштабируется. Другим обходным решением является изменение представления lis на List и использование List.nth:

List.nth(lis, randNumber-1)

Надеюсь, это вам как-нибудь поможет.

Answer 2

Полагаю, вы не можете. Какой будет тип оператора доступа? Если вам нужен динамический произвольный доступ к вашим данным, вы должны сначала преобразовать его в вектор.

PS: есть языки (Coq, Agda и т. Д.), Где такой оператор доступа может быть набран, но для этого потребуются зависимые типы (или, по крайней мере, целые числа уровня типа плюс немного магии, возможно, Омега также может сделать это).