Ocamllex 重新填充处理程序示例

Question

在Chapter 12 Lexer and parser generators中，我无法编译以下示例：

{

type token = EOL | INT of int | PLUS

module Make (M : sig
               type 'a t
               val return: 'a -> 'a t
               val bind: 'a t -> ('a -> 'b t) -> 'b t
               val fail : string -> 'a t

               (* Set up lexbuf *)
               val on_refill : Lexing.lexbuf -> unit t
             end)
= struct

let refill_handler k lexbuf arg =
    M.bind (M.on_refill lexbuf) (fun () -> k lexbuf arg)

}

refill {refill_handler}

rule token = parse
| [' ' '\t']
    { token lexbuf }
| '\n'
    { M.return EOL }
| ['0'-'9']+ as i
    { M.return (INT (int_of_string i)) }
| '+'
    { M.return PLUS }
| _
    { M.fail "unexpected character" }
{
end
}

我也不明白Make模块是如何工作的，它是从哪里来的。注意：我目前使用的是 4.02.1 ocaml 编译器。

Answer 1

此代码定义模块 Make，它是一个函子。也就是说，它以一个模块作为参数，returns一个模块。

它接受的模块参数是一个任意的 monad，它本质上是一种表达当你先做某事再做某事时会发生什么的方式。

您可以在此处找到对 monad 的描述：http://blog.enfranchisedmind.com/2007/08/a-monad-tutorial-for-ocaml

我通过将 refill 函数更改为此来获得要编译的代码：

let refill_handler k lexbuf =
    M.bind (M.on_refill lexbuf) (fun () -> k lexbuf)

原始定义似乎与重新填充处理程序的类型不匹配。（但我可能遗漏了一些东西；这种代码需要很多时间才能习惯。）

Ocamllex 重新填充处理程序示例

Ocamllex refill-handler example

ocaml

ocamllex