1

所以我正在阅读http://www.podval.org/~sds/ocaml-sucks.html，其中包括这句话（在 ocaml 问题的背景下）：

实际上有三种略有不同的语法：

  • 官方在手册中有描述
  • 编译器 ocamlc 接受其超集
  • 预处理器 Camlp4 接受类似的东西（但略有不同）（例如，它接受 List.map [1;2;3] ~f:fun x -> x，它也被顶层接受，但是不是编译器）

ocamlc 接受但与手册不符的 ocaml 代码片段示例有哪些？

PS - 我主要对 OCaml 4.00.1 感兴趣，但以前的版本也很有趣......

4

2 回答 2

5

一个有趣的例子，仅出于好奇：

                  OCaml version 4.00.0

# type 'a weird_list =
    | ()
    | :: of 'a * 'a weird_list;;
type 'a weird_list = () | :: of 'a * 'a weird_list
# 1::2::3::();;
- : int weird_list = :: (1, :: (2, :: (3, ())))

Camlp4 和 OCaml 编译器之间的差异有时是错误，但最常见的解释是解析器技术的差异：如果你为同一种语言编写惯用的 LR 解析器和 LL 解析器，但语法上的细微之处有点烦人，你不应该期望两者都完美匹配。我认为这在实践中不是问题（但实际上大多数人不使用 Camlp4）。

于 2012-12-13T15:18:53.430 回答
2

这个页面很旧，不确定，对于所有点来说仍然是正确的。

考虑到 ocaml 4.00 toplevel，第三项是错误的（也考虑到 List.map 的参数顺序是错误的......）：

 $ List.map  ~f:fun x -> x [1;2;3];;
 Error: Syntax error        
 $ List.map ~f:(fun x -> x) [1;2;3];;
 File "", line 1, characters  12-24:
 Error: The function applied to this argument has type 'a list -> 'b list 
 This argument cannot be applied with label ~f

AFAIK，顶层使用与 ocaml 相同的代码来解析代码......

于 2012-12-13T15:31:06.900 回答