CODEWITHSUNDEEP
typesocamltype-inference
alessandro308
alessandro308

Reputation: 2182

Ocaml inference type int list instead 'a list

let rec getElement list index = match list with
| [] -> raise OutOfBoundException
| first::elems -> if index = 0 then first else getElement elems index-1;;

I don't understand why this function has type (int list -> int -> int) instead ('a list -> int -> 'a). I need to write function that returns nth element in the list, that has generic type (has type exp defined by user: http://pastebin.com/UefshcLa).

How can I write that function? And why Ocaml inferences that list is int list instead 'a list?

Upvotes: 3

Views: 245

Answers (1)

zakki
zakki

Reputation: 2353

OCaml interprets (getElement elems index) - 1, because function application is stronger than -.

let rec getElement list index = match list with
| [] -> raise OutOfBoundException
| first::elems -> if index = 0 then first else getElement elems (index-1);;

Upvotes: 10

Related Questions