Naslaginformatie over F#-taal

  • Artikel

Deze sectie is een verwijzing voor F#, een programmeertaal met meerdere paradigma's die gericht is op .NET. F# ondersteunt functionele, objectgeoriënteerde en imperatieve programmeermodellen.

F#-code organiseren

De volgende tabel bevat naslagartikelen met betrekking tot het ordenen van uw F#-code.

Titel Beschrijving
Naamruimten Meer informatie over ondersteuning voor naamruimten in F#. Met een naamruimte kunt u code indelen in gebieden met gerelateerde functionaliteit door u in staat te stellen een naam toe te voegen aan een groepering van programma-elementen.
Modules Meer informatie over modules. Een F#-module is net als een naamruimte en kan ook waarden en functies bevatten. Het groeperen van code in modules helpt gerelateerde code bij elkaar te houden en helpt naamconflicten in uw programma te voorkomen.
open Verklaringen Meer informatie over hoe het open werkt. Een open declaratie geeft een module, naamruimte of type aan waarvan u kunt verwijzen zonder een volledig gekwalificeerde naam te gebruiken.
Handtekeningen Meer informatie over handtekeningen en handtekeningbestanden. Een handtekeningbestand bevat informatie over de openbare handtekeningen van een set F#-programma-elementen, zoals typen, naamruimten en modules. Het kan worden gebruikt om de toegankelijkheid van deze programma-elementen op te geven.
Toegangsbeheer Meer informatie over toegangsbeheer in F#. Toegangsbeheer betekent dat wordt aangegeven welke clients bepaalde programma-elementen kunnen gebruiken, zoals typen, methoden, functies, enzovoort.
XML-documentatie Meer informatie over ondersteuning voor het genereren van documentatiebestanden uit XML-documentopmerkingen, ook wel drie slash-opmerkingen genoemd. U kunt documentatie maken op basis van codeopmerkingen in F# zoals in andere .NET-talen.

Letterlijke gegevens en tekenreeksen

De volgende tabel bevat naslagartikelen waarin letterlijke en tekenreeksen in F# worden beschreven.

Titel Beschrijving
Literals Meer informatie over de syntaxis voor letterlijke waarden in F# en het opgeven van typegegevens voor letterlijke F#-waarden.
Tekenreeksen Meer informatie over tekenreeksen in F#. Het string type vertegenwoordigt onveranderbare tekst, als een reeks Unicode-tekens. string is een alias voor System.String in .NET.
Geïnterpoleerde tekenreeksen Meer informatie over geïnterpoleerde tekenreeksen, een speciale vorm van tekenreeksen waarmee u F#-expressies rechtstreeks erin kunt insluiten.

Waarden en functies

De volgende tabel bevat naslagartikelen waarin taalconcepten met betrekking tot waarden, let-bindingen en functies worden beschreven.

Titel Beschrijving
Waarden Meer informatie over waarden, die onveranderbare hoeveelheden zijn die een specifiek type hebben; waarden kunnen integraal of drijvendekommanummers, tekens of tekst, lijsten, reeksen, matrices, tuples, gediscrimineerde samenvoegingen, records, klassetypen of functiewaarden zijn.
Functies Functies zijn de fundamentele eenheid van het uitvoeren van programma's in elke programmeertaal. Een F#-functie heeft een naam, kan parameters hebben en argumenten aannemen en heeft een hoofdtekst. F# ondersteunt ook functionele programmeerconstructies zoals het behandelen van functies als waarden, het gebruik van niet-naamloze functies in expressies, de samenstelling van functies om nieuwe functies te vormen, curriede functies en de impliciete definitie van functies door middel van de gedeeltelijke toepassing van functieargumenten.
Functie-expressies Informatie over het gebruik van het F#-trefwoord 'fun' om een lambda-expressie te definiëren. Dit is een anonieme functie.

Lussen en voorwaardelijke voorwaarden

De volgende tabel bevat artikelen waarin F#-lussen en voorwaarden worden beschreven.

