F＃中的字符串用于字符串

Question

我正在使用遗留数据库而没有我可以修改的系统。由于类型提供程序，我决定使用F＃。我现在并不那么简单。如何在我的数据库中构建一个只包含以下字符串的字段？它有点像ENUM。我已经尝试了以下但是还没有得到它。

尝试1

type SuspendedDriver = "SI"
type ActiveDriver = "IMPRESO"
type Applicant = "NO"
type TemporaryDriver = "TEMP"
type Uncertain = "NULL"

type DriverStatus =
    | SuspendedDriver
    | ActiveDriver
    | Applicant
    | TemporaryDriver
    | Uncertain

type Driver = {
    status : DriverStatus
    }

错误的

Error FS0618: Invalid literal in type (FS0618) (ScriptTest)

尝试2

type DriverStatus =
    | SuspendedDriver = "SI"
    | ActiveDriver = "IMPRESO"
    | Applicant = "NO"
    | TemporaryDriver = "TEMP"
    | Uncertain = "NULL"

错误的

Error FS0951: Literal enumerations must have type int, uint, int16,
uint16, int64, uint64, byte, sbyte or char (FS0951) (ScriptTest)

Answer 1

如评论中所述，您无法定义将值删除为字符串的枚举。枚举只能是整数（各种类型）。

以丑陋的方式使用枚举

你可以使用枚举字段的实际名称，然后使用Enum.Parse解析它们，但这可能不是一个好主意，因为枚举案例将是相当模糊的代码。但只是为了记录，以下工作：

type DriverStatus =
   | SI = 0

System.Enum.Parse(typeof<DriverStatus>, "SI") :?> DriverStatus

清理解析为歧视联盟

在实践中，我会做Sam推荐的并编写一个函数来解析数据库中的字符串。这样做的好处是你需要弄清楚如何处理数据库中的错误（值总是错误的）：

type DriverStatus =
   | SuspendedDriver
   | ActiveDriver

let parseDriverStatus = function
   | "SI" -> SuspendedDriver
   | "IMPRESO" -> ActiveDriver 
   | code -> failwith (sprintf "Wrong driver code! %s" code)

使用酷的Enum SQL提供程序

最后，如果您正在使用MS SQL数据库，那么SQL Command Provider项目有一个简洁的功能，可以让您自动从SQL数据库本身导入类似枚举的类型，这实际上可能正是您所需要的这种情况。