为什么在这个CPS解析器示例中没有定义curried参数？

Question

代码：

type Result = string option
type Parser<'a> = string -> int -> ('a -> Result) -> ('a -> Result) -> Result
let win r = Some <| "Correct: " + r
let lose _ = None

let parse_a: Parser<char> = fun text i win_cps lose_cps ->
    let x = text.[i]
    if x = 'a' then win_cps x else lose_cps x

let parse_many: Parser<char> -> Parser<char list> = fun p text i win_cps lose_cps ->
    let rec loop: char list -> Parser<char list> = fun l text i _ _ ->
        let win = fun (l: char list) (r: char) -> loop (r:l) text i win_cps lose_cps
        let lose = fun (l: char list) (r: char) -> win_cps (r:l)
        p text (i+1) (win l) (lose l)
    loop [] text (i-1) win_cps lose_cps

parse_many parse_a "aaabc" 0 (fun r -> win (r |> System.String.Concat)) lose

错误：cps_parser_v0.fsx(12,59): error FS0039: The type 'l' is not defined

我想用Haskell做一个纯功能的CPS解析器，并首先用F#进行实验。如果我真的想在F#中做到这一点，我会使用可变状态，但现在我只是想知道为什么这不起作用？在我看来，它不能记住部分应用的参数。

Answer 1

你有一个拼写错误：(r:l)应该是(r::l)。:操作符的意思是"is of type"，即r:l意味着你告诉编译器r的类型是l。::操作符的意思是“把这个放在这个列表的前面”：r::l的意思是“把r放在列表l的前面”。

您在两个地方犯了这个错误：loop (r:l)应该是loop (r::l)，再往下一行，win_cps (r:l)应该是win_cps (r::l)。