Ocaml，用列表中的给定元素替换所有指定元素

Question

我正在编写一个 ocaml 项目，其中我有一个函数可以将''字符列表中的所有内容替换为'E'. 这是我的这个提议的代码：

    let rec string_lst_change_E lst = 
    match lst with
        [] -> let a ='E'; a::[]
        |(h::t) if (h = '') -> 'E'::(string_lst_change_E t) 
        |(h::t) ->  h::(string_lst_change_E t)
;;

它说我有一个语法错误......但我自己无法弄清楚。我试着像这样修改它：

    let rec string_lst_change_E lst = 
    match lst with
        [] -> 'E'::[]
        |(h::t) ->if (h = '') then 'E'::(string_lst_change_E t) else h::(string_lst_change_E t)
;;

但仍然存在语法错误...（在线 |(h::t) -> .... char 18-21）

请帮我看一下。谢谢！

Answer 1

这就是第一个错误所在：[] -> let a ='E'; a::[]如果你想在声明后使用 a，你应该写成[] -> let a = 'E' in a ::[]。显然，[] -> ['E']更简单。

if第二个是在模式匹配中使用。你应该使用when：|(h::t) when h = '' -> 'E'::(string_lst_change_E t)

但“”到底是什么？空字符？您如何将其放入字符串中？打字''本身就是一个语法错误。在顶层尝试一下！为了使您的代码编译，我将其替换''为' '.

let rec string_lst_change_E lst =
    match lst with
        | [] -> let a ='E' in a::[]
        | (h::t) when h = ' ' -> 'E'::(string_lst_change_E t) 
        | (h::t) ->  h::(string_lst_change_E t)

请注意，您可以在这里简单地使用函数：

let rec string_lst_change_E = function
    | [] -> let a ='E' in a::[]
    | (h::t) when h = ' ' -> 'E'::(string_lst_change_E t) 
    | (h::t) ->  h::(string_lst_change_E t)