Referenční dokumentace jazyka F#

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

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

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

Titulek	Popis
Jmenné prostory	Seznamte se s podporou 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 k seskupení prvků programu.
Moduly	Seznamte se s moduly. Modul F# je jako obor názvů a může také obsahovat hodnoty a funkce. Seskupování kódu v modulech pomáhá udržet související kód pohromadě a pomáhá vyhnout se konfliktům názvů ve vašem programu.
open Prohlášení	Přečtěte si, jak open funguje. Deklarace open určuje modul, obor názvů nebo typ, jehož prvky můžete odkazovat bez použití plně kvalifikovaného názvu.
podpisy	Přečtěte si o podpisech a souborech podpisů. Soubor podpisu obsahuje informace o veřejných podpisech sady programových prvků jazyka 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 informace o řízení přístupu v jazyce F#. Řízení přístupu znamená deklarování toho, co klienti můžou používat určité prvky programu, jako jsou typy, metody, funkce atd.
Dokumentace XML	Přečtěte si informace 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ářů ke 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#.

Titulek	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.

Titulek	Popis
Hodnoty	Seznamte se s hodnotami, které jsou neměnné množství, která mají určitý typ; Hodnoty mohou být integrální nebo čísla s plovoucí desetinou čárkou, znaky nebo text, seznamy, sekvence, matice, řazené kolekce členů, diskriminované 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řijímat 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í nepojmenovaných funkcí ve výrazech, složení funkcí pro formování nových funkcí, složených funkcí a implicitní definice funkcí prostřednictvím částečného použití argumentů funkce.
Výrazy funkcí	Naučte se používat klíčové slovo "fun" jazyka F# k definování výrazu lambda, což je anonymní funkce.

Smyčky a podmíněné výrazy

Následující tabulka obsahuje články, které popisují smyčky f# a podmíněné výrazy.

Titulek	Popis
Podmíněné výrazy: if...then...else	Přečtěte si o výrazu if...then...else , 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	Seznamte se s for...in výrazem, konstruktorem smyčky, který se používá k iteraci shod vzoru v výčtové kolekci, jako je výraz rozsahu, posloupnost, seznam, pole nebo jiný konstruktor, který podporuje výčet.
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 v rozsahu 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.

Titulek	Popis
Porovnávání vzorů	Seznamte se se vzory, což jsou pravidla pro transformaci vstupních dat a používají se v rámci jazyka F#. Data můžete porovnat se vzorem, rozložit data do základních částí nebo extrahovat informace z dat různými způsoby.
Výrazy pro porovnávání	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ích vzorů	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.

Titulek	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žívat 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 čištění, i když blok kódu vyvolá výjimku.
Klíčové use slovo	Seznamte se s klíčovými slovy use a using, které můžou řídit inicializaci a uvolnění prostředků.
Prohlašování	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 fungují typy a odvození typů v jazyce F#.

Titulek	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 nepřítomnost konkrétní hodnoty. unit Typ má pouze jednu hodnotu, která funguje jako zástupný symbol, pokud žádná jiná hodnota neexistuje 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# odvodí 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#.
Generika	Seznamte se s obecnými konstrukcemi 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í	Seznamte se s omezeními, která platí pro parametry obecného typu, abyste určili požadavky na argument typu v obecném typu nebo funkci.
Flexibilní typy	Seznamte se s flexibilními typy. Flexibilní poznámka typu označuje, že parametr, proměnná nebo hodnota mají typ, který je kompatibilní se zadaným typem, kde kompatibilita je 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# mohou mít přidružené měrné jednotky, které se obvykle používají k označení délky, objemu, hmotnosti atd.
Byrefs	Seznamte se s typy byref a byref-like v jazyce F#, které se používají pro programování na nízké úrovni.

Řazené kolekce členů, Seznamy, Kolekce, Možnosti

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

