F# nyelvi referencia

Ez a szakasz az F#, a .NET-et célzó több paradigma programozási nyelv 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ó az F# névtértámogatásáról. A névtér lehetővé teszi a kód kapcsolódó funkciókba rendezését azáltal, hogy lehetővé teszi egy név csatolását a programelemek egy csoportjához.
Modulok	Tudnivalók a modulokról. Az F#-modulok olyanok, mint a névterek, és értékeket és függvényeket is tartalmazhatnak. A modulokba csoportosított kód segít együtt tartani a kapcsolódó kódot, és segít elkerülni 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ásfájlokról. Az aláírásfájl információkat tartalmaz az F#-programelemek (például típusok, névterek és modulok) nyilvános aláírásairól. Segítségével megadhatja ezeknek a programelemeknek az akadálymentességét.
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, mely ügyfelek használhatnak bizonyos programelemeket, például típusokat, metódusokat, függvényeket stb.
XML-dokumentáció	Ismerje meg, hogyan lehet dokumentációs fájlokat létrehozni XML-dokumentumbeli megjegyzésekből, más néven tripla perjeles megjegyzésekből. A .NET-nyelvekhez hasonlóan F# nyelven is készíthet dokumentációt a kód megjegyzéseiből.

Literálok és sztringek

Az alábbi táblázat referenciacikkeket tartalmaz, amelyek az F#-ban lévő literálokat és sztringeket írják le.

Cím	Leírás
Literálok	Ismerje meg az F# literálértékeinek szintaxisát és az F#-literálok típusadatainak megadását.
Sztringek	Tudnivalók az F# sztringjeiről. A string típus nem módosítható szöveget jelöl Unicode-karakterek sorozataként. string is an alias for System.String in .NET.
Interpolált sztringek	Megismerkedhet az interpolált sztringekkel, amelyek egy speciális sztringforma, amellyel F#-kifejezéseket ágyazhat be közvetlenül a sztringekbe.

Értékek és függvények

Az alábbi táblázat referenciacikkeket tartalmaz, 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 nem módosítható mennyiségek, amelyek egy adott típussal rendelkeznek; az értékek lehetnek egész vagy lebegőpontos számok, karakterek vagy szövegek, listák, sorozatok, tömbök, rekordok, diszkriminált egyesítések, rekordok, osztálytípusok vagy függvényértékek.
Functions	A függvények a program végrehajtásának alapvető egységei bármely programozási nyelven. Az F#-függvényeknek van neve, lehetnek paramétereik, argumentumokat vehetnek fel, és törzsük is van. Az F# olyan funkcionális programozási szerkezeteket is támogat, mint a függvények értékként való kezelése, névtelen függvények használata kifejezésekben, 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 használhatja az F# "fun" kulcsszót egy lambda kifejezés definiálásához, 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 értékeket leíró cikkeket sorolja fel.

Cím	Leírás
Feltételes kifejezések: if...then...else	Megismerkedhet a if...then...else kifejezéssel, amely a kód különböző ágait futtatja, és a megadott logikai kifejezéstől függően más értéket ad vissza.
Hurkok: for...in Kifejezés	Megismerkedhet a for...in kifejezéssel, egy hurkoló szerkezettel, amely egy enumerálható gyűjtemény mintáinak egyezéseit iterálja, például tartománykifejezést, sorozatot, listát, tömböt vagy más olyan szerkezetet, amely támogatja az enumerálást.
Hurkok: for...to Kifejezés	Ismerje meg a for...to kifejezést, amely egy ciklusban egy ciklusváltozó értéktartományán való iterálására szolgál.
Hurkok: while...do Kifejezés	Ismerje meg a while...do kifejezést, amely iteratív végrehajtás (ismétlés) végrehajtására szolgál, miközben egy megadott tesztfeltétel teljesül.

Mintaegyeztetés

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

Cím	Leírás
Mintaegyeztetés	Megismerheti a mintákat, amelyek a bemeneti adatok átalakításának szabályai, és az F# teljes területén használhatók. Összehasonlíthatja az adatokat egy mintával, lebonthatja az adatokat alkotó részekre, vagy különböző módokon nyerhet ki információkat az adatokból.
Kifejezések egyeztetése	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ára szolgáló elnevezett partíciók meghatározását. Az aktív mintákkal testre szabott módon bonthatja fel az adatokat az egyes partíciókhoz.

Kivételkezelés

Az alábbi táblázat referenciacikkeket tartalmaz, amelyek a kivételkezeléssel kapcsolatos nyelvi fogalmakat ismertetik.

