F＃中的Haskell HDBC優雅？

Question

哈斯克爾的簡潔和優雅讓我印象深刻。但是我在一個.Net的房子裏工作，所以我用F＃的時候，我可以逃避它 - 我可能是全國數百人中唯一使用它的人。

ADO.NET或F＃提供的內容與HDBC的executeMany一樣簡潔而優雅嗎？我正在通過Real World Haskell。在chapter 21它提供了這個例子：

ghci> conn <- connectSqlite3 "test1.db" 
ghci> stmt <- prepare conn "INSERT INTO test VALUES (?, ?)" 
ghci> executeMany stmt [[toSql 5, toSql "five's nice"], [toSql 6, SqlNull]] 
ghci> commit conn 
ghci> disconnect conn 

我希望得到這個優雅和簡潔性在我的F＃。我已經看到很多關於使用參數化查詢來避免SQL注入攻擊的炒作。我沒有在這種情況下使用它們，原因有三：

1. 我在.Net中發現了參數化查詢的難度和繁瑣。
2. 我的數據來自公司辦公室，所以它（大部分）都很乾淨。
3. 我的表格有34列。我鄙視使用34列參數化查詢的想法。

這裏是我的F＃代碼：

module Data 

open System 
open System.Data 
open System.Data.OleDb 
open System.Text.RegularExpressions 

type Period = Prior | Current 

let Import period records db = 
    use conn = new OleDbConnection(@"Provider=Microsoft.ACE.OLEDB.12.0;Data Source=" + db + ";Persist Security Info=False;") 

    let execNonQuery s = 
     let comm = new OleDbCommand(s, conn) in 
     comm.ExecuteNonQuery() |> ignore 

    let enquote = sprintf "\"%s\"" 
    let escapeQuotes s = Regex.Replace(s, "\"", "\"\"") 
    let join (ss:string[]) = String.Join(",", ss) 

    let table = match period with 
       | Prior -> "tblPrior" 
       | Current -> "tblCurrent" 
    let statements = 
     [| for r in records do 
       let vs = r |> Array.map (escapeQuotes >> enquote) |> join 
       let vs' = vs + sprintf ",\"14\",#%s#" (DateTime.Now.ToString "yyyy-MM-dd") in 
       yield sprintf "INSERT INTO %s ([Field01], [Field02], [Field03] [Field04], [Field05], [Field06], [Field07], [Field08], [Field09], [Field10], [Field11], [Field12], [Field13], [Field14], [Field15], [Field16], [Field17], [Field18], [Field19], [Field20], [Field21], [Field22], [Field23], [Field24], [Field25], [Field26], [Field27], [Field28], [Field29], [Field30], [Field31], [Field32], [Field33], [Field34]) VALUES (%s)" table vs' |] in 

    do conn.Open() 
    execNonQuery (sprintf "DELETE FROM %s" table) 
    statements |> Array.iter execNonQuery 

我已經改名爲桌，出於安全原因的領域。

因爲桌子上的所有字段都是文本，所以我可以輕鬆地Array.map它們來轉義並引用值。

每天要在9,000到10,000條記錄之間導入到兩個表中的每一個，我希望儘可能高效地完成此操作。因此我對Haskell的executeMany感興趣。但是，我喜歡參數化查詢背後的想法，我喜歡Hasekll實現它們的方式。 F＃中的簡潔和優雅有什麼相同之處？

Answer 1

我同意@JonnyBoats評論說，通常使用像SqlDataConnection（LINQ到SQL）或SqlEntityConnection（實體框架）的F＃SQL類型的供應商將遠遠超過任何一種涉及手工建築INSERT語句字符串的解決方案更優雅。

但是，您的問題有一個重要的限定詞：「每天要輸入9,000到10,000條記錄以導入兩個表中的每一個，我希望儘可能高效地完成此操作。」在這種情況下，您需要使用SqlBulkCopy來實現高效的批量插入（它利用本機數據庫驅動程序的功能來獲得比使用HDBC的executeMany更快的插入速度）。

下面是一個小例子，可以幫助您開始使用SqlBulkCopy和F＃：https://stackoverflow.com/a/8942056/236255。請注意，您將使用DataTable來分階段處理雖然在F＃中使用過時並且有些尷尬的數據，但仍然優於構建我認爲的插入語句字符串。響應

更新評論

這裏是一個廣義的方法來使用SqlBulkCopy這是您的方案提高（我們分別通過一列規範從行數據，無一不是動態的）：

//you must reference System.Data and System.Xml 
open System 
open System.Data 
open System.Data.SqlClient 

let bulkLoad (conn:SqlConnection) tableName (columns:list<string * Type>) (rows: list<list<obj>>) = 
    use sbc = new SqlBulkCopy(conn, SqlBulkCopyOptions.TableLock, null, BatchSize=500, BulkCopyTimeout=1200, DestinationTableName=tableName) 
    sbc.WriteToServer(
     let dt = new DataTable() 
     columns 
     |> List.iter (dt.Columns.Add>>ignore) 

     for row in rows do 
      let dr = dt.NewRow() 
      row |> Seq.iteri(fun i value -> dr.[i] <- value) 
      dt.Rows.Add(dr) 
     dt) 

//example usage: 

//note: since you know all your columns are of type string, you could define columns like 
//let columns = ["Field1", "Field2", "Field3"] |> List.map (fun name -> name, typeof<String>) 
let columns = [ 
    "Field1", typeof<String> 
    "Field2", typeof<String> 
    "Field3", typeof<String> 
] 

let rows = [ 
    ["a"; "b"; "c"] 
    ["d"; "e"; "f"] 
    ["g"; "h"; "i"] 
    ["j"; "k"; "l"] 
    ["m"; "n"; "o"] 
] 

//a little funkiness to transform our list<list<string>> to list<list<obj>>, 
//probably not needed in practice because you won't be constructing your lists literally 
let rows = rows |> List.map (fun row -> row |> List.map (fun value -> value :> obj)) 

bulkLoad conn "tblPrior" columns rows 

使用涉及反射的方法，您甚至可以獲得更多的精彩/更簡潔。例如創造型像

type RowData = { Field1:string; Field2:string; Field3:string } 

，並作出bulkLoad與需要list<'a>參數，使得它反映了的typeof<'a>的屬性名稱和類型來構建DataTableColumns，同樣使用反射來遍歷所有的簽名行實例的屬性創建並向DataTable添加新行。實際上，this question顯示瞭如何製作通用的ToDataTable方法（在C＃中）。