ocaml - 生成的折叠类型、迭代器和映射与 ppx_deriving 文档不一致
问题描述
我正在努力正确设置我的 OCaml 环境以使用 ppx 派生映射、折叠和迭代,如下所述: https ://github.com/ocaml-ppx/ppx_deriving#plugins-iter-map-and-fold
我的最小示例在这里(我正在使用 Base,因为这是我在更广泛的项目中使用的库):
open Base;;
type data = Row of float array | Dim of data array
[@@deriving iter, map, fold, show];;
let t = Row [|2.;2.|];;
pp_data Caml.Format.std_formatter t;;
map_data (fun x -> x +. 1.) t;;
pp_data Caml.Format.std_formatter t;;
下面的代码是用
ocamlfind ocamlc -package base -package ppx_deriving.iter -package ppx_deriving.map -package ppx_deriving.fold -package ppx_deriving.show -linkpkg -g test.ml && ./a.out
;编译的 我收到一个编译错误,指出map_data
类型为data -> data
. 但是根据文档和我的常识,map
得到一个函数和一个可映射的结构,这似乎不是这里的情况。在 utop 中测试这个给了我同样的错误。
有什么我想念的吗?
先感谢您 :)
解决方案
这些派生程序处理多态数据结构并将用户函数应用于与该结构的类型变量对应的所有值。由于您没有任何类型变量,因此生成的map_data
函数是有缺陷的,但很自然,因为没有类型变量意味着一个常量函数。
换句话说,一些具有类型变量的map_x
多态函数的一般结构是type ('s1, ..., 'sN) x
N
('s1 -> 't1) -> ... -> ('sN -> 'tN) -> ('s1,...,'sN) x -> ('t1,...,'tN) x
即,对于每个类型变量,它都需要一个将该类型的值映射到其他类型的函数,以便映射函数的参数数量N+1
在您的情况下,因为您有零类型变量,所以没有映射函数,所以您只需x -> x
.
如果您将类型重新定义为
type 'a data = Row of 'a array | Dim of 'a data array
[@@deriving iter, map, fold, show]
你会得到map_data
期望类型('a -> 'b) -> 'a data -> 'b data
。派生者甚至会理解数组是一种数据结构并递归到其中,例如,
let input = Dim [|Row [|1;2;3|]; Row [|3;4;5|]|]
map_data (fun x -> x + 1) input;;
- : int data = Dim [|Row [|2; 3; 4|]; Row [|4; 5; 6|]|]
当然,如果你不想在你的接口中使用多态类型,你总是可以创建一个类型别名,例如,
type t = float data
并将 map_data 公开为
val map_data : (float -> float) -> t -> t
推荐阅读
- excel-formula - 计数摘要不同值 Excel
- django - REST API 中的循环引用
- c# - 根据文档,EF Core 5 多对多关系无法正常工作
- python - 像googletest一样制作pytest输出?
- python - 使用 pandas 合并多个表数据列表并保存为 csv 格式
- r - 重复测量的描述性统计和箱线图?
- tensorflow - 模型训练 - 对象的裁剪图像 VS 带有边界框的更大图像
- visual-studio-code - 如何在独立的 monaco 编辑器实例中显示诊断信息?
- python - 如何在一行中读取多个输入?
- excel - 选择和删除组内的行