如何访问Tuple的随机成员？

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等），可以在其中键入这样的访问操作符，但这需要依赖类型（或者至少是类型级整数加上一些魔法，也许欧米茄也可以这样做） 。