Referenční dokumentace jazyka F#

  • Článek

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