Referenční dokumentace jazyka F#

Tato část je odkazem pro jazyk F#, programovací jazyk s více paradigmaty, který cílí na .NET. F# podporuje funkční, objektově orientované a imperativní programovací modely.

Uspořádání kódu jazyka F#

Následující tabulka obsahuje referenční články související s uspořádáním kódu jazyka F#.

Nadpis	Popis
Obory názvů	Přečtěte si o podpoře oboru názvů v jazyce F#. Obor názvů umožňuje uspořádat kód do oblastí souvisejících funkcí tím, že vám umožní připojit název ke seskupení prvků programu.
Moduly	Přečtěte si o modulech. Modul F# je jako obor názvů a může také obsahovat hodnoty a funkce. Seskupení kódu v modulech pomáhá udržet související kód pohromadě a pomáhá vyhnout se konfliktům názvů v programu.
open Prohlášení	Přečtěte si, jak open funguje. Deklarace open určuje modul, obor názvů nebo typ, na jehož prvky můžete odkazovat bez použití plně kvalifikovaného názvu.
Signatury	Přečtěte si o podpisech a souborech podpisů. Soubor podpisu obsahuje informace o veřejných podpisech sady prvků programu F#, jako jsou typy, obory názvů a moduly. Dá se použít k určení přístupnosti těchto prvků programu.
Řízení přístupu	Přečtěte si o řízení přístupu v jazyce F#. Řízení přístupu znamená deklarování toho, co klienti mohou používat určité prvky programu, jako jsou typy, metody, funkce atd.
dokumentace XML	Přečtěte si o podpoře generování souborů dokumentace z komentářů dokumentu XML, označovaných také jako trojité komentáře lomítka. Dokumentaci můžete vytvořit z komentářů kódu v jazyce F# stejně jako v jiných jazycích .NET.

Literály a řetězce

Následující tabulka uvádí referenční články, které popisují literály a řetězce v jazyce F#.

Nadpis	Popis
Literály	Přečtěte si o syntaxi hodnot literálů v jazyce F# a o tom, jak zadat informace o typu pro literály jazyka F#.
Řetězce	Seznamte se s řetězci v jazyce F#. Typ string představuje neměnný text jako posloupnost znaků Unicode. string je alias pro System.String v .NET.
Interpolované řetězce	Seznamte se s interpolovanými řetězci, speciální formou řetězce, která umožňuje vložit výrazy jazyka F# přímo do nich.

Hodnoty a funkce

Následující tabulka uvádí referenční články, které popisují koncepty jazyka související s hodnotami, letvazbami a funkcemi.

Nadpis	Popis
Hodnoty	Seznamte se s hodnotami, které jsou neměnné množství, které mají určitý typ; hodnoty můžou být celočíselné nebo čísla s plovoucí desetinou čárkou, znaky nebo text, seznamy, sekvence, matice, řazené sjednocení, záznamy, typy tříd nebo hodnoty funkcí.
Functions	Funkce jsou základní jednotkou provádění programů v libovolném programovacím jazyce. Funkce F# má název, může mít parametry a převzít argumenty a má tělo. Jazyk F# také podporuje funkční programovací konstrukce, jako je zacházení s funkcemi jako s hodnotami, používání nenáznamných funkcí ve výrazech, složení funkcí pro vytváření nových funkcí, složených funkcí a implicitní definice funkcí prostřednictvím částečného použití argumentů funkce.
Výrazy funkcí	Zjistěte, jak pomocí klíčového slova "fun" F# definovat výraz lambda, což je anonymní funkce.

Smyčky a podmíněná nastavení

Následující tabulka uvádí články, které popisují smyčky jazyka F# a podmíněné podmínky.

Nadpis	Popis
Podmíněné výrazy: if...then...else	Seznamte se s if...then...else výrazem, který spouští různé větve kódu a také se vyhodnotí na jinou hodnotu v závislosti na zadaném logickém výrazu.
Smyčky: for...in Výraz	for...in Seznamte se s výrazem, konstruktorem smyčky, který se používá k iteraci shody vzoru v výčtové kolekci, jako je výraz rozsahu, sekvence, seznam, matice nebo jiný konstruktor, který podporuje výčty.
Smyčky: for...to Výraz	Přečtěte si o výrazu for...to , který se používá k iteraci ve smyčce nad rozsahem hodnot proměnné smyčky.
Smyčky: while...do Výraz	Přečtěte si o výrazu while...do , který se používá k provádění iterativního provádění (smyčky), zatímco zadaná testovací podmínka je pravdivá.

