OCmalのList.mapの使い方について

Question

前提・実現したいこと

関数fを引数として渡して、('a * 'b) listであるaのリストの要素一つ一つのタプルに関数を適用させたいのですが、List.mapの使い方がよく分かりません。下記の例だと、[11;18]が出力されるようにしたいです。

発生している問題・エラーメッセージ

# let a=[(1,3);(3,4)];;
val a : (int * int) list = [(1, 3); (3, 4)]
# let f (a,b)=2*a+3*b;;
val f : int * int -> int = <fun>
# let kansu func =List.map((fun x->func x) a);;
val kansu : ((int * int) list -> 'a -> 'b) -> 'a list -> 'b list = <fun>
# kansu f;;
Error: This expression has type int * int -> int
       but an expression was expected of type (int * int) list -> 'a -> 'b
       Type int * int is not compatible with type (int * int) list

補足情報（FW/ツールのバージョンなど）

ここにより詳細な情報を記載してください。

Answer 1

let a=[(1,3);(3,4)]
let f (a,b)=2*a+3*b

let kansu func = List.map (fun x -> func x) a (* カッコが余計だった。*)
(* というかこれでいい *)
(* let kansu func = List.map func a *)

let result = kansu f

(*又は単純に*)
(*let result = List.map f a*)

List.map((fun x->func x) a)と書いちゃうと

「fun x->func x に a を適用したもの」をList.mapに渡していることになってしまいます。

Comments

[nana8823]

理解できました！丁寧に回答をいただき、ありがとうございました！