Cím	Leírás
Kivételkezelés	Az F# kivételkezelési támogatásával 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	Megtudhatja, hogyan teszi lehetővé az F# try...finally -kifejezés a tisztítási kód végrehajtását, még akkor is, ha egy kódblokk kivételt jelez.
A use kulcsszó	Megismerheti az erőforrások inicializálását és kiadását szabályozó kulcsszavakat use és usingazokat.
Állításokat	Megismerkedhet a assert kifejezéssel, amely egy kifejezés tesztelésére használható hibakeresési funkció. Hibakeresési módban történő hiba esetén egy helyességi feltétel rendszerhiba-párbeszédpanelt hoz létre.

Típusok és típuskövetkeztetés

Az alábbi táblázat referenciacikkeket tartalmaz, amelyek ismertetik a típus- és típuskövetkeztetés működését az F#-ban.

Cím	Leírás
Típusok	Megismerheti az F# nyelvben használt típusokat, valamint az F#-típusok elnevezésének és leírásának módját.
Alaptípusok	Megismerheti az F#-ban használt alapvető típusokat. Emellett biztosítja 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 ha 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ípusára.
Öntés és átalakítások	További információ a típuskonverziók támogatásáról az F#-ban.
Generikus	Tudnivalók az F# általános szerkezeteiről.
Automatikus általánosítás	Megtudhatja, hogyan általánosítja automatikusan az F# 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ára vonatkozó követelmények 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 pozíció határozza meg.
Mértékegységek	Tudnivalók a mértékegységekről. Az F#-ban a lebegőpontos értékekhez hozzárendelt mértékegységek lehetnek, amelyek általában a hossz, a mennyiség, a tömeg stb. jelzésére szolgálnak.
Byrefs	Megismerheti az F# byref és byref-szerű típusait, amelyek alacsony szintű programozáshoz használhatók.

Tuples, Lists, Collections, Options

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

Cím	Leírás
Rekordok	Megismerheti 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 (seq), térképek és készletek típusait.
Listák	További információ a listákról. Az F#-beli lista az azonos típusú elemek rendezett, nem módosítható sorozata.
Beállítások	További információ a beállítástípusról. Az F# egyik beállítását akkor használja a rendszer, ha egy érték esetleg létezik vagy nem létezik. Egy lehetőség mögöttes típussal rendelkezik, é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 állandó méretű, nulla alapú, egymást követő adatelemekből álló, azonos típusú, módosítható sorozatok.
Sorozatok	További információ a sorozatokról. A szekvencia egy logikai elemsorozat, amely egyetlen típusból áll. Az egyes szekvenciális elemeket csak szükség esetén számítja ki a rendszer, így a reprezentáció kisebb lehet, mint a konstanselemek száma.
Szekvenciakifejezések	Megismerheti a szekvenciakifejezéseket, amelyekkel igény szerint hozhat létre adatsorozatokat.
Hivatkozáscellák	Megismerheti a referenciacellákat, amelyek olyan tárolási helyek, amelyek lehetővé teszik a változók referencia-szemantikával történő létrehozását.

Nyilvántartások és diszkriminált uniók

Az alábbi táblázat olyan referenciacikkeket tartalmaz, amelyek az F# által támogatott rekord- és megkülönböztetésmentes egyesítő típusdefiníciókat ismertetik.

Cím	Leírás
Rekordok	Tudnivalók a rekordokról. A rekordok a névvel ellátott értékek egyszerű összesítéseit jelölik, opcionálisan a tagokkal együtt.
Névtelen rekordok	Megtudhatja, hogyan hozhat létre és használhat névtelen rekordokat, amelyek segítenek az adatok kezelésében.
Megkülönböztetésen áteső uniók	Megismerheti a megkülönböztetésen áteső egyesítőket, amelyek támogatják azokat az értékeket, amelyek a különböző nevesített esetek egyikét jelenthetik, amelyek mindegyike különböző értékekkel és típusokkal rendelkezik.
Struktúrák	Megismerheti a szerkezeteket, amelyek olyan kompakt objektumtípusok, amelyek hatékonyabbak lehetnek, mint egy osztály a kis mennyiségű adatokkal és egyszerű viselkedéssel rendelkező típusok esetében.
Enumerálások	Az enumerálások olyan típusok, amelyek nevesített értékek meghatározott készletével rendelkeznek. A literálok helyett használva olvashatóbbá és karbantarthatóbbá teheti a kódot.

