元组中的OCaml意外类型不匹配

Question

我正在尝试编写一个函数,它接受一个整数和一个三元组并返回给定位置的三元组元素(练习5.3来自Hickey的书).Triplet应该能够包含不同类型的元素.

我想,如果我写了3个小函数,每个函数返回三元组的特定元素并使我的大函数相应地返回其中一个,那么它就可以做到,但它不起作用.

我试图摆弄这种"eta-expansion"概念,但我没有得到它.

let nth1 (a, _, _) = a
let nth2 (_, b, _) = b
let nth3 (_, _, c) = c

let nth i = match i with
    | 1 -> nth1
    | 2 -> nth2
    | _ -> nth3

let main = printf "%d\n" (nth 1 ("hello", 2, 'c'))

所以它应该只写"2".有什么建议？

Answer 1

你问题的基本答案:

在OCaml中,该型系统的工作原理将强制方式nth只返回一个类型.你想要的是类似的东西的路口类型,但静态类型语义的OCaml反而会迫使nth只返回一个类型.这样做的结果是你的元组必须退化为元素是同一类型的情况.

让我们考虑一下这种互动:

# let nth1 (a,_,_) =a;;
val nth1 : 'a * 'b * 'c -> 'a = <fun>
# let nth2 (_,b,_) = b;;
val nth2 : 'a * 'b * 'c -> 'b = <fun>
# let nth3 (_,_,c) = c;;
val nth3 : 'a * 'b * 'c -> 'c = <fun>
# let nth i = match i with
      | 1 -> nth1
      | 2 -> nth2
      | _ -> nth3;;
val nth : int -> 'a * 'a * 'a -> 'a = <fun>

所以你的问题很奇怪,不是因为printf调用,而是因为定义了nth.相反,您可能会考虑制作一种独特的类型,它是这些类型中的一些类型的组合.

实际上,您描述的行为类似于依赖类型,您实际获得的类型实际上取决于输入的值i.这自然应该是有问题的,因为依赖类型比ML中看到的let绑定多态更具表现力!

我会说,您可以为元组实例执行此操作,例如,您可以创建一个类型:

type IntOrStringOrX = int | string | X

然后你可以相应地写下一种类型的...

Answer 2

在编写代码之前考虑类型通常会有所帮助.建议的功能类型是什么？