Comment rendre ma fonction générique

Question

let csvList startDelim endDelim lst memF = 
     let listIter (listStr: string) item = 
      if listStr.Length > 0 then 
       listStr + "," + (memF item) 
      else 
       memF item     
     startDelim + (List.fold listIter "" lst) + endDelim 

    let listIntoJsonArray = csvList "[" "]" 
    let listIntoJsonObject = csvList "{" "}" 

    let intConverter (item:int) : string = 
     item.ToString() 

    let objectConverter (item:SomeObject) : string = 
     item.value.ToString() 

    let objects = [{vaue: 12.3}; {vaule: 33.2}] 
    let ints = [1;2;4] 

    let o = listIntoJsonObject objects objectConverter 
    let i = listIntoJsonObject ints intConverter 

Je n'arrive pas à trouver la sauce magique pour rendre la liste csvList ou ses assistants partiellement appliqués listIntoJsonArray ou listIntoJsonObject génériques.

Merci pour l'aide.

Answer 1

Votre listIntoJsonArray et listIntoJsonObject sont des valeurs, pas des fonctions, donc vous avez rencontré value restriction monster. Vous pouvez les convertir en fonctions en ajoutant un argument explicite ou en tapant des fonctions.

// function case 

let csvList startDelim endDelim lst memF = 
    let listIter (listStr: string) item = 
     if listStr.Length > 0 then 
      listStr + "," + (memF item) 
     else 
      memF item     
    startDelim + (List.fold listIter "" lst) + endDelim 

let listIntoJsonObject x = csvList "{" "}" x 

let ints = [1;2;4] 

let i = listIntoJsonObject [1;2;4] string 
let y = listIntoJsonObject ["123"] id 


// type function case 

let csvList<'T> startDelim endDelim (lst : 'T list) memF = 
    let listIter (listStr: string) item = 
     if listStr.Length > 0 then 
      listStr + "," + (memF item) 
     else 
      memF item     
    startDelim + (List.fold listIter "" lst) + endDelim 

[<GeneralizableValue>] 
let listIntoJsonObject<'T> = csvList<'T> "{" "}" 

let ints = [1;2;4] 

let i = listIntoJsonObject [1;2;4] string 
let y = listIntoJsonObject ["123"] id 

Answer 2

csvList semble assez générique: string -> string -> 'a list -> ('a -> string) -> string

Mais vous avez rencontré Value Restriction dans votre tentative d'application partielle avec listIntoJsonArray et listIntoJsonObject; vous devez ajouter des paramètres explicites:

let listIntoJsonArray lst memF = csvList "[" "]" lst memF 
let listIntoJsonObject lst memF = csvList "{" "}" lst memF 

Answer 3

Je n'ai pas essayé le code, mais en général, eta-conversion, par ex. changer

let myFunVal = partialApplication toSomeArgs 

à

let myFun rest = partialApplication toSomeArgs rest 

est susceptible de résoudre ce problème.