list - 将整数附加到 Ocaml 中的列表

Question

很难说出这里问的是什么。这个问题模棱两可、含糊不清、不完整、过于宽泛或言辞激烈，无法以目前的形式合理回答。如需帮助澄清此问题以便可以重新打开，visit the help center .




9年前关闭。




如果没有 @，我该如何艰难地实现这个功能？运算符(operator) ？

let rec append l i =

    (* For example, if l is a list [1;2] and i is an integer 3
              append [1;2] 3 = [1;2;3]*)
;;

Answer 1

不使用现有的 append 函数，甚至任何现有的函数，
仅模式匹配:

let rec insert_at_end l i =
  match l with
    [] -> [i]
  | h :: t -> h :: (insert_at_end t i)

# insert_at_end [1;2] 3  ;;
- : int list = [1; 2; 3]

另请注意，OCaml 的大部分标准库都是用 OCaml 编写的。通过阅读源包，您可以获得所需函数的源代码，或者在这种情况下，几乎是您想要的函数。在这种情况下:

文件 ocaml-3.11.1/stdlib/pervasives.ml

(* List operations -- more in module List *)

let rec (@) l1 l2 =
  match l1 with
    [] -> l2
  | hd :: tl -> hd :: (tl @ l2)