Эквивалент zipwith от haskell в OCaml

Question

У меня есть список 'a и one' b и функция типа 'a -> 'b-> 'c. Я пытаюсь применить функцию к каждому элементу списка с b, который у меня уже есть, и составить список «c». В haskell я бы сделал что-то вроде zipWith(foobar) a-list (replicate (length a) b). Каков эквивалентный способ сделать это в OCaml?

Answer 1

Ну, в вашем примере вы на самом деле не нужно zipWith, вы можете использовать простой map:

List.map (fun a -> f a b) a_list 

Это было бы более эффективно, чем List.map2 (эквивалент zipWith), потому что OCaml не обрабатывает списки так же, как Haskell, поэтому построение фиктивного списка только ради итерации на самом деле не стоит.

Answer 2

"List.map2" является эквивалентом Хаскеля "zipWith"

val map2 : ('a -> 'b -> 'c) -> 'a list -> 'b list -> 'c list 

Answer 3

Эквивалент в OCaml будет:

open Core_kernel.Std 

let replicate n b = List.init n ~f:(fun _ -> b) 
List.(map2_exn a (replicate (length b) b) ~f:your_function) 

Этот код возникает несколько вопросов, однако. Например, вы уверены, что хотите, чтобы список был вторым аргументом вашей функции? И в чем причина дублирования второго аргумента, вместо того, чтобы передавать его как свободную переменную в вашу функцию, как предположил @PatJ. И это не все о ленивой и нетерпеливой оценке. В Haskell вам все равно нужно пройти по списку, и b будет пройден дважды. Тот факт, что вычисление является ленивым, не означает, что он будет быстрее, когда он будет оценен.

Но, тем не менее, библиотека Core OCaml предоставляет ленивый список с именем Sequence, который похож на Haskell's. Код будет таким же, по модулю имени модуля, т. Е. Просто замените List на Sequence.