Visual F#

F# to język programowania oferujący obsługę, oprócz tradycyjnego programowania obiektowego oraz imperatywnego (proceduralnego), programowania funkcjonalnego.Produkt Visual F# umożliwia tworzenie aplikacji w języku F# oraz rozszerzanie innych aplikacji programu .NET Framework przy użyciu kodu w języku F#.Język F# należy do podstawowych języków programu .NET Framework i zachowuje duże podobieństwo do języków funkcjonalnych z rodziny ML.

Ta wersja programu Visual F# zawiera wersję 3.1 języka F#.

Język wieloparadygmatowy

Język F# obsługuje konstrukcje programowania funkcjonalnego, które wymieniono poniżej:

  • Funkcje jako wartości, co umożliwia elastyczne wykonywanie operacji na funkcjach.Aby uzyskać więcej informacji, zobacz Funkcje jako wartości pierwszej klasy (F#).

  • Złożenia funkcji i ich przetwarzanie potokowe, co umożliwia łączenie funkcji w celu tworzenia nowych funkcji i upraszczania kodowania kolejnych operacji wykonywanych na danych.Aby uzyskać więcej informacji, zobacz Funkcje (F#).

  • Wnioskowanie typów zmniejszające potrzebę jawnego wywoływania typów, bez poświęcania bezpieczeństwa typów.

  • Automatyczna generalizacja, która promuje ponowne używanie kodu, ponieważ ułatwia pisanie kodu działającego z różnymi typami bez żadnych dodatkowych nakładów pracy.

  • Obsługa dopasowania wzorców, która upraszcza złożony kod warunkowy, oraz związków wyróżniających, które są zoptymalizowane do użycia z dopasowaniem wzorców.

  • Typy kolekcji przeznaczone do użycia z niezmienialnymi danymi, w tym typy list i sekwencji.

  • Wyrażenia lambda, które są istotne dla wielu konstrukcji programowania funkcjonalnego.

  • Częściowe stosowanie argumentów funkcji, które umożliwia niejawne tworzenie nowych funkcji na podstawie istniejących.Aby uzyskać więcej informacji, zobacz Funkcje (F#).

  • Cytowanie kodu, czyli funkcja umożliwiająca programowe wykonywanie operacji na wyrażeniach języka F#.

Język F# obsługuje programowanie obiektowe oraz możliwości programu .NET Framework, takie jak:

  • Model obiektów programu .NET Framework, w tym obiekty, które mają właściwości, metody i zdarzenia, polimorfizm (funkcje wirtualne), dziedziczenie i interfejsy.

  • Hermetyzacja danych (oddzielenie interfejsu publicznego typu od implementacji).

  • Przeciążanie operatorów, które dobrze działa z ogólnymi i wbudowanych typami pierwotnymi.

  • Rozszerzenia typów, które umożliwiają łatwe rozszerzenie istniejącego typu, bez dodatkowego nakładu pracy związanego z tworzeniem nowego typu pochodnego.

  • Wyrażenia obiektów, które umożliwiają, gdy jest to potrzebne, niejawne definiowanie małych obiektów w wyrażeniach, zamiast deklarowania nowego typu i tworzenia wystąpienia obiektu.

  • Dostęp do programu .NET Framework i dowolnego zestawu kodu zarządzanego.

  • Dostęp do kodu natywnego za pośrednictwem wywołania platformy.

Program Visual F# obsługuje programowanie z dużą ilością informacji.Ta technologia umożliwia programowanie z bezpośrednim użyciem rozbudowanych przestrzeni danych i usług, które często dominują we współczesnym programowaniu dla przedsiębiorstw i sieci web, takich jak bazy danych, usługi sieci web, strumieniowe źródła danych w sieci web i brokerzy danych.

Programowanie z dużą ilością informacji w języku F# jest skoncentrowane na kodzie i można go używać zarówno w skryptach, jak i w projektach.Umożliwia także określenie połączeń OData i bazy danych programu SQL Server bezpośrednio w kodzie, a jednocześnie oferuje silne typy dzięki technologii IntelliSense.Mechanizm jest rozszerzalny, co umożliwia pisanie lub odwoływanie się do nowych dostawców w celu uzyskiwania danych, kodu i technologii usług, takich jak program SharePoint, ontologie sieci web, usługa Instrumentacja zarządzania Windows (WMI), kod XML i inne źródła informacji.Z technicznego punktu widzenia programowanie z dużą ilością informacji w języku F# obejmuje mechanizm dostawców typów F#, wyrażenia zapytań w języku F# oraz zestaw wbudowanych dostawców typów używanych na potrzeby programowania baz danych, źródeł danych OData oraz usług sieci web.

Język F# obsługuje również wszystkie typowe konstrukcje programowania imperatywnego, takie jak rozgałęziania i pętle.

Biblioteki języka F#

Program Visual F# zawiera również bibliotekę języka F#, w której znajduje się wiele przydatnych funkcji i typów.Są to m.in. interfejsy API dla kolekcji, takich jak listy, tablice, mapy, zestawy i sekwencje.Biblioteka języka F# obsługuje także mechanizm odbicia, zdarzenia i sformatowane we/wy.

Ponadto biblioteka języka F# oferuje obsługę asynchronicznych przepływów pracy potrzebną do obsługi obliczeń równoległych oraz mechanizmy komunikacji między równoległymi przepływami pracy.Aby uzyskać więcej informacji, zobacz Asynchroniczne przepływy pracy (F#), Control.Async — Klasa (F#) i Control.MailboxProcessor<'Msg> — Klasa (F#).

Główna biblioteka języka F# to FSharp.Core.dll.Dodatkowe biblioteki są dostępne w pakiecie F# PowerPack, który można pobrać z witryny sieci Web Centrum deweloperów Microsoft F#.

Istnieją oddzielnie skompilowane wersje podstawowej biblioteki języka F#, które obsługują różne wersje programu .NET Framework.Wersja 2.0 obsługuje programy .NET Framework 2.0, 3.0 i 3.5, a wersja 4.0 obsługuje program .NET Framework 4 i nowsze wersje programu .NET Framework.Ponadto są dostępne do pobrania wersje podstawowej biblioteki języka F# dla programu Silverlight.

Interakcyjna obsługa skryptów

Program Visual F# zawiera interakcyjne okno, które jest zintegrowane ze środowiskiem projektowym programu Visual Studio.To okno umożliwia wprowadzanie kodu w języku F# oraz jego natychmiastową kompilację i wykonanie.Dzięki temu można łatwo tworzyć prototypy konstrukcji kodu i testować kod już podczas jego pisania.To interakcyjne okno uruchamia interakcyjne narzędzie języka F# — fsi.exe — które można również uruchomić z wiersza polecenia.Ta funkcja umożliwia użycie języka F# jako języka skryptowego.Aby uzyskać więcej informacji, zobacz Odwołanie interakcyjne F# (fsi.exe).

Integracja z programem Visual Studio

Język F# jest zintegrowany z programem Visual Studio i obsługuje następujące elementy:

Tematy pokrewne

Tytuł

Opis

Portal programowania w Visual F#

Brama do różnorodnych informacji na temat języka F#.

Pisanie programów w języku F# przy użyciu programu Visual Studio

Informacje dotyczące używania języka F# w zintegrowanym środowisku projektowym (IDE), w tym dotyczące ustawień projektu i technologii IntelliSense.

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

Informacje referencyjne dotyczące języka F#, w tym informacje dotyczące słów kluczowych, symboli i operatorów.

Odwołanie do biblioteki podstawowej F#

Informacje dotyczące podstawowej biblioteki języka F# — FSharp.Core.dll.

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

Informacje dotyczące kompilatora języka F# — fsc.exe — w tym informacje o opcjach kompilatora.

Odwołanie interakcyjne F# (fsi.exe)

Informacje o interakcyjnej wersji języka F# — fsi.exe — w tym informacje na temat opcji wiersza polecenia i komunikatów diagnostycznych, które są specyficzne dla interakcyjnej wersji języka F#.

Przykłady i wskazówki dotyczące Visual F#

Łącza do przykładów oraz przewodników dla języka F#.

Zobacz też

Koncepcje

Visual Studio 2013