共用方式為


型別提供者

F# 型別提供者是提供型別、屬性和方法用於程式中的元件。 型別的提供者是 F# 3.0 支援的重要部分資訊資源強化程式設計。 這項資訊的資源以增進程式設計的關鍵在於消除障礙與現今企業環境中找到在網際網路和不同的資訊來源使用。 包含到一個程式訊息來源的重要阻礙是代表該資訊做為型別、屬性和方法所使用的程式設計語言環境之需求。 手動撰寫這些型別非常耗時又難以維護。 一般選項是用程式碼產生器將檔案加入至你的專案,不過,因為當每次服務參考進行調整後都必須取代產生的程式碼,程式碼產生的一般型別無法正確整合 F# 程式設計支援的探勘模式。

F# 型別提供者提供的的型別會根據外部資料來源。 例如, SQL 中的 F# 型別提供者會提供您需要的所有搭配SQL 資料庫使用的資料表之可存取的型別、屬性和方法。 同樣地, WSDL Web 服務提供者會提供您需要的任何 WSDL Web 服務使用之型別、屬性和方法。

F# 型別提供者所提供的一組型別、屬性和方法藉由程式碼的參數來決定。 例如,型別提供者可以根據連接字串或服務 URL 提供不同的型別。 如此一來,透過連接字串或 URL的可用訊息空間來直接整合入您的程式。 型別的提供者也可以確保型別的群組只會展開需求,也就是說,如果型別是由程式,實際上是參考它們展開。 這允許較大型的資訊空間的直接,視需要整合顯示社群資料市場的強型別的方式。

F# 3.0 包含許多常用的網際網路和商務資料服務的內建型別提供者。 這些型別提供者提供對於 SQL 關聯式資料庫和網路基礎的 OData 和 WSDL 服務和支援使用 F# LINQ 查詢這些資料來源之簡單及正規的存取。

在需要時,您可以建立擁有由其他人所建立的自訂提供者型別或參考型別的提供者。 例如,假設您的機構有提供一個大量且成長的命名資料集之資料服務,而每個資料集都有屬於自己的穩定資料結構描述。 您可以選擇建立對於程式設計人員顯示強型別之讀取結構描述及顯示最新可用資料集的的型別提供者。

相關主題

標題

描述

逐步解說:使用型別提供者存取 SQL 資料庫 (F#)

說明如何使用SqlDataConnection型別提供者來根據直接連接至資料庫的連接字串存取 SQL 資料庫的資料表和預存程序。 這個存取使用 LINQ to SQL的對應。

逐步解說:使用型別提供者和實體存取 SQL 資料庫 (F#)

說明如何使用SqlEntityConnection type provider來根據直接連接的連接字串 (Connection String) 存取 SQL 資料庫的資料表和預存程序。 存取使用 LINQ to Entities mapping。 這個方法適用所有資料庫,但是所示範的是 SQL Server。

逐步解說:使用型別提供者存取 OData 服務 (F#)

說明如何使用 ODataService type provider在一個service URL上以強型別的方式存取一個OData service。

逐步解說:使用型別提供者存取 Web 服務 (F#)

說明如何使用 WsdlService type provider在一個service URL上以強型別的方式存取一個 WSDL web service。

逐步解說:從 DBML 檔案產生 F# 型別 (F#)

說明如何使用 DbmlFile type provider在 Linq to SQL 資料庫結構描述規格的 DBML 檔案上存取 SQLdatabase 的資料表和預存程序。

逐步解說:從 EDMX 結構描述檔案產生 F# 型別 (F#)

說明如何使用 EdmxFile type provider在 Entity Framework 結構描述規格中 EDMX 檔案上存取 SQL 資料庫的資料表和預存程序。

教學課程:建立型別提供者 (F#)

提供關於撰寫自訂型別提供者的資訊。

型別提供者安全性

開發時,型別提供者時,提供有關安全性考量的相關資訊。

型別提供者疑難排解

提供關於可能會發生在使用型別提供者的常見問題並包含建議解決方法。

請參閱

概念

處理序

其他資源

F# 語言參考

Visual F#