Visual F#

Jazyk F# je programovací jazyk, který kromě tradičního objektově orientovaného a imperativního (procesního) programování podporuje funkční programování.Produkt Visual F# podporuje vývoj aplikací jazyka F# a rozšiřování ostatních aplikací rozhraní .NET Framework pomocí kódu jazyka F#.Jazyk F# je prvotřídní člen jazyků rozhraní .NET Framework a je velmi podobný rodině funkčních jazyků ML.

Tato verze Visual F# obsahuje verzi 3.1 jazyka F#.

Jazyk více paradigmat

Jazyk F# podporuje konstrukce funkčního programování, například:

• Funkce jako hodnoty, které umožňují flexibilní manipulaci s funkcemi.Další informace naleznete v tématu Funkce jako hodnoty první třídy (F#).

• Sestavení funkce a kanály, které umožňují kombinovat funkce dohromady, a tím vytvořit nové funkce a zjednodušit kódování následných operací s daty.Další informace naleznete v tématu Funkce (F#).

• Odvození typu, což snižuje nároky na explicitně volané typy, aniž by došlo ke ztrátě bezpečnosti.

• Automatická generalizace, která podporuje opakované použití kódu usnadněním psaní kódu, který spolupracuje s řadou různých typů bez jakéhokoli dalšího úsilí.

• Podpora porovnávání vzorů, což zjednodušuje složitý podmíněný kód, a rozlišovaná sjednocení, která jsou optimalizována pro použití s porovnáváním vzorů.

• Typy kolekce pro práci s neměnnými daty, včetně typů seznam a sekvence.

• Výrazy lambda, které jsou důležité pro mnoho konstrukcí funkčního programování.

• Částečná aplikace argumentů funkce, která umožňuje implicitně vytvářet nové funkce z již existujících.Další informace naleznete v tématu Funkce (F#).

• Nabídky kódu, což je prvek, který umožňuje programově zpracovat výrazy jazyka F#.

Jazyk F# podporuje objektově orientované programování a možnosti rozhraní .NET Framework, například tyto:

• Objektový model rozhraní .NET Framework, včetně objektů, které mají vlastnosti, metody a události; polymorfismus nebo virtuální funkce; dědičnost a rozhraní.

• Zapouzdření dat nebo oddělení veřejného rozhraní typu z implementace.

• Přetížení operátoru, které funguje s generickými a vestavěnými primitivními typy.

• Přípony typu, které umožňují snadno rozšířit existující typ, bez dodatečné režijní práce vytváření nového odvozeného typu.

• Výrazy objektu, které umožňují podle potřeby implicitně definovat malé objekty ve výrazech, namísto deklarování nového typu a konkretizace objektu.

• Přístup k rozhraní .NET Framework a jakémukoli spravovanému sestavení kódu.

• Přístup k nativnímu kódu pomocí vyvolání platformy.

Visual F# podporuje programování bohaté na informace.Tato technologie umožňuje programovat přímo proti prostorům bohatým na data a služby, které dnes často převládají na poli podnikového a webového programování, jako jsou databáze, webové služby, webové datové informační kanály a obchodování s daty.

Programování bohaté na informace v jazyce F# je zaměřeno na kód a může být použito ve skriptech i projektech.Umožňuje také specifikovat databázové připojení pomocí služby OData a pro systém SQL Server přímo v kódu a navíc přidává silné typování pomocí technologie IntelliSense.Tento mechanismus je rozšiřitelný, umožňuje psát nebo odkazovat nové poskytovatele datových technologií, technologií kódu a služeb, jako jsou například: služba SharePoint, webové ontologie, rozhraní Windows Management Instrumentation (WMI), XML a další zdroje informací.Technicky vzato zahrnuje informačně bohaté programování v jazyce F# mechanismus Poskytovatelé typu jazyka F#, Výrazy dotazu jazyka F# a sadu předdefinovaných poskytovatelů pro databáze, službu OData a programování webových služeb.

Jazyk F# rovněž podporuje všechny běžné konstrukce imperativního programování, například větvení a konstrukce opakování.

Knihovny jazyka F#

Produkt Visual F# zahrnuje také knihovnu jazyka F#, která má mnoho užitečných funkcí a typů.To zahrnuje rozhraní API pro kolekce, například seznamy, pole, mapy, nastavení a sekvence.Knihovna jazyka F# podporuje také reflexi, události a formátovaný vstup/výstup.

Kromě toho knihovna jazyka F# obsahuje podporu pro asynchronní pracovní postupy na podporu paralelních výpočtů a mechanismus pro komunikaci mezi paralelními pracovními postupy.Další informace naleznete v tématu Asynchronní pracovní postupy (F#), Control.Async – třída (F#) a Control.MailboxProcessor<'Msg> – třída (F#).

Hlavní knihovna jazyka F# je FSharp.Core.dll.Další knihovny jsou k dispozici v balíčku PowerPack jazyka F#, který je dostupný na webu Centra pro vývojáře jazyka F# společnosti Microsoft.

Existují samostatně kompilované verze základní knihovny jazyka F#, které podporují různé verze rozhraní .NET Framework.Verze 2.0 podporuje rozhraní .NET Framework verze 2.0, 3.0 a 3.5 a verze 4.0 podporuje rozhraní .NET Framework 4 a novější.Verze Základní knihovny jazyka F# pro program Silverlight jsou navíc k dispozici ke stažení.

Interaktivní skriptování

Visual F# poskytuje interaktivní okno, které je integrované do vývojového prostředí sady Visual Studio.Toto okno umožňuje zadat kód jazyka F# a nechat jej okamžitě kompilovat a provést.Tento postup umožňuje snadné vytváření prototypů konstrukcí kódu a testování kódu při psaní.Interaktivní okno spustí interaktivní nástroj jazyka F#, fsi.exe, který lze také spustit z příkazového řádku.Tato funkce umožňuje, aby byl jazyk F# použit jako skriptovací jazyk.Další informace naleznete v tématu Interaktivní referenční dokumentace F# (fsi.exe).

Integrace se sadou Visual Studio

Jazyk F# je integrován se sadou Visual Studio a obsahuje podporu pro následující prvky:

• Projekty, včetně šablon pro běžné typy projektů.Další informace najdete v tématech Zápis programů F# pomocí sady Visual Studio a Konfigurace projektů (F#).

• IntelliSense.Další informace naleznete v tématu Používání atributu IntelliSense.

• Ladění.Další informace naleznete v tématu Ladění v sadě Visual Studio.

• Další informace naleznete v tématu F# – funkce vývojového prostředí.

Související témata

Viz také

Koncepty

Visual Studio 2013