Porovnávání vzorů

Následující tabulka uvádí referenční články, které popisují koncepty jazyka.

Nadpis	Popis
Porovnávání	Seznamte se se vzory, které jsou pravidly pro transformaci vstupních dat a které se používají v rámci jazyka F#. Data můžete porovnat se vzorem, odkompilovat data do složek nebo extrahovat informace z dat různými způsoby.
Výrazy shody	Přečtěte si o výrazu match , který poskytuje ovládací prvek větvení založený na porovnání výrazu se sadou vzorů.
Aktivní vzorky	Seznamte se s aktivními vzory. Aktivní vzory umožňují definovat pojmenované oddíly, které rozdělují vstupní data. Aktivní vzory můžete použít k dekompilování dat přizpůsobeným způsobem pro každý oddíl.

Zpracování výjimek

Následující tabulka uvádí referenční články, které popisují koncepty jazyka související se zpracováním výjimek.

Nadpis	Popis
Zpracování výjimek	Obsahuje informace o podpoře zpracování výjimek v jazyce F#.
Výraz try...with	Přečtěte si, jak použít try...with výraz pro zpracování výjimek.
Výraz try...finally	Přečtěte si, jak výraz F# try...finally umožňuje spouštět kód vyčištění, i když blok kódu vyvolá výjimku.
use Klíčové slovo	Přečtěte si o klíčových slovech use a usingo tom, která můžou řídit inicializaci a uvolnění prostředků.
Kontrolní výrazy	Přečtěte si o výrazu assert , což je funkce ladění, kterou můžete použít k otestování výrazu. Při selhání v režimu ladění vygeneruje kontrolní výraz dialogové okno systémové chyby.

Typy a odvození typů

Následující tabulka uvádí referenční články, které popisují, jak typy a odvození typů fungují v jazyce F#.

Nadpis	Popis
Typy	Přečtěte si o typech používaných v jazyce F# a o tom, jak jsou typy jazyka F# pojmenované a popsané.
Základní typy	Seznamte se se základními typy, které se používají v jazyce F#. Poskytuje také odpovídající typy .NET a minimální a maximální hodnoty pro každý typ.
Typ jednotky	Seznamte se s unit typem, což je typ, který označuje absenci konkrétní hodnoty. unit Typ má pouze jednu hodnotu, která funguje jako zástupný symbol, pokud neexistuje žádná jiná hodnota nebo není nutná.
Zkratky typů	Seznamte se se zkratkami typů, které jsou alternativními názvy typů.
Odvození typu	Přečtěte si, jak kompilátor jazyka F# odvozuje typy hodnot, proměnných, parametrů a návratových hodnot.
Přetypování a převody	Přečtěte si o podpoře převodů typů v jazyce F#.
Obecné typy	Seznamte se s obecnými konstrukty v jazyce F#.
Automatická generalizace	Přečtěte si, jak jazyk F# automaticky zobecní argumenty a typy funkcí, aby fungovaly s více typy, pokud je to možné.
Omezení	Přečtěte si o omezeních, která platí pro obecné parametry typu, aby bylo možné určit požadavky na argument typu v obecném typu nebo funkci.
Flexibilní typy	Seznamte se s flexibilními typy. Poznámka k flexibilnímu typu označuje, že parametr, proměnná nebo hodnota má typ, který je kompatibilní se zadaným typem, kde je kompatibilita určena umístěním v objektově orientované hierarchii tříd nebo rozhraní.
Měrné jednotky	Přečtěte si o jednotkách měr. Hodnoty s plovoucí desetinnou čárkou v jazyce F# můžou mít přidružené jednotky míry, které se obvykle používají k označení délky, objemu, hmotnosti atd.
Parametry ByRef	Seznamte se s typy byref a byref v jazyce F#, které se používají pro programování na nízké úrovni.

Kolekce členů, Seznamy, Kolekce, Možnosti

