Materiały referencyjne dotyczące języka F#

Ta sekcja jest odwołanie do znaku języka F# multi-paradigm programowania ukierunkowanie języka.NET platformy.Język F# obsługuje modele programowania funkcjonalności, zorientowane obiektowo i nadrzędnych.

F# tokenów

W poniższej tabeli przedstawiono tematy referencyjne dotyczące tabel słowa kluczowe, symbole i literałów używane jako tokenów w F#.

Tytuł	Opis
Odwołanie do słowa kluczowego (F#)	Zawiera łącza do informacji dotyczących słowa kluczowe języka F#.
Odwołanie do symbolu i operatora (F#)	Zawiera tabelę symboli i podmioty gospodarcze, które są używane w języku F#.
Literały (F#)	W tym artykule opisano składnię dla wartości literału F# oraz jak określić typ informacji w literałach F#.

Pojęcia dotyczące języka F#

W poniższej tabeli przedstawiono tematy odniesienia, które są dostępne, opisujące pojęcia języka.

Tytuł	Opis
Funkcje (F#)	Funkcje są podstawowe jednostki wykonywania programu w dowolnym języku programowania.Jak w innych językach funkcja F# ma nazwę, mogą mieć parametrów i take argumenty i posiada organu.F# obsługuje również funkcjonalności narzędzi programistycznych, takich jak traktowanie funkcje jako wartości, przy użyciu nazwy funkcji w wyrażeniach, skład funkcje do tworzenia nowych funkcji, funkcje curried i niejawne definicji funkcji z częściowego stosowania argumenty funkcji.
Typy F#	Opisuje typy, które są używane w F# i jak o nazwie i opisano typy F#.
Wnioskowanie o typie (F#)	W tym artykule opisano, jak kompilator F# ustala typy wartości, zmienne, parametrów i zwracanych wartości.
Automatyczna generalizacja (F#)	W tym artykule opisano rodzajowy konstrukcje F#.
Dziedziczenie (F#)	Opisuje dziedziczenie, która jest używana do modelowania relacji "jest a", lub subtyping w programowaniu obiektowym.
Członkowie (F#)	W tym artykule opisano członków F# typów obiektów.
Parametry i argumenty (F#)	Opisuje obsługę języka do definiowania parametrów i przekazywanie argumentów funkcji, metod i właściwości.Zawiera informacje o sposobach przekazywany za pomocą odwołania.
Przeładowanie operatora (F#)	Opisuje sposób przeciążenie operatory arytmetyczne w klasie lub typ rekordu i na poziomie globalnym.
Rzutowanie i konwersje (F#)	Opisuje obsługę konwersje typu F#.
Kontrola dostępu (F#)	Zawiera opis kontroli dostępu w F#.Kontrola dostępu oznacza, deklarując, jakich klienci mogą używać niektórych elementów programów, takich jak typy, metod, funkcji i tak dalej.
Dopasowanie wzorca (F#)	W tym artykule opisano, desenie, które są zasady do przekształcania danych wejściowych, używane do wyodrębniania danych porównaj wzorkiem, rozkładać dane na części składowe lub wyodrębnienia informacji z danych na różne sposoby całej języka F#.
Wzorce aktywne (F#)	W tym artykule opisano active desenie.Desenie Active umożliwiają zdefiniowanie nazwanego partycje, które należy podzielić dane wejściowe.Aktywne wzorców można użyć do danych w sposób dostosowany dla każdej partycji.
Potwierdzenia (F#)	W tym artykule opisano assert wyrażenie, które jest funkcja debugowania, który służy do testowania wyrażenie.W przypadku awarii w trybie debugowania potwierdzenia generuje okno dialogowe błędu systemu.
Obsługa wyjątków (F#)	Zawiera informacje o pomocy technicznej w języku F# obsługi wyjątków.
Atrybuty (F#)	Opisuje atrybuty, które umożliwiają metadanych, które mają być stosowane do konstrukcji programowania.
Zarządzanie zasobami: use — Słowo kluczowe (F#)	Zawiera opis słowa kluczowe use i using, które można kontrolować inicjowania i zwalniania zasobów
Przestrzenie nazw (F#)	Opisuje obsługę nazw F#.Obszar nazw umożliwia organizowanie kodu w obszarach związanych z nimi funkcji umożliwiając dołączyć nazwę do grupowania elementów programu.
Moduły (F#)	W tym artykule opisano modułów.Moduł F# jest grupą F# kodu, takie jak wartości, typy i wartości funkcji, w programie F#.Grupowanie kodu w modułach pomaga zabezpieczyć kod powiązanych ze sobą i pomaga uniknąć konfliktów nazw w programie.
Deklaracje importowania: open — Słowo kluczowe (F#)	W tym artykule opisano sposób open działa.Zgłoszenia przywozowego Określa moduł lub nazw elementów, których można odwołać się bez korzystania z w pełni kwalifikowana nazwa.
Podpisy (F#)	W tym artykule opisano podpisów i podpisów.Plik podpisu zawiera informacje o podpisach publicznych zestaw F# program elementów, takich jak typy obszarów nazw i moduły.Można ją określić dostępność tych elementów programu.
Dokumentacja XML (F#)	Opisuje obsługę generowania plików dokumentacji XML doc komentarzy, znany również jako potrójny ukośnik komentarze.Służy do tworzenia dokumentacji z komentarzy do kodu F# tak jak w innych.Języki netto.
Pełna składnia (F#)	Opisano składnię F# konstrukcje, gdy lekkie składni nie jest włączona.Verbose składnia jest wskazany przez #light "off" dyrektywa u góry pliku kodu.

F# typów

W poniższej tabeli przedstawiono dostępne tematy odniesienia, opisujących typów obsługiwanych przez język F#.

Tytuł	Opis
Wartości (F#)	W tym artykule opisano wartości, które są niezmienne ilości, które mają określonego typu; wartości mogą być numery integralną lub ruchomy punkt, znaków lub tekst, list, sekwencji, tablice, krotek, związki dyskryminowanych, rekordy, typy klas lub wartości funkcji.
Typy pierwotne (F#)	Zawiera opis podstawowych typów pierwotnych, które są używane w języku F#.Zapewnia także odpowiednie.Typy sieci i minimalne i maksymalne wartości dla każdego typu.
Typ jednostki (F#)	W tym artykule opisano unit typu, który jest typem, który wskazuje brak określonej wartości; unit typ ma tylko jedną wartość, która działa jako symbol zastępczy, gdy inna wartość nie istnieje lub jest potrzebna.
Ciągi (F#)	W tym artykule opisano ciągi F#.string Typu reprezentuje niezmienne tekst jako sekwencja znaków Unicode.stringjest aliasem dla String w.NET Framework.
Krotki (F#)	W tym artykule opisano krotek, które są grupami zamówione, ale bez nazwy wartości możliwie różnych typów.
Typy kolekcji F#	Przegląd F# typy kolekcji funkcjonalności, włącznie z typami tablic, list, sekwencji (seq), mapy i zestawów.
Listy (F#)	Zawiera opis listy.Lista F# jest uporządkowana seria niezmienne elementów wszystkie tego typu.
Opcje (F#)	Opisuje typ opcji.Opcja F# jest używana, gdy wartość może lub nie istnieje.Opcja ma podstawowy typ i albo może przechowywać wartości tego typu lub go nie może mieć wartości.
Sekwencje (F#)	W tym artykule opisano sekwencji.Sekwencja jest logiczną szereg elementów jednego typu.Sekwencja poszczególnych elementów są obliczane tylko jeśli jest to wymagane, więc przedstawienie może być mniejsza niż liczba literału elementu wskazuje.
Tablice (F#)	W tym artykule opisano tablic.Tablice są sekwencje stałym rozmiarze, od zera, tych elementów kolejnych danych, wszystkie tego typu.
Rekordy (F#)	W tym artykule opisano rekordów.Rekordy stanowią prosty agregatów nazwanych wartości opcjonalnie z członków.
Sumy rozłączne (F#)	Opisuje dyskryminowanych związków, które zapewnia obsługę wartości, które mogą być jednym z różnych przypadków, każdy z nich prawdopodobnie różne wartości i typy.
Wyliczenia (F#)	W tym artykule opisano wyliczenia są typy, które mają określonego zestawu o nazwie wartości.Można użyć je zamiast literały Aby bardziej czytelnym i powstawać kodu.
Komórki odwołań (F#)	W tym artykule opisano odwołania komórek, które są miejsca składowania, które umożliwiają tworzenie tych zmiennych z semantyką odniesienia.
Skróty typów (F#)	Opisuje typ skróty, które są alternatywne nazwy typów.
Klasy (F#)	Zawiera opis klas, które są typy, które reprezentują obiektów, które mogą mieć właściwości, metod i zdarzeń.
Struktury (F#)	W tym artykule opisano struktur, które są typy compact obiektów, które mogą być bardziej skuteczne niż klasy dla typów, które zostały niewielkiej ilości danych i zachowanie prosty.
Interfejsy (F#)	Opisuje interfejsy, które określają zestawy powiązane elementy członkowskie, które implementują innych klas.
Klasy abstrakcyjne (F#)	Zawiera opis klas abstrakcyjnych, które są klasy, które opuszczają niektórych lub wszystkich członków niezaimplementowane, tak aby implementacji może być zapewniona przez klas pochodnych.
Rozszerzenia typu (F#)	Opisuje typ rozszerzenia, które pozwalają na dodawanie nowych członków do typu wcześniej zdefiniowanych obiektu.
Typy elastyczne (F#)	Opisuje typy elastyczne.Wskazanie typu elastyczne jest wskazanie, że parametr, zmienna lub wartość ma typ, który jest zgodny z typem określony, gdy zgodność określa pozycję w hierarchii zorientowane obiektowo klas lub interfejsów.
Delegaty (F#)	W tym artykule opisano delegatów, które reprezentują wywołanie funkcji jako obiekt.
Jednostki miary (F#)	Zawiera opis jednostki miary.Zmiennoprzecinkowych w F# są skojarzone jednostki miary, które zazwyczaj są używane do wskazywania, długość, objętość, masa itd.
Dostawcy typów	Opisuje typ zapewnia i zawiera łącza do instruktaże na korzystanie z dostawców wbudowany typ dostępu do baz danych i usług sieci web.

F# wyrażeń

Poniższa tabela zawiera listę tematów opisujących wyrażenia F#.

Tytuł	Opis
Wyrażenie warunkowe: if... then...else (F#)	W tym artykule opisano if...then...else wyrażenie, które uruchamia gałęziami kodu i także wynikiem innej wartości w zależności od wyrażenia logicznego, biorąc pod uwagę.
Wyrażenia dopasowania (F#)	W tym artykule opisano match wyrażenia, która zapewnia rozgałęzioną kontrolę, opartą na porównanie wyrażenia z zestawem deseni.
Pętle: for...to — Wyrażenie (F#)	W tym artykule opisano for...to wyrażenie, który jest używany do iteracji w pętli w przedziale wartości zmiennej pętli.
Pętle: for...in — Wyrażenie (F#)	W tym artykule opisano for...in wyrażenie, konstrukcji pętli, który umożliwia iteracyjne przeglądanie dopasowania wzorca agregującym kolekcji, takie jak zakres wyrażenia, sekwencji, listy, tablicy lub innych konstrukcji, który obsługuje wyliczanie.
Pętle: while...do — Wyrażenie (F#)	W tym artykule opisano while...do wyrażenia, która jest używana do wykonywania wykonywanie iteracji (powtarzania) podczas, gdy jest spełniony warunek określony test.
Wyrażenia obiektów (F#)	Zawiera opis obiektu wyrażeń, które są wyrażenia, które należy utworzyć nowe wystąpienia typu obiektu dynamicznie utworzony, anonimowe, oparty na istniejących typu podstawowego, interfejsu lub zestawu interfejsów.
Obliczenia powolne (F#)	W tym artykule opisano leniwy obliczenia, które są obliczenia, które nie są obliczane natychmiast, ale zamiast tego są oceniane, gdy potrzebne jest faktycznie wynik.
Wyrażenia obliczeń (F#)	W tym artykule opisano wyrażenia obliczeń w F#, które przewidują składni wygodne pisanie obliczenia, które mogą być ustawione w kolejności i łączone za pomocą sterowania przepływem konstrukcje i powiązań.Może służyć do zapewniają wygodny składnia dla monads, funkcjonalnych funkcja programowania używany do zarządzania danych, kontroli i efekty uboczne w funkcjonalności programów.Jeden typ obliczeń wyrażenie, asynchroniczne przepływu pracy, zapewnia obsługę obliczeń asynchroniczne i równoległe.Aby uzyskać więcej informacji, zobacz Asynchroniczne przepływy pracy (F#).
Asynchroniczne przepływy pracy (F#)	Opisuje Asynchroniczne przepływy pracy, funkcja języka, która umożliwia zapisują kod asynchroniczny w sposób, który jest bardzo zbliżony do sposobu można byłoby naturalnie napisać kod synchronicznych.
Cytaty kodu (F#)	Opisuje kod cytowania, funkcja języka, która pozwala generować i pracować z wyrażeniami kod F# programowo.
Wyrażenia kwerend (F#)	Opisuje wyrażenia w kwerendzie, funkcja języka, która implementuje LINQ dla F# i umożliwia pisanie kwerend źródła danych lub agregującym kolekcji.

Konstrukcje obsługiwana przez kompilator

Poniższa tabela zawiera listę tematów opisujących specjalne konstrukcje obsługiwana przez kompilator.

Temat	Opis
Dyrektywy kompilatora (F#)	Opisuje procesor dyrektywy i dyrektyw kompilatora.
Identyfikatory wiersza źródłowego, pliku i ścieżki (F#)	W tym artykule opisano identyfikatory __LINE__, __SOURCE_DIRECTORY__ i __SOURCE_FILE__, które są wbudowane wartości, które umożliwiają dostęp do wiersza numer, katalogu i pliku nazwę źródła w kodzie.

Zobacz też

Inne zasoby

Visual F#

Odwołanie do kompilatora F# (fsc.exe)