Я знаю, что у OCaml есть List.append, но есть ли у него оператор, такой как ++?
++
Для списков:
# (@);; - : 'a list -> 'a list -> 'a list = <fun> # [1;2;3] @ [4;5;6];; - : int list = [1; 2; 3; 4; 5; 6]
Для строк:
# (^);; - : string -> string -> string = <fun> # "abc" ^ "def";; - : string = "abcdef"
Кроме того, вы могли бы просто сказать себе
let (@) = List.append
или
let (++) = List.append
, если никто не сделал этого для вас в стандартной библиотеке.