Question

我编写了一个ocaml程序，它通过解析器组合器解析算术表达式。

type 'a parser = char list -> ('a * (char list)) list
let return (x: 'a): 'a parser = fun input -> [x, input]
let fail: 'a parser = fun _ -> []
let ( >>= ) (p: 'a parser) (f : 'a -> 'b parser): 'b parser =
    fun input -> List.map (fun (x, i) -> f x i) (p input) |> List.flatten

let ( ||| ) (p: 'a parser) (q: 'a parser) = 
    fun input -> (p input) @ (q input)

let token: (char parser) = function
    | x::xs -> [x, xs]
    | [] -> []

let char(c: char): (char parser) =
    token >>= fun x ->
    if x = c then return x else fail

let digit: (char parser) =
    token >>= fun x ->
    if x >= '0' && x <= '9' then return x else fail

let rec many(p: 'a parser): 'a list parser =
    (p >>= fun x ->
    many p >>= fun xs ->
    (return (x::xs))) 
    ||| (return [])

let number = 
    many digit >>= fun x -> 
    return (List.fold_left (fun l r -> l * 10 + (int_of_char r - int_of_char '0')) 0 x)

type expr = Add of (expr * expr)
            | Sub of (expr * expr)
            | Mul of (expr * expr)
            | Div of (expr * expr)
            | Neg of expr

上面的代码效果很好。

let rec expression: expr parser =
    term >>= fun l ->
    (char '+' ||| char '-') >>= fun op ->
    term >>= fun r ->
    if op = '+' then return (Add (l, r)) else return (Sub (l, r))
and term: expr parser =
    factor >>= fun l ->
    (char '*' ||| char '/') >>= fun op ->
    factor >>= fun r ->
    if op = '*' then return (Mul (l, r)) else return (Div (l, r))
and factor: expr parser =
    expression
    ||| (char '(' >>= fun _ ->
        expression >>= fun e ->
        char ')' >>= fun _ ->
        return e)
    ||| (char '-' >>= fun _ ->
        factor >>= fun e -> 
        return (Neg e))

但是这段代码中存在错误

    Error: This kind of expression is not allowed as right-hand side of `let rec'

此页面（link）说：＆＃34;编译器只允许三个可能的构造显示在let rec的右侧：函数定义，构造函数或惰性关键字。＆＃34;

我认为类型解析器是一个函数而不是一个值，为什么会发生这种情况？

Answer 1

“函数定义”表示literan fun x ->构造。功能语言考虑部分功能应用，如

factor >>= fun l -> ...

重新索引，而不是文字值，这意味着严格的语言必须在它们出现在简单变量绑定的RHS上时立即对它们进行评估，例如

term = factor >>= fun l -> ...

因为，一般来说，急切地评估递归定义的RHS会产生无限循环，严格的语言通常要么禁止构造，要么要求绑定明确地标记为懒惰。

Answer 2

右侧应该是“功能定义”而不仅仅是一个功能。函数定义是form fun ->或function ...的句法结构，包括let f x ...的句法糖。更准确的措辞在手册的6.7.1和7.3部分。

为什么翻译告诉我＆＃34;这种表达方式不允许作为'let rec＆＃39;＆＃34;的右手边。

2 个答案: