Ocaml Умножение элементов списка

Question

let rec intmult = 
    fun (aList ,al) -> 
    if(List.tl aList == []) then 
     ((List.hd aList) * al) 
    else 
     List.hd aList * al :: intmult (List.tl aList , al);; 

Почему это неправильно?

Answer 1

Это, вероятно, лучший способ написания его:

let rec intmult : int list * int -> int list = 
    function ([],_) -> [0] (* this case is not processed by your code *) 
    | ([x] ,al) -> [x * al] (* this case returns an int in your code *) 
    | (x::xs,al) -> x * al :: intmult (xs, al);; 

Вы также можете использовать List.map:

let intmult (l,m)= List.map (fun x -> x * m) l 

Answer 2

Две ветви вашего if возвращают разные типы. Первая ветвь возвращает int. Вторая (else) ветвь возвращает список int. Выражение OCaml должно иметь один тип, поэтому вам нужно сделать эти два типа одинаковыми.

Я также немного обеспокоен тем, что произойдет, если вы передадите пустой список этой функции.