Titel Beschrijving
Voorwaardelijke expressies: if...then...else Meer informatie over de if...then...else expressie, die verschillende vertakkingen van code uitvoert en ook evalueert naar een andere waarde, afhankelijk van de Boole-expressie die is opgegeven.
Lussen: for...in Expressie Meer informatie over de for...in expressie, een lusconstructie die wordt gebruikt om de overeenkomsten van een patroon te herhalen in een opsommingsbare verzameling, zoals een bereikexpressie, reeks, lijst, matrix of andere constructie die ondersteuning biedt voor opsomming.
Lussen: for...to Expressie Meer informatie over de for...to expressie, die wordt gebruikt voor het herhalen van een lus over een bereik van waarden van een lusvariabele.
Lussen: while...do Expressie Meer informatie over de while...do expressie, die wordt gebruikt om iteratieve uitvoering (lussen) uit te voeren terwijl aan een opgegeven testvoorwaarde wordt voldaan.

Patroonherkenning

De volgende tabel bevat naslagartikelen waarin taalconcepten worden beschreven.

Titel Beschrijving
Patroonherkenning Meer informatie over patronen, die regels zijn voor het transformeren van invoergegevens en worden gebruikt in F#. U kunt gegevens op verschillende manieren vergelijken met een patroon, gegevens opdelen in samenstellende delen of gegevens extraheren uit gegevens.
Expressies vergelijken Meer informatie over de match expressie, die vertakkingsbeheer biedt dat is gebaseerd op de vergelijking van een expressie met een set patronen.
Actieve patronen Meer informatie over actieve patronen. Met actieve patronen kunt u benoemde partities definiëren die invoergegevens onderverdelen. U kunt actieve patronen gebruiken om gegevens op een aangepaste manier op te splitsen voor elke partitie.

Afhandeling van uitzonderingen

De volgende tabel bevat naslagartikelen waarin taalconcepten worden beschreven die betrekking hebben op het verwerken van uitzonderingen.

Titel Beschrijving
Afhandeling van uitzonderingen Bevat informatie over ondersteuning voor het verwerken van uitzonderingen in F#.
De try...with expressie Meer informatie over het gebruik van de try...with expressie voor het verwerken van uitzonderingen.
De try...finally expressie Meer informatie over hoe u met de F# try...finally -expressie code kunt uitvoeren, zelfs als een codeblok een uitzondering genereert.
Het use trefwoord Meer informatie over de trefwoorden use en using, waarmee u de initialisatie en release van resources kunt beheren.
Beweringen Meer informatie over de assert expressie, een functie voor foutopsporing die u kunt gebruiken om een expressie te testen. Bij een fout in de foutopsporingsmodus genereert een assertie een systeemfoutdialoogvenster.

Typen en typedeductie

De volgende tabel bevat naslagartikelen waarin wordt beschreven hoe typen en typen deductie werken in F#.

Titel Beschrijving
Typen Meer informatie over de typen die worden gebruikt in F# en hoe F#-typen worden benoemd en beschreven.
Basistypen Meer informatie over de fundamentele typen die worden gebruikt in F#. Het biedt ook de bijbehorende .NET-typen en de minimum- en maximumwaarden voor elk type.
Type eenheid Meer informatie over het unit type, een type dat aangeeft dat er geen specifieke waarde is; het unit type heeft slechts één waarde, die fungeert als een tijdelijke aanduiding wanneer er geen andere waarde bestaat of nodig is.
Afkortingen typen Meer informatie over afkortingen van typen. Dit zijn alternatieve namen voor typen.
Type deductie Meer informatie over hoe de F#-compiler de typen waarden, variabelen, parameters en retourwaarden afstelt.
Cast-conversies en conversies Meer informatie over ondersteuning voor typeconversies in F#.
Generics Meer informatie over algemene constructies in F#.
Automatische generalisatie Meer informatie over hoe F# de argumenten en typen functies automatisch generaliseert, zodat ze waar mogelijk met meerdere typen werken.
Beperkingen Meer informatie over beperkingen die van toepassing zijn op algemene typeparameters om de vereisten voor een typeargument in een algemeen type of functie op te geven.
Flexibele typen Meer informatie over flexibele typen. Een flexibele typeaantekening is een indicatie dat een parameter, variabele of waarde een type heeft dat compatibel is met het opgegeven type, waarbij de compatibiliteit wordt bepaald door positie in een objectgeoriënteerde hiërarchie van klassen of interfaces.
Maateenheden Meer informatie over maateenheden. Drijvendekommawaarden in F# kunnen gekoppelde maateenheden hebben, die doorgaans worden gebruikt om lengte, volume, massa enzovoort aan te geven.
Byrefs Meer informatie over byref- en byref-achtige typen in F#, die worden gebruikt voor programmeren op laag niveau.

Tuples, Lijsten, Verzamelingen, Opties

