f# - 为什么我不能把这个字符串变成文字？

Question

我需要将字符串转换为文字，以便可以将其作为参数传递给 CsvProvider。但我做不到。下面的代码运行没有问题：

open System.IO
open FSharp.Data
open FSharp.Data.JsonExtensions

let charSwitch (a: char) b x =
    if x = a then
        b
    else
        x

let jsonDataPath = Path.Combine(__SOURCE_DIRECTORY__, @"data\fractal.json")
let jsonData = JsonValue.Load(jsonDataPath)

/// Path with traded assets
let trp = ((jsonData?paths?tradedAssets).AsString() |> Core.String.map (charSwitch '\\' '/')).ToString()
printfn "trp is a standard string: %s" trp
// trp is a standard string: H:/Dropbox/Excel/Data/Fractal/Traded.csv

但是，当添加以下两行

[<Literal>]
let tradedPath = trp

最后我得到消息This is not a valid constant expression or custom attribute value。

我什至尝试制作 trp 的副本，但这没有帮助。

有什么办法可以规避这个问题？

Answer 1

可悲的是，您不能通过将[<Literal>]属性应用到普通值来神奇地将其转换为文字值。

文字值的特殊之处在于它被编译为常量，这意味着它们必须在编译时可确定。

例如，这是一个文字字符串：

[<Literal>]
let testLiteral = "This is a literal string"

您可以将几个文字字符串组合成一个新的文字字符串：

[<Literal>]
let a = "a"
[<Literal>]
let b = "b"
[<Literal>]
let ab = a + b

您不能将任意函数应用于文字，因为那样它们在编译时将无法确定。

更多关于文字。

Answer 2

查看您尝试使用的最后一条评论CsvProvider，您当然可以使用其他东西来解析 csv 文件，但也可以[<Litera>]在 the上使用__SOURCE_DIRECTORY__以及提供 ResolutionFolder 参数（尽管这必须是文字）给提供者。这里有两个示例，一个使用项目根目录中的示例来创建类型，然后对实际文件使用命令行参数。另一种使用相对路径来解析文件。

open System
open FSharp.Data
open FSharp.Data.JsonExtensions


#if INTERACTIVE
#r @"..\packages\FSharp.Data.2.3.2\lib\net40\FSharp.Data.dll"
#endif 


[<Literal>]
let file = __SOURCE_DIRECTORY__ + @"\file1.csv"
[<Literal>]
let path3 = __SOURCE_DIRECTORY__
[<Literal>]
let path4 = "."

type SampleFile = CsvProvider<file,HasHeaders=true>
type SampleFile3 = CsvProvider<"file1.csv",HasHeaders=true,ResolutionFolder=path3>


[<EntryPoint>]
let main argv = 

    //let nonLiteralPath = @".\file1.csv" // you could hardcode this in the file but:
    let nonLiteralPath = argv.[0]  // you can also use a path specified on the command line
    let DataFile = SampleFile.Load(nonLiteralPath)
    [for row in DataFile.Rows -> row.``Key #1``]  |> printfn "%A"
    let x= SampleFile3.GetSample()  // use a relative path, this will be the root of the project at design time
                                    // or the root of the exe at the execution time
    [for row in x.Rows -> row.``Key #2``] |> printfn "%A"   

    printfn "%A" argv

对于输出：