元组中的OCaml意外类型不匹配
元组中的OCaml意外类型不匹配
提问于 2012-10-03 01:36:53
我正在尝试编写一个函数，它接受一个整数和一个三元组，并在给定位置返回三元组的一个元素(Hickey书中的练习5.3 )。三元组应该能够包含不同类型的元素。
我想，如果我写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“。有什么建议吗？
回答 2
Stack Overflow用户
发布于 2012-10-03 01:47:20
你的问题的基本答案是：
在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然后你可以相应地写下一种类型的n…
Stack Overflow用户
发布于 2012-10-03 01:47:12
您的函数的建议类型是什么？
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/12695347
复制相关文章
相似问题
腾讯云开发者