De volgende tabel bevat naslagartikelen waarin typen worden beschreven die worden ondersteund door F#.

Titel Beschrijving
Tupels Meer informatie over tuples, die groeperingen zijn van niet-benoemde maar geordende waarden van mogelijk verschillende typen.
Verzamelingen Een overzicht van de F#-functionele verzamelingstypen, waaronder typen voor matrices, lijsten, reeksen (seq), kaarten en sets.
Lijsten Meer informatie over lijsten. Een lijst in F# is een geordende, onveranderbare reeks elementen allemaal van hetzelfde type.
Opties Meer informatie over het optietype. Een optie in F# wordt gebruikt wanneer een waarde al dan niet bestaat. Een optie heeft een onderliggend type en kan een waarde van dat type bevatten of geen waarde hebben.
Matrices Meer informatie over matrices. Matrices zijn op basis van vaste grootte, op nul gebaseerde, veranderlijke reeksen opeenvolgende gegevenselementen, allemaal hetzelfde type.
Reeksen Meer informatie over reeksen. Een reeks is een logische reeks elementen die allemaal van één type zijn. Afzonderlijke reekselementen worden alleen berekend indien nodig, dus de weergave kan kleiner zijn dan het aantal letterlijke elementen.
Reeksexpressies Meer informatie over reeksexpressies, waarmee u reeksen gegevens op aanvraag kunt genereren.
Verwijzingscellen Meer informatie over verwijzingscellen, opslaglocaties waarmee u veranderlijke variabelen kunt maken met verwijzingssemantiek.

Records en gediscrimineerde vakbonden

De volgende tabel bevat naslagartikelen waarin definities van recordtypen en gediscrimineerde samenvoegingstypen worden beschreven die worden ondersteund door F#.

Titel Beschrijving
Records Meer informatie over records. Records vertegenwoordigen eenvoudige aggregaties van benoemde waarden, optioneel met leden.
Anonieme records Meer informatie over het samenstellen en gebruiken van anonieme records, een taalfunctie die helpt bij het bewerken van gegevens.
Gediscrimineerde vakbonden Meer informatie over gediscrimineerde samenvoegingen, die ondersteuning bieden voor waarden die een van de verschillende benoemde gevallen kunnen zijn, elk met mogelijk verschillende waarden en typen.
Structs Meer informatie over structs, die compacte objecttypen zijn die efficiënter kunnen zijn dan een klasse voor typen met een kleine hoeveelheid gegevens en eenvoudig gedrag.
Opsommingen Opsommingen zijn typen met een gedefinieerde set benoemde waarden. U kunt ze gebruiken in plaats van letterlijke gegevens om code beter leesbaar en onderhoudbaar te maken.

Objectprogrammering

De volgende tabel bevat naslagartikelen waarin F#-objectprogrammering wordt beschreven.

Titel Beschrijving
Klassen Meer informatie over klassen, wat typen zijn die objecten vertegenwoordigen die eigenschappen, methoden en gebeurtenissen kunnen hebben.
Interfaces Meer informatie over interfaces, waarmee sets gerelateerde leden worden opgegeven die door andere klassen worden geïmplementeerd.
Abstracte klassen Meer informatie over abstracte klassen, die klassen zijn die sommige of alle leden ongemplementeerd laten, zodat implementaties kunnen worden aangeboden door afgeleide klassen.
Typeextensies Meer informatie over typeextensies, waarmee u nieuwe leden kunt toevoegen aan een eerder gedefinieerd objecttype.
Gedelegeerden Meer informatie over gemachtigden, die een functieaanroep vertegenwoordigen als een object.
Overname Meer informatie over overname, die wordt gebruikt voor het modelleren van de relatie 'is-a' of subtyping, in objectgeoriënteerde programmering.
Leden Meer informatie over leden van F#-objecttypen.
Parameters en argumenten Meer informatie over taalondersteuning voor het definiëren van parameters en het doorgeven van argumenten aan functies, methoden en eigenschappen. Het bevat informatie over hoe u een verwijzing doorgeeft.
Operator Overloading Meer informatie over het overbelasten van rekenkundige operatoren in een klasse of recordtype en op globaal niveau.
Objectexpressies Meer informatie over objectexpressies, expressies die nieuwe exemplaren maken van een dynamisch gemaakt, anoniem objecttype dat is gebaseerd op een bestaand basistype, interface of set interfaces.

