F# nyelvi referencia

Ez a szakasz a .NET-et célzó több paradigma programozási nyelv, az F# referenciája. Az F# támogatja a funkcionális, objektumorientált és imperatív programozási modelleket.

F#-kód rendszerezése

Az alábbi táblázat az F#-kód rendszerezésével kapcsolatos referenciacikkeket mutatja be.

Cím	Leírás
Névterek	További információ a névtér támogatásáról az F#-ban. A névtér lehetővé teszi, hogy a kódot a kapcsolódó funkciók területeire rendezze azáltal, hogy lehetővé teszi egy név csatolását a programelemek csoportosításához.
Modulok	Tudnivalók a modulokról. Az F#-modul olyan, mint egy névtér, és értékeket és függvényeket is tartalmazhat. A modulokban lévő kód csoportosításával együtt tarthatja a kapcsolódó kódot, és elkerülheti a névütközéseket a programban.
open Nyilatkozatok	További információ a open működésről. A open deklaráció olyan modult, névteret vagy típust határoz meg, amelynek elemeire teljes név használata nélkül hivatkozhat.
aláírások	Tudnivalók az aláírásokról és az aláírási fájlokról. Az aláírási fájlok információkat tartalmaznak az F#-programelemek egy készletének nyilvános aláírásairól, például típusokról, névterekről és modulokról. A programelemek akadálymentességének megadására használható.
hozzáférés-vezérlés	Tudnivalók az F# hozzáférés-vezérléséről. A hozzáférés-vezérlés azt jelenti, hogy deklarálják, hogy az ügyfelek milyen programelemeket használhatnak, például típusokat, metódusokat, függvényeket stb.
XML-dokumentáció	Megtudhatja, hogyan hozhat létre dokumentációs fájlokat XML-dokumentum-megjegyzésekből, más néven három perjeles megjegyzésekből. A kód megjegyzéseiből dokumentációt készíthet F# nyelven, mint más .NET-nyelvekben.

Literálok és sztringek

Az alábbi táblázat az F#-ban lévő literálokat és sztringeket leíró referenciacikkeket mutatja be.

Cím	Leírás
literálok	Ismerje meg az F# literálértékeinek szintaxisát, valamint az F# literálok típusadatainak megadását.
karakterláncok	Tudnivalók az F# sztringjeiről. A string típus nem módosítható szöveget jelöl Unicode-karakterek sorozataként. string a .NET aliasa System.String .
Interpolált sztringek	Ismerje meg az interpolált sztringeket, a sztringek egy speciális formáját, amely lehetővé teszi az F#-kifejezések beágyazását közvetlenül bennük.

Értékek és függvények

Az alábbi táblázat olyan referenciacikkeket mutat be, amelyek az értékekhez, let-kötésekhez és függvényekhez kapcsolódó nyelvi fogalmakat ismertetik.

Cím	Leírás
értékek	Megismerheti azokat az értékeket, amelyek egy adott típusú nem módosítható mennyiség; az értékek lehetnek integrál- vagy lebegőpontos számok, karakterek vagy szöveg, listák, sorozatok, tömbök, rekordok, diszkriminált egyesítések, rekordok, osztálytípusok vagy függvényértékek.
Funkciók	A függvények a program végrehajtásának alapvető egységei bármilyen programozási nyelven. Az F#-függvényeknek van neve, lehetnek paramétereik, argumentumokat vesznek fel, és törzsük van. Az F# olyan funkcionális programozási szerkezeteket is támogat, mint például a függvények értékként való kezelése, a kifejezésekben meg nem nevezett függvények használata, a függvények összetétele új függvények létrehozásához, curried függvények létrehozása, valamint a függvények implicit definíciója a függvényargumentumok részleges alkalmazásával.
Függvénykifejezések	Megtudhatja, hogyan definiálhat egy lambda kifejezést az F# "fun" kulcsszóval, amely egy névtelen függvény.

Hurkok és feltételes elemek

Az alábbi táblázat az F#-ciklusokat és a feltételes feltételeket leíró cikkeket sorolja fel.

Cím	Leírás
Feltételes kifejezések: if...then...else	Ismerje meg azt a if...then...else kifejezést, amely különböző kódágakat futtat, és a megadott logikai kifejezéstől függően más értékre is kiértékel.
Hurkok: for...in Kifejezés	Ismerje meg azt a for...in kifejezést, egy hurkoló szerkezetet, amely egy számba vett gyűjtemény mintájának egyezéseit iterálja, például egy tartománykifejezést, sorozatot, listát, tömböt vagy más, az enumerálást támogató szerkezetet.
Hurkok: for...to Kifejezés	Ismerje meg azt a for...to kifejezést, amely egy ciklusban egy ciklus változó értékeinek tartományán keresztüli iterálására szolgál.
Hurkok: while...do Kifejezés	Ismerje meg azt a while...do kifejezést, amely iteratív végrehajtás (ciklus) végrehajtására szolgál, miközben egy megadott tesztfeltétel igaz.

