SQL数据库的类型提供程序将连接字符串用于两个不同的目的。首先，它需要一个（在编译时）来生成数据库模式。其次，您可以（可选）给它另一个供您在实际运行程序时在运行时使用。

需要在中指定编译时连接字符串作为参数，SqlDataConnection<...>并且可以将运行时连接字符串传递给GetDataContext(...)操作。

因此，您可以使用静态已知的编译时连接字符串来定义类型：

[<Literal>]
let connectionString = "Data Source=.\SQLEXPRESS;Initial Catalog=Service; ..."
type dbSchema = SqlDataConnection<connectionString>

而且，当您要创建数据库连接的实例时，可以向其传递另一个连接字符串：

type Factory(connectionString) =
  // Create connection to the DB using (a different)
  // connection string specified at runtime
  let db = dbSchema.GetDataContext(connectionString)

  member this.GetList( latitudeLeftTop, longitudeLeftTop, 
                       latitudeRightBottom, longitudeRightBottom) =
    // Use local 'db' to access the database
    query { for v db.Table do select v }

与您的原始代码（db在模块中具有值）相比，这会db为each创建一个新的实例Factory，但是我想如果Factory将连接字符串作为参数，这是可以预期的。