F# Mappatura di un elenco in un tipo diverso

Esempio

let map f list =
    let rec loop acc = function
        | []           -> List.rev acc
        | head :: tail -> loop (f head :: acc) tail
    loop [] list

La firma di questa funzione è ('a -> 'b) -> 'a list -> 'b list , che è il più generico possibile. Ciò non impedisce ad 'a di essere dello stesso tipo di essere 'b , ma permette anche che siano diversi. Qui puoi vedere che 'a tipo che è il parametro della funzione f deve corrispondere al tipo del parametro list . Questa funzione è ancora generica, ma ci sono alcuni lievi vincoli sugli input - se i tipi non corrispondono, ci sarà un errore di compilazione.

Esempi:

> let map f list = ...
val it : ('a -> 'b) -> 'a list -> 'b list
> map (fun x -> float x * 1.5) [1; 2; 3; 4];;
val it : float list = [1.5; 3.0; 4.5; 6.0]
> map (sprintf "abc%.1f") [1.5; 3.0; 4.5; 6.0];;
val it : string list = ["abc1.5"; "abc3.0"; "abc4.5"; "abc6.0"]
> map (fun x -> x + 1) [1.0; 2.0; 3.0];;
error FS0001: The type 'float' does not match the type 'int'