Následující tabulka uvádí referenční články, které popisují typy podporované jazykem F#.

Nadpis	Popis
N-tice	Seznamte se s řazenými kolekcemi členů, které seskupují nenázvené, ale seřazené hodnoty pravděpodobně různých typů.
Kolekce	Přehled typů funkčních kolekcí jazyka F#, včetně typů pro pole, seznamy, sekvence (seq), mapy a sady.
Seznamy	Seznamte se se seznamy. Seznam v jazyce F# je uspořádaná neměnná řada prvků stejného typu.
Možnosti	Přečtěte si o typu možnosti. Možnost v jazyce F# se používá, pokud může nebo nemusí existovat hodnota. Možnost má základní typ a může obsahovat buď hodnotu tohoto typu, nebo nemusí mít hodnotu.
Pole	Seznamte se s poli. Pole jsou pevná, nulová, proměnlivá sekvence po sobě jdoucích datových prvků, všechny stejného typu.
Sekvence	Přečtěte si o sekvencích. Sekvence je logická řada prvků všech jednoho typu. Jednotlivé sekvenční prvky se počítají pouze v případě potřeby, takže reprezentace může být menší než počet literálových prvků.
Výrazy sekvence	Seznamte se s výrazy sekvence, které umožňují generovat posloupnosti dat na vyžádání.
Referenční buňky	Seznamte se s referenčními buňkami, což jsou umístění úložiště, která umožňují vytvářet proměnlivé proměnné s využitím sémantiky odkazů.

Záznamy a diskriminované sjednocení

Následující tabulka uvádí referenční články, které popisují definice typů záznamů a diskriminovaných sjednocovacích typů podporovaných jazykem F#.

Nadpis	Popis
Záznamy	Přečtěte si o záznamech. Záznamy představují jednoduché agregace pojmenovaných hodnot, volitelně s členy.
Anonymní záznamy	Naučte se vytvářet a používat anonymní záznamy, což je funkce jazyka, která pomáhá s manipulací s daty.
Rozlišovaná sjednocení	Seznamte se s diskriminovanými sjednoceními, které poskytují podporu hodnot, které mohou být jedním z různých pojmenovaných případů, přičemž každá z nich může mít různé hodnoty a typy.
Struktury	Přečtěte si o strukturách, které jsou kompaktní typy objektů, které můžou být efektivnější než třída pro typy, které mají malé množství dat a jednoduché chování.
Výčty	Výčty jsou typy, které mají definovanou sadu pojmenovaných hodnot. Můžete je použít místo literálů, abyste kód lépe čitelný a udržovatelný.

Programování objektů

Následující tabulka uvádí referenční články, které popisují programování objektů jazyka F#.

Nadpis	Popis
Třídy	Seznamte se s třídami, které představují objekty, které mohou mít vlastnosti, metody a události.
Rozhraní	Seznamte se s rozhraními, která určují sady souvisejících členů, které implementují jiné třídy.
Abstraktní třídy	Seznamte se s abstraktními třídami, které mají některé nebo všechny členy nekompplementované, aby bylo možné implementace poskytovat odvozenými třídami.
Rozšíření typů	Přečtěte si o rozšířeních typů, která umožňují přidat nové členy do dříve definovaného typu objektu.
Delegáti	Seznamte se s delegáty, kteří představují volání funkce jako objekt.
Dědičnost	Seznamte se s dědičností, která se používá k modelování relace "is-a" nebo podtypování v objektově orientovaném programování.
Členové	Přečtěte si o členech typů objektů jazyka F#.
Parametry a argumenty	Seznamte se s podporou jazyka pro definování parametrů a předávání argumentů funkcím, metodám a vlastnostem. Obsahuje informace o tom, jak předávat odkazy.
Přetížení operátoru	Přečtěte si, jak přetížit aritmetické operátory v typu třídy nebo záznamu a na globální úrovni.
Objektové výrazy	Seznamte se s výrazy objektů, což jsou výrazy, které vytvářejí nové instance dynamicky vytvořeného anonymního typu objektu založeného na existujícím základním typu, rozhraní nebo sadě rozhraní.

Asynchronní, Úkoly a Lazy

Následující tabulka uvádí témata, která popisují asynchronní výrazy jazyka F#, úlohy a opožděné výrazy.

