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
Název |
Popis |
|---|---|
Brána pro širokou škálu informací o jazyce F#. |
|
Obsahuje informace o používání jazyka F# v Integrovaném vývojovém prostředí (IDE), včetně nastavení projektu a technologie IntelliSense. |
|
Poskytuje referenční informace o jazyce F#, včetně informací o klíčových slovech, symbolech a operátorech. |
|
Poskytuje referenční informace o základní knihovně jazyka F#, FSharp.Core.dll. |
|
Obsahuje informace o kompilátoru jazyka F#, fsc.exe, včetně informací o možnostech kompilátoru. |
|
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é. |
|
Obsahuje odkazy na ukázky a příručky jazyka F#. |