Objektumprogramozás

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ípusok, amelyek tulajdonságokat, metódusokat és eseményeket tartalmazó objektumokat képviselnek.
Interfészek	Megismerheti a felületeket, amelyek a más osztályok által implementálható kapcsolódó tagok csoportjait határozzák meg.
Absztrakt osztályok	Megismerheti az absztrakt osztályokat, amelyek olyan osztályok, amelyek néhány vagy az összes tagot akadálytalanul hagynak, hogy az implementációkat származtatott osztályok biztosíthassák.
Típusbővítmények	Ismerje meg a típusbővítményeket, amelyekkel új tagokat adhat hozzá egy korábban definiált objektumtípushoz.
Delegáltak	Megismerheti a delegáltakat, amelyek egy függvényhívást jelölnek objektumként.
Öröklődés	Megismerheti az öröklődést, amely az "is-a" kapcsolat vagy altípus modellezésére szolgál az objektumorientált programozásban.
Tagok	Megismerheti az F#-objektumtípusok tagjait.
Paraméterek és argumentumok	Megismerheti a paraméterek definiálásának nyelvi támogatását, valamint az argumentumok függvényeknek, metódusoknak és tulajdonságoknak való átadását. A hivatkozás alapján történő továbbítással kapcsolatos információkat tartalmaz.
Operátor túlterhelése	Megtudhatja, hogyan lehet túlterhelni az aritmetikai operátorokat egy osztály- vagy rekordtípusban, valamint 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 és 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	Megismerheti az aszinkron kifejezéseket, amelyekkel aszinkron kódot írhat 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 a .NET-feladatokat használó vagy azokat előállító .NET-kódokkal való együttműködés során használt aszinkron kód írásának alternatív módjai.
Lusta kifejezések	Megismerheti a szakaszolt kifejezéseket, amelyek olyan számítások, amelyeket nem azonnal, hanem akkor értékelnek ki, amikor ténylegesen szükség van az eredményre.

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	Megismerheti az F#-ban használt számítási kifejezéseket, amelyek kényelmes szintaxist biztosítanak olyan számítások írásához, amelyek sorrendbe állíthatók és kombinálhatók vezérlőfolyamat-szerkezetekkel és kötésekkel. Segítségével kezelhetők az adatok, a vezérlés és a mellékhatások a funkcionális programokban.
Lekérdezési kifejezések	Ismerje meg a lekérdezési kifejezéseket, amelyek az F#-hoz készült LINQ-t implementálják, és lehetővé teszik, hogy lekérdezéseket írjon egy adatforrásra vagy egy számba írható gyűjteményre.

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

Az alábbi táblázat az F#-reflektív jellemzőket, például attribútumokat, idézőjeleket nameofés egyszerű szövegformázást ismertető cikkeket sorolja fel.

Cím	Leírás
Attribútumok	Megtudhatja, hogyan teszik lehetővé az F#-attribútumok a metaadatok programozási szerkezetre való alkalmazását.
név	Ismerje meg az nameof operátort, amely egy metaprogramozási funkció, amellyel bármilyen szimbólum nevét előállíthatja a forráskódban.
Hívó adatai	Megtudhatja, hogyan használhatja a hívó információ argumentumattribútumait a hívó információk metódusból való lekéréséhez.
Forrásvonal-, fájl- és elérésiút-azonosítók	Megismerheti az azonosítókat __LINE__, __SOURCE_DIRECTORY__és __SOURCE_FILE__azokat a beépített értékeket, amelyek lehetővé teszik a forrássor számának, könyvtárának és fájlnevének elérését a kódban.
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	Ismerje meg, hogyan használható a sprintf és más egyszerű szövegformázás F#-alkalmazásokban és -szkriptekben.

Típusszolgáltatók

Az alábbi táblázat az F#-típusszolgáltatókat ismertető 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	Megtudhatja, hogyan hozhat létre saját F#-típusszolgáltatókat az alapfogalmakat szemléltető egyszerű típusszolgáltatók vizsgálatával.

F# Core Library API-referencia

Az F# Core Library (FSharp.Core) API-referenciája az F# Core Library összes névterének, moduljának, típusának és függvényének referenciája.

Referenciatáblák

Az alábbi táblázat hivatkozási cikkeket tartalmaz, amelyek kulcsszavakat, szimbólumokat és literálokat tartalmazó táblázatokat biztosítanak, amelyeket az F#-ban tokenként használnak.

Cím	Leírás
Kulcsszóreferencia	Hivatkozásokat tartalmaz az összes F#-nyelv kulcsszóval kapcsolatos információkra.
Szimbólumok és operátorok referenciája	Az F# nyelvben 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émakör	Description
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- és fordítóirányelvek ismertetése.