Printfn Ошибка в списке «(„список ->“Список б) не совместимы»

Question

Так я получаю следующее сообщение об ошибке:

The type '('a list -> 'b list)' is not compatible with any of the types 
byte,int16,int32,int64,sbyte,uint16,uint32,uint64,nativeint,unativeint, 
arising from the use of a printf-style format string 

И это код, который устанавливает его:

let rec multC c = function 
    | [] -> [] 
    | head::tail -> c * head::multC c tail 


let p1 = [1; 2; 3];; 
let resMultC = multC p1 
printfn "resMultC: %d" resMultC 

Я не могу из-за любви ко мне выяснить, почему он не будет печатать, что я предполагаю, что означает ошибка. Любые намеки?

Answer 1

Если вы отметите multC подпись в FSI, то это c:int -> _arg1:int list -> int list. Это означает, что он принимает два аргумента (один явно объявлен как c, другой - неявно из объявления function).

Это говорит, что проблема с вашим кодом является то, что вы предоставляете только один аргумент

let resMultC = multC p1 

вместо двух

let resMultC = multC 2 p1 // [2; 4; 6] 

Но даже сейчас последний звонок wan't компиляции, как вы пытаетесь для печати списка с использованием форматирования int (%d). Используйте %A вместо F # -специфических типов:

printfn "resMultC: %A" resMultC // resMultC: [2; 4; 6]