Mintaegyezés

Az alábbi táblázat a nyelvi fogalmakat leíró referenciacikkeket mutatja be.

Cím	Leírás
Mintaegyezés	Megismerheti azokat a mintákat, amelyek a bemeneti adatok átalakításának szabályai, és amelyeket az F#-ben használnak. Összehasonlíthatja az adatokat egy mintával, az adatokat alkotó részekre bonthatja, vagy különböző módokon kinyerheti az adatokat az adatokból.
illesztési kifejezések	Ismerje meg a match kifejezést, amely elágaztatási vezérlőt biztosít, amely egy kifejezés és egy mintakészlet összehasonlításán alapul.
aktív minták	Ismerje meg az aktív mintákat. Az aktív minták lehetővé teszik a bemeneti adatok felosztását végző elnevezett partíciók meghatározását. Az aktív mintákkal testre szabott módon bonthatja le az adatokat az egyes partíciókhoz.

Kivételkezelés

Az alábbi táblázat olyan referenciacikkeket mutat be, amelyek a kivételkezeléshez kapcsolódó nyelvi fogalmakat ismertetik.

Cím	Leírás
Kivételkezelés	Az F#-ban található kivételkezelési támogatással kapcsolatos információkat tartalmaz.
A try...with kifejezés	Megtudhatja, hogyan használhatja a kifejezést a try...with kivételkezeléshez.
A try...finally kifejezés	Ismerje meg, hogyan teszi lehetővé az F# try...finally -kifejezés a törlési kód végrehajtását akkor is, ha egy kódblokk kivételt eredményez.
A use kulcsszó	Megismerheti az erőforrások inicializálását és kiadását szabályozó kulcsszavakat useusingés azok kiadását.
Állításokat	Ismerje meg a assert kifejezést, amely egy kifejezés tesztelésére használható hibakeresési funkció. Hibakeresési módban történő hiba esetén az állítás rendszerhiba párbeszédpanelt hoz létre.

Típus- és típuskövetkozó adatok

Az alábbi táblázat olyan referenciacikkeket mutat be, amelyek bemutatják, hogyan működnek a típusok és a típuskövetkeztetés az F#-ban.

Cím	Leírás
típusok	Megismerheti az F#-ban használt típusokat, valamint az F#-típusok elnevezését és leírását.
Alaptípusok	Ismerje meg az F#-ban használt alapvető típusokat. Emellett tartalmazza a megfelelő .NET-típusokat, valamint az egyes típusokhoz tartozó minimális és maximális értékeket.
Egység típusa	Ismerje meg a unit típust, amely egy adott érték hiányát jelzi; a unit típus csak egyetlen értékkel rendelkezik, amely helyőrzőként működik, ha nincs más érték, vagy nincs szükség rá.
Rövidítések beírása	Ismerje meg a típus rövidítéseit, amelyek a típusok alternatív nevei.
Típuskövetkeztetés	Ismerje meg, hogyan következtet az F#-fordító az értékek, változók, paraméterek és visszatérési értékek típusaira.
Casting and Conversions	További információ a típuskonverziók támogatásáról az F#-ban.
Generikus típusok	Tudnivalók az F#-ban található általános szerkezetekről.
Automatikus általánosítás	Megtudhatja, hogy az F# hogyan általánosítja automatikusan az argumentumokat és a függvénytípusokat, hogy lehetőség szerint több típussal is működhessenek.
Korlátozások	Megismerheti az általános típusparaméterekre vonatkozó korlátozásokat egy általános típus vagy függvény típusargumentumának követelményeinek meghatározásához.
Rugalmas típusok	Ismerje meg a rugalmas típusokat. A rugalmas típusú széljegyzetek azt jelzik, hogy egy paraméter, változó vagy érték olyan típussal rendelkezik, amely kompatibilis a megadott típussal, ahol a kompatibilitást az osztályok vagy interfészek objektumorientált hierarchiájában elfoglalt hely határozza meg.
Mértékegységek	Tudnivalók a mértékegységekről. Az F#-ban a lebegőpontos értékekhez kapcsolódó mértékegységek tartozhatnak, amelyek általában a hossz, a kötet, a tömeg stb. jelzésére szolgálnak.
Byrefs	Megismerheti az F# byref és byref típusú típusait, amelyeket alacsony szintű programozáshoz használnak.

Tuples, Listák, Gyűjtemények, Beállítások

Az alábbi táblázat az F# által támogatott típusokat leíró referenciacikkeket mutatja be.

