Referenční dokumentace jazyka F#
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 |
|---|---|
Obsahuje odkazy na informace o všech klíčových jazyk F#. |
|
Obsahuje tabulku symbolů a operátory, které jsou používány v jazyce 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 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. |
|
Popisuje typy, které jsou používány v F# a jak byly pojmenovány a popsané typy F#. |
|
Popisuje, jak kompilátor F# odvodí typy hodnot, proměnné a parametry vrácené hodnoty. |
|
Popisuje obecné konstrukce v F#. |
|
Popisuje dědičnosti, která slouží k modelování vztahů "je a, nebo vytvoření podtypů v objektově orientovaném programování. |
|
Popisuje typy objektů F# členy. |
|
Popisuje podporu jazyka pro definování parametrů a předávání argumentů funkce, metody a vlastnosti.Obsahuje informace o tom, s odkazem. |
|
Popisuje přetěžování aritmetické operátory v záznamu typu nebo třídy a na globální úrovni. |
|
Popisuje podporu pro převody typu 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. |
|
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. |
|
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. |
|
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. |
|
Obsahuje informace o podpoře v jazyce F# zpracování výjimek. |
|
Popisuje atributy, které povolit metadat pro programování konstrukce. |
|
Popisuje klíčová slova use a using, který můžete řídit inicializace a uvolnění prostředků |
|
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. |
|
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. |
|
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ů. |
|
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. |
|
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ů. |
|
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 |
|---|---|
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. |
|
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. |
|
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. |
|
Popisuje řetězce v F#.string Typ představuje nezměnitelné text jako posloupnost znaků Unicode.stringje alias String v.NET Framework. |
|
Popisuje n-tic, které jsou objednané, ale bez názvu hodnoty různými typy seskupení. |
|
Přehled F# typy kolekcí funkční, včetně typů pro pole, seznamy, sekvence (seq), mapy a sad. |
|
Popisuje seznamy.F# seznam je uspořádaný, neměnná řadou prvků stejného typu. |
|
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. |
|
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í. |
|
Popisuje matice.Pole jsou sekvence pevné velikosti, od nuly, proměnlivých dat po sobě následujících prvků stejného typu. |
|
Popisuje záznamy.Záznamy představují jednoduché agregáty pojmenované hodnoty volitelně s členy. |
|
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. |
|
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. |
|
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. |
|
Popisuje typ zkratky, které jsou alternativní názvy typů. |
|
Popisuje třídy, které jsou typy, které představují objekty, které mohou mít vlastnosti, metody a události. |
|
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ý. |
|
Popisuje rozhraní, které určují sady členů souvisejících, které implementují jiných tříd. |
|
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. |
|
Popisuje typ rozšíření, které umožňují přidat nové členy typu dříve definovaného objektu. |
|
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. |
|
Popisuje delegátů, které představují volání funkce jako objekt. |
|
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ě. |
|
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 |
|---|---|
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. |
|
Popisuje match výraz, který poskytuje větvení ovládací prvek, který je založen na srovnání výraz s sady vzorů. |
|
Popisuje for...to výraz, který se používá k iteraci smyčky v rozsahu hodnot proměnnou smyčky. |
|
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. |
|
Popisuje while...do výraz, který se používá k provedení opakované spuštění (opakování) určené testovací podmínka je PRAVDA. |
|
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í. |
|
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. |
|
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#). |
|
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 popisuje jazyk funkce, která umožňuje vytvářet a pracovat s výrazy kódu F# programově. |
|
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 |
|---|---|
Popisuje procesoru směrnic a direktivami kompilátoru. |
|
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. |