Nadpis	Popis
Asynchronní výrazy	Přečtěte si o asynchronních výrazech, které umožňují psát asynchronní kód způsobem, který je velmi blízko způsobu, jakým byste přirozeně napsali synchronní kód.
Výrazy úloh	Seznamte se s výrazy úloh, což je alternativní způsob zápisu asynchronního kódu používaného při spolupráci s kódem .NET, který využívá nebo vytváří úlohy .NET.
Výrazy Lazy	Přečtěte si o opožděných výrazech, což jsou výpočty, které se nevyhodnocují okamžitě, ale jsou vyhodnoceny, když je výsledek skutečně potřebný.

Výpočetní výrazy a dotazy

Následující tabulka obsahuje témata, která popisují výpočetní výrazy a dotazy jazyka F#.

Nadpis	Popis
Výpočetní výrazy	Seznamte se s výpočetními výrazy v jazyce F#, které poskytují pohodlnou syntaxi pro psaní výpočtů, které lze sekvencovat a kombinovat pomocí konstruktorů a vazeb toku řízení. Dají se použít ke správě dat, řízení a vedlejších účinků v funkčních programech.
Výrazy dotazu	Seznamte se s výrazy dotazů, funkcí jazyka, která implementuje LINQ pro F# a umožňuje psát dotazy proti zdroji dat nebo výčtu kolekcí.

Atributy, reflexe, uvozovky a formátování prostého textu

Následující tabulka obsahuje články popisující reflexní funkce jazyka F#, včetně atributů, uvozovek nameofa formátování prostého textu.

Nadpis	Popis
Atributy	Zjistěte, jak atributy jazyka F# umožňují použití metadat pro programovací konstruktor.
nameof	Seznamte se s nameof operátorem, funkcí metaprogramování, která umožňuje vytvořit název libovolného symbolu ve zdrojovém kódu.
Informace o volajícím	Přečtěte si, jak pomocí atributů argumentu informace volajícího získat informace o volajícím z metody.
Identifikátory zdrojového řádku, souboru a cesty	Přečtěte si o identifikátorech , __SOURCE_DIRECTORY__a __SOURCE_FILE__o předdefinovaných hodnotách__LINE__, které umožňují přístup ke zdrojovému číslu řádku, adresáři a názvu souboru v kódu.
Uvozovky kódu	Seznamte se s uvozovkami kódu, funkcí jazyka, která umožňuje programově generovat a pracovat s výrazy kódu jazyka F#.
Formátování prostého textu	Naučte se používat sprintf a další formátování prostého textu v aplikacích a skriptech jazyka F#.

Zprostředkovatelé typů

Následující tabulka obsahuje články, které popisují zprostředkovatele typů F#.

Nadpis	Popis
Zprostředkovatelé typů	Seznamte se s poskytovateli typů a najděte odkazy na návody k používání předdefinovaných poskytovatelů typů pro přístup k databázím a webovým službám.
Vytvoření zprostředkovatele typů	Zjistěte, jak vytvořit vlastní zprostředkovatele typů F# prozkoumáním několika jednoduchých poskytovatelů typů, kteří ilustrují základní koncepty.

Referenční informace k rozhraní API základní knihovny F#

Referenční informace k rozhraní API F# Core Library (FSharp.Core) jsou referenční informace pro všechny obory názvů, moduly, typy a funkce základní knihovny F#.

Referenční tabulky

Následující tabulka ukazuje referenční články, které poskytují tabulky klíčových slov, symbolů a literálů, které se používají jako tokeny v jazyce F#.

Nadpis	Popis
Referenční dokumentace klíčových slov	Obsahuje odkazy na informace o všech klíčových slovech jazyka F#.
Referenční dokumentace symbolů a operátorů	Obsahuje tabulku symbolů a operátorů, které se používají v jazyce F#.

Konstrukty podporované kompilátorem

Následující tabulka obsahuje témata popisovaná speciálními konstruktory podporovanými kompilátorem.

Téma	Description
Možnosti kompilátoru	Popisuje možnosti příkazového řádku pro kompilátor jazyka F#.
Direktivy kompilátoru	Popisuje direktivy procesoru a direktivy kompilátoru podporované kompilátorem jazyka F#.