What is the difference between ('a * 'a) list and 'a * 'a list in ocaml?

user_14012104 0
Viewed 91

I am trying to delcare a list of type string * string list (whose type is required in other functions), and I keep getting type mismatch errors. If I were to define a list as let a = [("a" , "b")], I get an error when I pass it into a function that expects type string * string list:

Error: This expression has type (string * string) list
       but an expression was expected of type string * string list

The same error occurs when a declare it as let a = ["a" , "b"]. Why is this happening?

ocaml
2 Answers

You are misreading the type: type application binds tighter than product, thus

string * string list

means

string * (string list)

For example:

let x: string * string list = "a", ["b"]

compared to

let y : (string * string) list = ["a", "b"; "c", "d"]
user_73693660

An ('a * 'a) list is a list of ('a * 'a) tuples, while a 'a * 'a list is a tuple of an 'a with a list of 'a.

user_123725060
Related