Cím	Leírás
Tömbök	Ismerje meg a rekordokat, amelyek névtelen, de esetleg különböző típusú rendezett értékek csoportosítását képezik.
Gyűjtemények	Az F# funkcionális gyűjteménytípusainak áttekintése, beleértve a tömbök, listák, szekvenciák (szekvencia), térképek és készletek típusait.
Listák	Tudnivalók a listákról. Az F#-beli lista egy rendezett, megváltoztathatatlan elemsorozat, amely azonos típusú.
Beállítások	Tudnivalók a beállítás típusáról. Az F#-ban egy lehetőség akkor használatos, ha egy érték esetleg nem létezik. Egy beállításnak van egy mögöttes típusa, és vagy rendelkezik ilyen típusú értékkel, vagy nem rendelkezik értékkel.
Tömbök	Tudnivalók a tömbökről. A tömbök rögzített méretű, nulla alapú, egymást követő adatelemekből álló, azonos típusú mutable szekvenciák.
Szekvenciák	További információ a sorozatokról. A sorozat egy logikai elemsorozat, amely egyetlen típusból áll. Az egyes sorozatelemeket csak akkor számítja ki a rendszer, ha szükséges, így a ábrázolás kisebb lehet, mint amit a literális elemek száma jelez.
Sorozatkifejezések	Ismerje meg a szekvenciakifejezéseket, amelyekkel igény szerint hozhat létre adatsorozatokat.
Referenciacellák	Megismerheti a referenciacellákat, amelyek olyan tárolóhelyek, amelyek lehetővé teszik a változók referencia-szemantikával való létrehozását.

Nyilvántartások és diszkriminált szakszervezetek

Az alábbi táblázat az F# által támogatott rekord- és diszkriminált uniótípus-definíciókat leíró referenciacikkeket mutatja be.

Cím	Leírás
Rekordok	Tudnivalók a rekordokról. A rekordok az elnevezett értékek egyszerű összesítését jelölik, opcionálisan a tagokkal.
Névtelen rekordok	Megtudhatja, hogyan hozhat létre és használhat névtelen rekordokat, egy olyan nyelvi funkciót, amely segít az adatok kezelésében.
Diszkriminált uniók	Ismerje meg a hátrányos megkülönböztetést okozó szakszervezeteket, amelyek támogatják azokat az értékeket, amelyek a különböző elnevezett esetek egyikét jelenthetik, amelyek mindegyike különböző értékekkel és típusokkal rendelkezik.
Struktúrák	Ismerje meg a szerkezeteket, amelyek olyan kompakt objektumtípusok, amelyek hatékonyabbak lehetnek, mint egy osztály olyan típusok esetében, amelyek kis mennyiségű adatot és egyszerű viselkedést igényelnek.
Felsorolások	Az enumerálások olyan típusok, amelyek nevesített értékek meghatározott készletével rendelkeznek. Az olvashatóság és karbantarthatóság érdekében használhatók a literálok helyett.

Objektum programozása

Az alábbi táblázat az F# objektumprogramozást leíró referenciacikkeket mutatja be.

Cím	Leírás
osztályok	Megismerheti az osztályokat, amelyek olyan típusúak, amelyek tulajdonságokat, metódusokat és eseményeket tartalmazó objektumokat jelölnek.
Felületek	Ismerje meg a felületeket, amelyek a más osztályok által implementálandó kapcsolódó tagok csoportjait határozzák meg.
absztrakt osztályok	Megismerheti az absztrakt osztályokat, amelyek olyan osztályok, amelyek bizonyos vagy az összes tagot akadálytalanul hagynak, hogy a megvalósításokat származtatott osztályok biztosíthassák.
Típuskiterjesztések	Ismerje meg a típusbővítményeket, amelyekkel új tagokat adhat hozzá egy korábban definiált objektumtípushoz.
meghatalmazottak	Megismerheti a delegáltakat, amelyek egy függvényhívást jelentenek objektumként.
Örökség	Megismerheti az objektumorientált programozásban az "is-a" kapcsolat vagy almodellezés modellezéséhez használt öröklést.
Tagok	Ismerje meg az F# objektumtípusok tagjait.
Paraméterek és argumentumok	Megismerheti a paraméterek definiálásának és az argumentumok függvényeknek, metódusoknak és tulajdonságoknak való átadásának nyelvi támogatását. A hivatkozással történő továbbítással kapcsolatos információkat tartalmaz.
Operátor túlterhelése	Megtudhatja, hogyan terhelheti túl az aritmetikai operátorokat osztály- vagy rekordtípusban, illetve globális szinten.
Objektumkifejezések	Megismerheti az objektumkifejezéseket, amelyek olyan kifejezések, amelyek egy dinamikusan létrehozott, névtelen objektumtípus új példányait hozzák létre, amelyek egy meglévő alaptípuson, interfészen vagy illesztőkészleten alapulnak.

Async, Tasks and Lazy

