ocaml - 在 OCaml utop 中使用 s 表达式

Question

我正在用一本名为“真实世界 OCaml”的书学习 OCaml，到目前为止它运行良好。

我有 sexp 和 Sexplib 的问题。

# module type M = sig
#   type t with sexp
# end;;

这是一个教科书的例子，但我在 utop 中有一个语法错误， with下划线的词。 Core.Std开了。

谁能解释一下？我怀疑他们是否改变了语言语法。

Answer 1

将“with sexp”替换为[@@deriving sexp] ;这也需要 ppx_sexp_conv重写器。或者，您也可以使用 ppx_jane ，其中包括所有 Janestreet PPX 重写器(并在您使用 corebuild 命令时自动使用)。

# #use "topfind";;
# #require "core";;
# #require "ppx_sexp_conv";;
# open Core.Std;;

# module type M = sig type t [@@deriving sexp]  end;;
module type M =
  sig
    type t
    val t_of_sexp : Sexplib.Sexp.t -> t
    val sexp_of_t : t -> Sexplib.Sexp.t
  end

解释 :

http://blogs.janestreet.com/extension-points-or-how-ocaml-is-becoming-more-like-lisp/