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 zůstává velmi podobný rodině funkčních jazyků ML.

Tato verze Visual F# obsahuje verzi 3.0 jazyka F#.Pokud chcete zjistit, co je nového, podívejte se na Co je nového pro Visual F# v roce 2012 Visual Studio.

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 prvotřídní hodnoty (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 díky usnadnění 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.

• Lambda výrazy, 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, 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 následující:

• 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é pracuje dobře 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 do nativního kódu pomocí vyvolání platformy.

Visual F# v Visual Studio 2012 rozšiřuje jazyk F# pro podporu programování bohatého na informace v jazyce F#.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í OData a pro systém SQL Server přímo v kódu aplikace, a navíc přidává silné typování pomocí technologie IntelliSense.Tento mechanismus je rozšiřitelný, umožňuje psát nebo referencovat nové poskytovatele datových technologií, technologií kódu a služeb, jako jsou například: služba SharePoint, webové ontologie, 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, OData a programování webových služeb.

Další informace naleznete v tématu Co je nového pro Visual F# v roce 2012 Visual Studio.

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 jazka F#, která má mnoho užitečných funkcí a typů.V tom je zahrnuto rozhraní API pro kolekce, například seznamy, sestavy, mapy, nastavení a sekvence.Knihovna jazyka F# podporuje také reflexi, události a formátované I/O.

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#), Třída Control.Async (F#) a Control.MailboxProcessor < "Msg > Třídy (F#).

Hlavní knihovna jazyka F# je FSharp.Core.dll.Další knihovny jsou k dispozici v PowerPack jazyka F#, který je dostupný na webu Vývojářského centra 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 verze 2.0, 3.0 a 3.5 rozhraní .NET Framework a verze 4.0 podporuje rozhraní .NET Framework 4 a novější verze rozhraní .NET Framework.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í Visual Studio.Toto okno umožňuje zadat kód jazyka F# a nechat jej okamžitě kompilovat a provést.Toto umožňuje snadno prototypovat konstrukce kódu a testovat kód 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 F# referenční interaktivní (fsi.exe).

Integrace se systémem Visual Studio

Jazyk F# je integrován se systémem Visual Studio a obsahuje podporu pro následující:

• Projekty, včetně šablon pro běžné typy projektů.Další informace naleznete v tématu F# aplikací pomocí sady Visual Studio a Konfigurace projektů (F#).

• Technologie IntelliSense.Další informace naleznete v tématu Pomocí technologie IntelliSense.

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

• Další informace naleznete v tématu Funkce prostředí vývoje F#.

Příbuzná témata

Title	Description
Co je nového pro Visual F# v roce 2012 Visual Studio	Obsahuje informace o novinkách aktuální verze Visual F#.
Vizuální F# rozvoj portálu	Brána pro širokou škálu informací o jazyce F#.
F# aplikací pomocí sady Visual Studio	Obsahuje informace o použití jazyka F# v Integrovaném vývojovém prostředí (IDE), včetně nastavení projektu a technologie IntelliSense.
F# Language Reference	Poskytuje referenční informace o jazyce F#, včetně informací o klíčových slovech, symbolech a operátorech.
F# základní referenční knihovny	Poskytuje referenční informace o základní knihovně jazyka F#, FSharp.Core.dll.
F# kompilátoru (fsc.exe) odkaz	Obsahuje informace o kompilátoru jazyka F#, fsc.exe, včetně informací o možnostech kompilátoru.
F# referenční interaktivní (fsi.exe)	Obsahuje informace o komponentě F# Interactive, fsi.exe, včetně informací o možnostech příkazového řádku a diagnostických zprávách, které jsou pro komponentu F# Interactive specifické.
Vizuální F# vzorky a návody	Obsahuje odkazy na ukázky a příručky jazyka F#.

Viz také

Další zdroje

Visual Studio