Asynchrone taken en luie

De volgende tabel bevat onderwerpen met een beschrijving van F#asynchrone, taak- en luie expressies.

Titel Beschrijving
Asynchrone expressies Meer informatie over asynchrone expressies, waarmee u asynchrone code kunt schrijven op een manier die zeer dicht bij de manier ligt waarop u op natuurlijke wijze synchrone code zou schrijven.
Taakexpressies Meer informatie over taakexpressies, een alternatieve manier om asynchrone code te schrijven die wordt gebruikt bij het samenwerken met .NET-code die .NET-taken verbruikt of produceert.
Luie expressies Meer informatie over luie expressies, die berekeningen zijn die niet onmiddellijk worden geëvalueerd, maar worden in plaats daarvan geëvalueerd wanneer het resultaat daadwerkelijk nodig is.

Berekeningsexpressies en query's

De volgende tabel bevat onderwerpen waarin F#-berekeningsexpressies en query's worden beschreven.

Titel Beschrijving
Berekeningsexpressies Meer informatie over berekeningsexpressies in F#, die een handige syntaxis bieden voor het schrijven van berekeningen die kunnen worden gesequentieerd en gecombineerd met behulp van besturingsstroomconstructies en -bindingen. Ze kunnen worden gebruikt voor het beheren van gegevens, controle en bijwerkingen in functionele programma's.
Query-expressies Meer informatie over query-expressies, een taalfunctie waarmee LINQ voor F# wordt geïmplementeerd en waarmee u query's kunt schrijven op basis van een gegevensbron of inventarisatiebare verzameling.

Kenmerken, weerspiegeling, aanhalingstekens en opmaak van tekst zonder opmaak

De volgende tabel bevat artikelen waarin F#-reflecterende functies worden beschreven, waaronder kenmerken, aanhalingstekens nameofen tekst zonder opmaak.

Titel Beschrijving
Kenmerken Meer informatie over hoe met F#-kenmerken metagegevens kunnen worden toegepast op een programmeerconstructie.
naam van Meer informatie over de nameof operator, een metaprogrammeringsfunctie waarmee u de naam van elk symbool in uw broncode kunt produceren.
Informatie over beller Meer informatie over het gebruik van argumentkenmerken van aanroepergegevens om aanroepergegevens op te halen uit een methode.
Bronlijn-, bestands- en pad-id's Meer informatie over de id's __LINE__en __SOURCE_FILE____SOURCE_DIRECTORY__, die ingebouwde waarden zijn waarmee u toegang hebt tot het bronregelnummer, de map en de bestandsnaam in uw code.
Code-aanhalingstekens Meer informatie over code-aanhalingstekens, een taalfunctie waarmee u programmatisch kunt genereren en werken met F#-code-expressies.
Opmaak van tekst zonder opmaak Meer informatie over het gebruik van sprintf en andere opmaak voor tekst zonder opmaak in F#-toepassingen en -scripts.

Providers typen

De volgende tabel bevat artikelen waarin F#-typeproviders worden beschreven.

Titel Beschrijving
Providers typen Meer informatie over typeproviders en koppelingen naar overzichten over het gebruik van de ingebouwde typeproviders voor toegang tot databases en webservices.
Een typeprovider maken Meer informatie over het maken van uw eigen F#-typeproviders door verschillende eenvoudige typeproviders te bekijken die de basisconcepten illustreren.

Naslaginformatie over de F# Core Library-API

F# Core Library (FSharp.Core) API-verwijzing is de verwijzing voor alle F# Core Library-naamruimten, modules, typen en functies.

Referentietabellen

De volgende tabel bevat referentieartikelen met tabellen met trefwoorden, symbolen en letterlijke waarden die worden gebruikt als tokens in F#.

Titel Beschrijving
Naslaginformatie over trefwoorden Bevat koppelingen naar informatie over alle F#-taaltrefwoorden.
Naslaginformatie voor symbolen en operatoren Bevat een tabel met symbolen en operatoren die worden gebruikt in F#.

Compiler-ondersteunde constructs

De volgende tabel bevat onderwerpen waarin speciale compiler-ondersteunde constructies worden beschreven.

Onderwerp Beschrijving
Opties voor compileren Beschrijft de opdrachtregelopties voor de F#-compiler.
Compilerrichtlijnen Beschrijft de processorrichtlijnen en compilerrichtlijnen die worden ondersteund door de F#-compiler.