functional-programming - OCaml 表达式类型问题

Question

我正在尝试创建一个 OCaml 函数，该函数将字符串中 'a' 的数量添加到给定参数中。

let rec count_l_in_word (initial : int) (word : string) : int=
    if String.length word = 0 then initial else
    if word.[0] = 'a' then 
        count_l_in_word initial+1 (Str.string_after word 1)
    else count_l_in_word initial (Str.string_after word 1)

我在第 4 行收到一条错误消息，说“此表达式的类型为 string -> int，但此处与类型 int 一起使用”。我不知道为什么它期望表达式 'count_l_in_word initial+1' 是一个 int。它真的应该期望整行 'count_l_in_word initial+1 (Str.string_after word 1)' 是一个整数。

有人能帮忙吗

Answer 1

count_l_in_word initial+1 (Str.string_after word 1)

被解析为

(count_l_in_word initial) + (1 ((Str.string_after word) 1))

所以你需要添加一些括号:

count_l_in_word (initial + 1) (Str.string_after word 1)