如何使我的函数通用

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 

我似乎找不到使 csvList 或其部分应用的帮助器 listIntoJsonArray 或 listIntoJsonObject 通用的神奇方法。

感谢您的帮助。

Answer 1

您的 listIntoJsonArray 和 listIntoJsonObject 是值，而不是函数，因此您遇到了 价值限制怪物。您可以通过添加显式参数将它们转换为函数，也可以将它们转换为类型函数。

// 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

我还没有尝试过这些代码，但一般来说，eta-conversion（例如更改

let myFunVal = partialApplication toSomeArgs

为）

let myFun rest = partialApplication toSomeArgs rest

可能会解决此问题。

Answer 3

csvList 看起来足够通用：string ->字符串 -> '列表-> ('a -> 字符串) -> string

但您在尝试部分应用时遇到了值限制与listIntoJsonArray和listIntoJsonObject；您需要添加显式参数：

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