Titulek	Popis
řazené kolekce členů	Seznamte se s řazenými kolekcemi členů, které seskupují nepojmenované, 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 hodnota může nebo nemusí existovat. Možnost má základní typ a může obsahovat buď hodnotu tohoto typu, nebo nemusí mít hodnotu.
polí	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 typů. 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ů.
Sekvenční výrazy	Přečtěte si o sekvenčních výrazech, které umožňují generovat sekvence 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 referenční sémantikou.

Záznamy a diskriminované sjednocení

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

Titulek	Popis
záznamů	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, jazykovou funkci, která pomáhá při manipulaci s daty.
Diskriminované sjednocení	Seznamte se s diskriminovanými sjednoceními, které poskytují podporu pro hodnoty, které mohou být jednou z různých pojmenovaných případů, z nichž každý může mít různé hodnoty a typy.
struktury	Seznamte se se strukturami, což jsou kompaktní typy objektů, které mohou 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ísto literálů je můžete použít, aby byl kód čitelnější a udržovatelný.

Programování objektů

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

Titulek	Popis
Třídy	Seznamte se s třídami, které představují objekty, které mohou mít vlastnosti, metody a události.
Rozhraní	Přečtěte si o rozhraních, která určují sady souvisejících členů, které implementují jiné třídy.
abstraktní třídy	Seznamte se s abstraktními třídami, což jsou třídy, které opouštějí některé nebo všechny členy bez omezení, aby implementace mohly být poskytovány 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 podtypu v objektově orientovaném programování.
Members	Seznamte se se členy 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ěžovat aritmetické operátory v typu třídy nebo záznamu a na globální úrovni.
Výrazy objektů	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 Opožděné

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

Titulek	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	Přečtěte si o výrazech úloh, což je alternativní způsob psaní asynchronního kódu, který se používá při spolupráci s kódem .NET, který využívá nebo vytváří úlohy .NET.
Opožděné výrazy	Přečtěte si o opožděných výrazech, což jsou výpočty, které se nevyhodnocují okamžitě, ale vyhodnocují se, když je výsledek skutečně potřeba.

Výpočetní výrazy a dotazy

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

Titulek	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í. Lze je použít ke správě dat, řízení a vedlejších účinků v funkčních programech.
Výrazy dotazů	Seznamte se s výrazy dotazů, jazykovou funkcí, která implementuje LINQ pro F# a umožňuje psát dotazy na zdroj dat nebo výčet 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.

Titulek	Popis
Atributy	Přečtěte si, jak atributy F# umožňují použití metadat pro programovací konstruktor.
nameof	Přečtěte si o operátoru nameof , funkci 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ů argumentů informace o volajícím získat informace o volajícím z metody.
Identifikátory zdrojového řádku, souboru a cesty	Seznamte se s identifikátory __LINE__a __SOURCE_DIRECTORY____SOURCE_FILE__integrovanými hodnotami, které umožňují přístup ke zdrojovému číslu řádku, adresáři a názvu souboru v kódu.
Uvozovky kódu	Přečtěte si o uvozovkách kódu, funkci 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 uvádí články, které popisují zprostředkovatele typů jazyka F#.

Titulek	Popis
Zprostředkovatelé typů	Seznamte se se zprostředkovateli typů a najděte odkazy na názorné postupy při používání předdefinovaných zprostředkovatelů typů pro přístup k databázím a webovým službám.
Vytvoření zprostředkovatele typů	Přečtěte si, jak vytvořit vlastní zprostředkovatele typů F#, a to prozkoumáním několika jednoduchých zprostředkovatelů typů, které 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 F# Core Library.

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#.

Titulek	Popis
Referenční informace k klíčovým slovem	Obsahuje odkazy na informace o všech klíčových slovech jazyka F#.
Přehled symbolů a operátorů	Obsahuje tabulku symbolů a operátorů používaných v jazyce F#.

Konstrukty podporované kompilátorem

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

Téma	Popis
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#.