gpt4 book ai didi

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

转载 作者:行者123 更新时间:2023-12-04 10:27:13 26 4
gpt4 key购买 nike

我正在尝试编写一个函数,它接受一个整数和一个三元组,并在给定位置返回三元组的一个元素(Hickey 书中的练习 5.3)。 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”。有什么建议吗?

最佳答案

您的问题的基本答案:

In OCaml, the way the type system works will force nth to return only a single type. What you want is something resembling an intersection type, but the static type semantics for OCaml will instead force nth to return only a single type. The upshot of this is that your tuple must degenerate into the case where element is the same type.



让我们考虑一下这种交互:
# 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 绑定(bind)多态性更具表现力!

我会说,您可以对元组的实例执行此操作,例如,您可以创建一个类型:
type IntOrStringOrX = int | string | X

然后你可以相应地写下第n个类型...

关于types - 元组中的 OCaml 意外类型不匹配,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/12695347/

26 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com