F# Language Reference

V této části je odkaz na jazyk F# multi-paradigm programování cílení na jazyk.NET platformy.Podporuje jazyk F# funkční, objektově orientovaný a naléhavé modely programování.

F# tokeny

Následující tabulka obsahuje referenční témata, která obsahují tabulky klíčová slova, symboly a používá tokeny v F# jako literály.

Title	Description
Klíčové slovo odkaz (F#)	Obsahuje odkazy na informace o všech klíčových jazyk F#.
Referenční operátor (F#) a symbol	Obsahuje tabulku symbolů a operátory, které jsou používány v jazyce F#.
Literály (F#)	Popisuje syntaxi pro literálové hodnoty F# a jak zadat informace o F# literály typu.

F#-jazykové koncepty

Následující tabulka obsahuje odkazy na témata popisují koncepty jazyk k dispozici.

Title	Description
Funkce (F#)	Funkce jsou základní jednotkou provádění programu v jakémkoli programovacím jazyce.Jako v jiných jazycích funkce F# má název, může mít parametry a argumenty převzít a obsahuje tělo.F# podporuje také funkční programovacích konstrukcí, jako je například funkce zpracovávající jako hodnoty pomocí funkce nepojmenované ve výrazech složení funkce nové funkce, funkce curried a implicitní definice funkce formou částečného používání argumenty funkce.
Typy F#	Popisuje typy, které jsou používány v F# a jak byly pojmenovány a popsané typy F#.
Odvození typu (F#)	Popisuje, jak kompilátor F# odvodí typy hodnot, proměnné a parametry vrácené hodnoty.
Automatické generalizace (F#)	Popisuje obecné konstrukce v F#.
Dědičnost (F#)	Popisuje dědičnosti, která slouží k modelování vztahů "je a, nebo vytvoření podtypů v objektově orientovaném programování.
Členy (F#)	Popisuje typy objektů F# členy.
Parametry a argumenty (F#)	Popisuje podporu jazyka pro definování parametrů a předávání argumentů funkce, metody a vlastnosti.Obsahuje informace o tom, s odkazem.
Operátor přetížení (F#)	Popisuje přetěžování aritmetické operátory v záznamu typu nebo třídy a na globální úrovni.
Obsazení a převody (F#)	Popisuje podporu pro převody typu F#.
Řízení přístupu (F#)	Popisuje řízení přístupu v F#.Řízení přístupu znamená deklarování co klientům je použít některé prvky programu typů, metod, funkce atd.
Porovnávání (F#)	Popisuje vzorů, které jsou pravidla pro transformování vstupní data, která se používají v celém jazyk F# extrahovat data porovnat vzorkem, rozloží složkových částí dat nebo extrahovat informace z data různými způsoby.
Aktivní vzorky (F#)	Popisuje aktivní vzorky.Aktivní vzorky umožňují definovat pojmenovanou oddíly, které rozdělit vstupní data.Aktivní vzorky lze rozložit data pro každý oddíl vlastní způsobem.
Tvrzení (F#)	Popisuje assert výraz, který můžete použít k testování výrazu funkce ladění.Při selhání v režimu ladění generuje nepravdivých dialogové okno chyby systému.
Zpracování (F#) výjimek	Obsahuje informace o podpoře v jazyce F# zpracování výjimek.
Atributy (F#)	Popisuje atributy, které povolit metadat pro programování konstrukce.
Správa prostředků: Použití klíčového slova (F#)	Popisuje klíčová slova use a using, který můžete řídit inicializace a uvolnění prostředků
Obory názvů (F#)	Popisuje podporu oboru názvů v F#.Obor názvů umožňuje uspořádat kód do oblastí související funkce také připojit název seskupení prvků programu.
Moduly (F#)	Popisuje moduly.Modul F# je seskupení F# kódu, například hodnoty, typy a hodnoty funkcí v programu F#.Kód v modulech seskupení pomáhá udržovat pohromadě související kód a pomáhá zabránit konfliktům názvů v programu.
Dovozních prohlášení: Otevřít klíčové (F#)	Popisuje, jak open funguje.Dovozní prohlášení Určuje modul nebo jehož prvky lze odkazovat bez použití úplného názvu oboru názvů.
Podpisy (F#)	Popisuje soubory podpisů a podpisy.Podpis souboru obsahuje informace o veřejné podpisů sady F# program prvky, jako například moduly, obory názvů a typů.Lze určit usnadnění těchto prvků programu.
Dokumentace XML (F#)	Popisuje podporu pro generování dokumentace soubory XML dokumentu komentáře, poznámky také známé jako triple lomítko.Můžete vytvořit dokumentaci z kódu komentářů v F# stejně jako v ostatních.NET jazyků.
Syntaxe podrobného (F#)	Popisuje syntaxi pro F# konstrukce lehký syntaxe není povoleno.Syntaxe komentářem je označen #light "off" v horní části kódu souboru směrnice.

Typy F#

Následující tabulka zobrazuje odkaz dostupná témata popisující typy podporované jazykem F#.

Title	Description
Hodnoty (F#)	Popisuje hodnoty, které jsou nezměnitelné množství, které mají zvláštní typ; hodnoty mohou být nedílnou nebo plovoucí desetinnou, znaků nebo text, seznamy, sekvence, matice, n-tic, discriminated sdružení, záznamy, typy tříd nebo funkce hodnoty.
Primitivní typy (F#)	Popisuje základní používané v jazyce F# primitivní typy.Poskytuje také odpovídající.NET typy a minimální a maximální hodnoty pro každý typ.
Typ jednotky (F#)	Popisuje unit typ, který je typu, který označuje konkrétní hodnotu; unit typ má pouze jednu hodnotu, která slouží jako zástupný symbol jiná hodnota existuje, nebo je potřeba.
Řetězce (F#)	Popisuje řetězce v F#.string Typ představuje nezměnitelné text jako posloupnost znaků Unicode.stringje alias String v.NET Framework.
N-tic (F#)	Popisuje n-tic, které jsou objednané, ale bez názvu hodnoty různými typy seskupení.
Typy kolekce F#	Přehled F# typy kolekcí funkční, včetně typů pro pole, seznamy, sekvence (seq), mapy a sad.
Seznamy (F#)	Popisuje seznamy.F# seznam je uspořádaný, neměnná řadou prvků stejného typu.
Možnosti (F#)	Popisuje typ možnosti.Možnost v F# při hodnotu může nebo nemusí existovat.Základní typ má možnost a mohou buď držet hodnotu typu nebo nemá hodnotu.
Sekvence (F#)	Popisuje číselné řady.Logické řady prvků je posloupnost jednoho typu.Pořadí jednotlivých prvků jsou pouze vypočítanou v případě potřeby tedy může být menší, než udává počet literál prvek zastoupení.
Matice (F#)	Popisuje matice.Pole jsou sekvence pevné velikosti, od nuly, proměnlivých dat po sobě následujících prvků stejného typu.
Záznamy (F#)	Popisuje záznamy.Záznamy představují jednoduché agregáty pojmenované hodnoty volitelně s členy.
Discriminated unií (F#)	Popisuje discriminated unií, který poskytuje podporu pro hodnoty, které mohou být jednu řadu jmenovitých případů s různými hodnotami a typy.
Vyčíslení (F#)	Popisuje výčty jsou typy sada pojmenované hodnoty.Můžete je použít namísto literály provést kód čitelnější a údržba.
Odkaz na buňky (F#)	Popisuje odkaz na buňky, které jsou umístění úložiště, které umožňují vytvořit proměnlivých proměnné s referenční sémantiku.
Typ zkratky (F#)	Popisuje typ zkratky, které jsou alternativní názvy typů.
Třídy (F#)	Popisuje třídy, které jsou typy, které představují objekty, které mohou mít vlastnosti, metody a události.
Struktury (F#)	Popisuje struktur, které jsou kompaktní objekt typy, které může být efektivnější než třídy pro typy, které mají malé množství dat a jednoduchý.
Rozhraní (F#)	Popisuje rozhraní, které určují sady členů souvisejících, které implementují jiných tříd.
Abstraktní třídy (F#)	Popisuje abstraktní třídy, které jsou třídy ponechejte některých nebo všech členů Neimplementovaný, mohou být dodávána implementací odvozené třídy.
Typ rozšíření (F#)	Popisuje typ rozšíření, které umožňují přidat nové členy typu dříve definovaného objektu.
Flexibilní typy (F#)	Popisuje typy flexibilní.Anotace typu flexibilní je zadaný údaj parametru, proměnné nebo hodnotu má typ, který je kompatibilní s typem kde kompatibility je určena pozice v hierarchii pro objektově orientované rozhraní nebo třídy.
Delegáti (F#)	Popisuje delegátů, které představují volání funkce jako objekt.
Jednotek (F#)	Popisuje měrné jednotky.Plovoucí v F# hodnoty bodu jsou přidruženy měrných jednotkách, které se obvykle používají k označení délka, objem, hmotnost a podobně.
Typ zprostředkovatele	Popisuje typ nabízí a poskytuje odkazy na názorné postupy pro přístup k databázím a webových služeb pomocí předdefinovaný typ zprostředkovatele.

F# výrazy

Následující tabulka obsahuje seznam témat popisujících F# výrazy.

Title	Description
Podmíněné výrazy: Pokud... potom... else (F#)	Popisuje if...then...else výraz, který spustí kód různých pobočkách a také vyhodnocen jako hodnota liší v závislosti na logický výraz uveden.
Shoda výrazy (F#)	Popisuje match výraz, který poskytuje větvení ovládací prvek, který je založen na srovnání výraz s sady vzorů.
Smyčky: for... výraz (F#)	Popisuje for...to výraz, který se používá k iteraci smyčky v rozsahu hodnot proměnnou smyčky.
Smyčky: for... ve výrazu (F#)	Popisuje for...in výraz, opakování konstrukt, který se používá k iterování odpovídá vzorku agregující kolekce jako výraz rozsahu, sekvence, seznam, pole nebo jiné konstrukce podporující výčtu.
Smyčky: while... proveďte výraz (F#)	Popisuje while...do výraz, který se používá k provedení opakované spuštění (opakování) určené testovací podmínka je PRAVDA.
Objekt výrazy (F#)	Popisuje objekt výrazy, které jsou výrazy, které vytvářejí nové instance typu anonymní dynamicky vytvořený objekt založený na existující základní typ, rozhraní nebo sady rozhraní.
Opožděné výpočty (F#)	Popisuje lazy výpočty, které jsou výpočty, které nejsou vyhodnocovány okamžitě, ale místo vyhodnocovány výsledek je skutečně potřeba.
Výpočet výrazy (F#)	Popisuje výpočtu výrazy v F#, které poskytují pohodlný syntaxe zápisu výpočty, které mohou být seřazeny a kombinované použití řízení toku konstrukce a vazby.Lze použít poskytovat pohodlný syntaxe monads, funkční programovací funkce, která slouží ke správě dat, řízení a vedlejší účinky funkčnosti aplikací.Jeden typ výpočtu výrazu, asynchronní pracovní postup podporuje asynchronní a paralelní výpočty.Další informace naleznete v tématu Asynchronní pracovní postupy (F#).
Asynchronní pracovní postupy (F#)	Popisuje funkce jazyka, která umožňuje zápis asynchronního kódu tak, že je velmi blízko způsobem je píšete přirozeně synchronní kód asynchronní pracovní postupy.
Kód nabídky (F#)	Kód nabídky popisuje jazyk funkce, která umožňuje vytvářet a pracovat s výrazy kódu F# programově.
Výrazy dotazu (F#)	Popisuje funkce jazyka, která implementuje LINQ pro F# a umožňuje psát dotazy vůči zdroj dat nebo agregující kolekce výrazy dotazu.

Kompilátor podporované konstrukce

Následující tabulka obsahuje seznam témat popisujících speciální konstrukce kompilátor podporován.

Téma	Description
Direktivy kompilátoru (F#)	Popisuje procesoru směrnic a direktivami kompilátoru.
Zdrojový řádek souboru a cestu identifikátory (F#)	Popisuje identifikátory __LINE__, __SOURCE_DIRECTORY__ a __SOURCE_FILE__, které jsou předdefinované hodnoty, které umožňují přístup k řádku číslo, adresář a soubor název zdrojového kódu.

Viz také

Další zdroje

Visual F#

F# kompilátoru (fsc.exe) odkaz