Az alábbi táblázat az F# aszinkron, feladat- és lusta kifejezéseket leíró témaköröket sorolja fel.

Cím	Leírás
Aszinkron kifejezések	Ismerje meg az aszinkron kifejezéseket, amelyek lehetővé teszik az aszinkron kód írását olyan módon, amely nagyon közel áll ahhoz, ahogyan természetesen szinkron kódot írna.
Tevékenységkifejezések	Megismerheti a feladatkifejezéseket, amelyek alternatív módot jelentenek a .NET-feladatokat használó vagy azt előállító .NET-kódokkal való együttműködéshez használt aszinkron kód írására.
Lusta kifejezések	Megismerheti a lusta kifejezéseket, amelyek olyan számítások, amelyeket nem értékelnek ki azonnal, hanem az eredmény tényleges szükség esetén lesznek kiértékelve.

Számítási kifejezések és lekérdezések

Az alábbi táblázat az F# számítási kifejezéseket és lekérdezéseket leíró témaköröket sorolja fel.

Cím	Leírás
Számítási kifejezések	Ismerje meg az F#-ban található számítási kifejezéseket, amelyek kényelmes szintaxist biztosítanak a számítások írásához, amelyek vezérlőfolyamat-szerkezetek és kötések használatával sorrendbe állíthatók és kombinálhatók. Ezek felhasználhatók a funkcionális programok adatainak, szabályozásának és mellékhatásainak kezelésére.
Lekérdezési kifejezések	Ismerje meg a lekérdezési kifejezéseket, amelyek a LINQ for F# nyelvét implementálják, és lehetővé teszik lekérdezések adatforráson vagy számbavételen alapuló gyűjtését.

Attribútumok, tükröződés, idézőjelek és egyszerű szövegformázás

Az alábbi táblázat az F# tükröző funkcióit leíró cikkeket sorolja fel, beleértve az attribútumokat, az idézeteket nameofés az egyszerű szövegformázást.

Cím	Leírás
Attribútumok	Ismerje meg, hogyan teszik lehetővé az F# attribútumok a metaadatok programozási szerkezetre való alkalmazását.
nameof	Ismerje meg az nameof operátort, egy metaprogramozási funkciót, amely lehetővé teszi a forráskódban lévő szimbólumok nevének előállítását.
Hívó adatai	Megtudhatja, hogyan szerezhet be hívóadatokat egy metódusból a Hívó adatai argumentumattribútumokkal.
Forrásvonal-, fájl- és elérésiút-azonosítók	Megismerheti azokat az azonosítókat __LINE__, __SOURCE_DIRECTORY__és __SOURCE_FILE__olyan beépített értékeket, amelyek lehetővé teszik a kód forrássorszámának, könyvtárának és fájlnevének elérését.
Kódajánlatok	Ismerje meg a kód idézőjeleit, amely egy olyan nyelvi funkció, amellyel programozott módon hozhat létre és használhat F#-kódkifejezéseket.
Egyszerű szövegformázás	Megtudhatja, hogyan használhatja a sprintf és más egyszerű szövegformázást az F#-alkalmazásokban és -szkriptekben.

Típusszolgáltatók

Az alábbi táblázat az F# típusú szolgáltatókat leíró cikkeket sorolja fel.

Cím	Leírás
Típusszolgáltatók	Megismerheti a típusszolgáltatókat, és hivatkozásokat találhat az adatbázisokhoz és webszolgáltatásokhoz való hozzáféréshez a beépített típusszolgáltatók használatával kapcsolatos útmutatókhoz.
Típusszolgáltató létrehozása	Ismerje meg, hogyan hozhat létre saját F# típusú szolgáltatókat több egyszerű típusszolgáltató vizsgálatával, amelyek az alapfogalmakat szemléltetik.

F# Core Library API-referencia

Az F# Core Library (FSharp.Core) API-referencia az összes F# Core Library-névtér, modul, típus és függvény referenciája.

Referenciatáblák

Az alábbi táblázat olyan hivatkozási cikkeket tartalmaz, amelyek az F#-ban tokenként használt kulcsszavakat, szimbólumokat és literálokat tartalmazzák.

Cím	Leírás
Kulcsszóhivatkozás	Hivatkozásokat tartalmaz az összes F#-nyelvi kulcsszóval kapcsolatos információkra.
Szimbólum és operátor referenciája	Az F#-ban használt szimbólumok és operátorok táblázatát tartalmazza.

Fordító által támogatott szerkezetek

Az alábbi táblázat a speciális fordító által támogatott szerkezeteket leíró témaköröket sorolja fel.

Téma	Leírás
Fordító beállításai	Az F# fordító parancssori beállításait ismerteti.
Fordítói irányelvek	Az F#-fordító által támogatott processzor-irányelveket és fordítói irányelveket ismerteti.