This sample will guide you through elements of the F# language. Ten przykład zawiera opis elementów języka F#. To execute the code in F# Interactive, highlight a section of code and press Alt-Enter or right-click Aby wykonać kod w programie F# Interactive, zaznacz sekcję kodu i naciśnij kombinację klawiszy Alt-Enter lub kliknij prawym przyciskiem myszy, and select "Execute in Interactive". You can open the F# Interactive Window from the "View" menu. a następnie wybierz opcję „Wykonaj w programie Interactive”. Okno programu F# Interactive można otworzyć z menu „Widok”. For more about F#, see: Aby uzyskać więcej informacji o języku F#, zobacz: To see this tutorial in documentation form, see: Aby wyświetlić ten samouczek w formie dokumentacji, zobacz: To learn more about applied F# programming, use Aby dowiedzieć się więcej o programowaniu w języku F# w praktyce, użyj To install the Visual F# Power Tools, use Aby zainstalować narzędzia Visual F# Power Tools, użyj 'Tools' --> 'Extensions and Updates' --> `Online` and search „Narzędzia” --> „Rozszerzenia i aktualizacje” --> „Online” i wyszukaj For additional templates to use with F#, see the 'Online Templates' in Visual Studio, Aby uzyskać informacje o dodatkowych szablonach do użycia w języku F#, zobacz sekcję dotyczącą szablonów w trybie online w programie Visual Studio, 'New Project' --> 'Online Templates' „Nowy projekt” --> „Szablony w trybie online” F# supports three kinds of comments: Język F# obsługuje trzy rodzaje komentarzy: 1. Double-slash comments. These are used in most situations. 1. Komentarze z podwójnym ukośnikiem. Są używane w większości sytuacji. 2. ML-style Block comments. These aren't used that often. 2. Komentarze blokowe w stylu ML. Nie są używane zbyt często. 3. Triple-slash comments. These are used for documenting functions, types, and so on. 3. Komentarze z potrójnymi ukośnikami. Są używane do dokumentowania funkcji, typów itd. They will appear as text when you hover over something which is decorated with these comments. Będą wyświetlane jako tekst po zatrzymaniu wskaźnika myszy nad tym, do czego zostały dodane. They also support .NET-style XML comments, which allow you to generate reference documentation, Obsługują także komentarze XML w stylu programu .NET, które pozwalają na generowanie dokumentacji referencyjnej, and they also allow editors (such as Visual Studio) to extract information from them. a także umożliwiają edytorom (takim jak program Visual Studio) na wydobywanie z nich informacji. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/xml-documentation Aby dowiedzieć się więcej, zobacz: https://docs.microsoft.com/pl-pl/dotnet/articles/fsharp/language-reference/xml-documentation Open namespaces using the 'open' keyword. Otwieraj przestrzenie nazw, używając słowa kluczowego „open”. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/import-declarations-the-open-keyword Aby dowiedzieć się więcej, zobacz: https://docs.microsoft.com/pl-pl/dotnet/articles/fsharp/language-reference/import-declarations-the-open-keyword A module is a grouping of F# code, such as values, types, and function values. Moduł to zbiór kodu w języku F#, takiego jak wartości, typy i wartości funkcji. Grouping code in modules helps keep related code together and helps avoid name conflicts in your program. Grupowanie kodu w modułach pomaga trzymać razem powiązany kod i unikać konfliktów nazw w programie. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/modules Aby dowiedzieć się więcej, zobacz https://docs.microsoft.com/pl-pl/dotnet/articles/fsharp/language-reference/modules This is a sample integer. To jest przykładowa liczba całkowita. This is a sample floating point number. To jest przykładowa liczba zmiennoprzecinkowa. This computed a new number by some arithmetic. Numeric types are converted using To obliczyło nową liczbę, wykonując pewne operacje arytmetyczne. Typy liczbowe są konwertowane za pomocą functions 'int', 'double' and so on. funkcji „int”, „double” itd. This is a list of the numbers from 0 to 99. To jest lista liczb od 0 do 99. This is a list of all tuples containing all the numbers from 0 to 99 and their squares. To jest lista wszystkich krotek zawierających wszystkie liczby od 0 do 99 i ich kwadraty. The next line prints a list that includes tuples, using '%A' for generic printing. Następny wiersz wyświetla listę z krotkami, używając symbolu „%A” do wyświetlania ogólnego. This is a sample integer with a type annotation To jest przykładowa liczba całkowita z adnotacją typu Values in F# are immutable by default. They cannot be changed Wartości w języku F# są domyślnie niezmienialne. Nie można ich modyfikować in the course of a program's execution unless explicitly marked as mutable. w trakcie wykonywania programu, chyba że zostaną jawnie oznaczone jako zmienialne. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/values/index#why-immutable Aby dowiedzieć się więcej, zobacz https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/values/index#why-immutable Binding a value to a name via 'let' makes it immutable. Powiązanie wartości z nazwą za pomocą polecenia „let” sprawia, że będzie ona niezmienna. The second line of code fails to compile because 'number' is immutable and bound. Nie można skompilować drugiego wiersza kodu, ponieważ element „number” jest niezmienny i powiązany. Re-defining 'number' to be a different value is not allowed in F#. Ponowne definiowanie elementu „number” na inną wartość nie jest dozwolone w języku F#. A mutable binding. This is required to be able to mutate the value of 'otherNumber'. Modyfikowalne powiązanie. Jest to wymagane w celu modyfikowania wartości elementu „otherNumber”. When mutating a value, use '<-' to assign a new value. Podczas modyfikowania wartości użyj strzałki „<-”, aby przydzielić nową wartość. You could not use '=' here for this purpose since it is used for equality Nie możesz w tym celu użyć tutaj znaku „=”, ponieważ jest on używany do oznaczania równości or other contexts such as 'let' or 'module' lub innych kontekstów, np. „let” lub „module” Much of F# programming consists of defining functions that transform input data to produce Duża część programowania w języku F# to definiowanie funkcji, które przekształcają dane wejściowe w celu utworzenia useful results. przydatne wyniki. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/functions/ Aby dowiedzieć się więcej, zobacz https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/functions/ You use 'let' to define a function. This one accepts an integer argument and returns an integer. Polecenia „let” używa się do definiowania funkcji. To polecenie akceptuje argument w postaci liczby całkowitej i zwraca liczbę całkowitą. Parentheses are optional for function arguments, except for when you use an explicit type annotation. Nawiasy są opcjonalne w przypadku argumentów funkcji, z wyjątkiem użycia jawnego typu adnotacji. Apply the function, naming the function return result using 'let'. Zastosuj funkcję i nadaj jej wynikowi zwrotnemu nazwę, używając instrukcji „let”. The variable type is inferred from the function return type. Typ zmiennej jest wywnioskowany na podstawie zwracanego typu funkcji. This line uses '%d' to print the result as an integer. This is type-safe. Ten wiersz używa elementu „%d”, aby wydrukować wynik jako liczbę całkowitą. Jest to bezpieczne. If 'result1' were not of type 'int', then the line would fail to compile. Jeśli element „result1” nie miałby typu „int”, kompilacja wiersza zakończyłaby się niepowodzeniem. When needed, annotate the type of a parameter name using '(argument:type)'. Parentheses are required. W razie potrzeby adnotuj typ nazwy parametru przy użyciu polecenia „(argument:typ)”. Nawiasy są wymagane. Conditionals use if/then/elid/elif/else. Wyrażenia warunkowe używają słów kluczowych if/then/elid/elif/else. Note that F# uses whitespace indentation-aware syntax, similar to languages like Python. Należy zauważyć, że język F# używa składni uwzględniającej wcięcia w postaci odstępów, tak jak w przypadku języków podobnych do języka Python. This line uses '%f' to print the result as a float. As with '%d' above, this is type-safe. Ten wiersz używa elementu „%f”, aby wydrukować wynik jako liczbę zmiennoprzecinkową. Podobnie jak w przypadku elementu „%d” powyżej jest to bezpieczne. Booleans are fundamental data types in F#. Here are some examples of Booleans and conditional logic. Wartości logiczne są fundamentalnymi typami danych w języku F#. Oto kilka przykładów wartości logicznych i logiki warunkowej. To learn more, see: Aby dowiedzieć się więcej, zobacz: and oraz Booleans values are 'true' and 'false'. Wartości logiczne przyjmują wartość „true” i „false”. Operators on booleans are 'not', '&&' and '||'. Operatory wartości logicznych to „not”, „&&” i „||”. This line uses '%b'to print a boolean value. This is type-safe. Ten wiersz używa elementu „%b”, aby wydrukować wartość logiczną. Jest to bezpieczne. Strings are fundamental data types in F#. Here are some examples of Strings and basic String manipulation. Ciągi są fundamentalnymi typami danych w języku F#. Oto kilka przykładów ciągów i podstawowych manipulacji ciągami. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/strings Aby dowiedzieć się więcej, zobacz https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/strings Strings use double quotes. Ciągi używają cudzysłowów. Strings can also use @ to create a verbatim string literal. W ciągach można także używać znaku @ do tworzenia dosłownych literałów ciągu. This will ignore escape characters such as '\', '\n', '\t', etc. Spowoduje to ignorowanie znaków ucieczki, np. „\”, „\n”, „\t” itp. String literals can also use triple-quotes. Literały ciągu mogą także używać potrójnych cudzysłowów. String concatenation is normally done with the '+' operator. Łączenie ciągów wykonuje się zazwyczaj przy użyciu operatora „+”. This line uses '%s' to print a string value. This is type-safe. Ten wiersz używa elementu „%s”, aby wydrukować wartość ciągu. Jest to bezpieczne. Substrings use the indexer notation. This line extracts the first 7 characters as a substring. Podciągi używają notacji indeksatora. Ten wiersz wyodrębnia pierwsze 7 znaków w formie podciągu. Note that like many languages, Strings are zero-indexed in F#. Należy zauważyć, że w języku F# ciągi znaków są indeksowane od zera, podobnie jak w wielu innych językach. Tuples are simple combinations of data values into a combined value. Krotki to proste kombinacje wartości danych tworzące połączoną wartość. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/tuples Aby dowiedzieć się więcej, zobacz https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/tuples A simple tuple of integers. Prosta krotka liczb całkowitych. A function that swaps the order of two values in a tuple. Funkcja zamieniająca kolejność dwóch wartości w krotce. F# Type Inference will automatically generalize the function to have a generic type, Wnioskowanie o typie języka F# będzie automatycznie uogólniać funkcję do typu ogólnego, meaning that it will work with any type. co oznacza, że będzie działać z dowolnym typem. A tuple consisting of an integer, a string, Krotka składająca się z liczby całkowitej, ciągu and a double-precision floating point number. i liczby zmiennoprzecinkowej podwójnej precyzji. A simple tuple of integers with a type annotation. Prosta krotka składająca się z liczb całkowitych z adnotacją typu. Type annotations for tuples use the * symbol to separate elements Adnotacje typu w krotkach korzystają z symbolu * do oddzielania elementów Tuples are normally objects, but they can also be represented as structs. Krotki są zazwyczaj obiektami, niemniej mogą być również reprezentowane w formie struktur. These interoperate completely with structs in C# and Visual Basic.NET; however, Całkowicie współpracują ze strukturami w języku C# i Visual Basic.NET; niemniej struct tuples are not implicitly convertable with object tuples (often called reference tuples). krotki w formie struktur nie mogą być niejawnie konwertowane na krotki w formie obiektów (często zwane krotkami odwołań). The second line below will fail to compile because of this. Uncomment it to see what happens. Z tego powodu nie będzie można skompilować drugiego wiersza poniżej. Usuń komentarz z tego wiersza, aby zobaczyć, co się stanie. Although you cannot implicitly convert between struct tuples and reference tuples, Mimo że nie możesz przeprowadzać niejawnej konwersji między krotkami struktury i krotkami odwołania, you can explicitly convert via pattern matching, as demonstrated below. możesz konwertować jawnie za pośrednictwem dopasowywania do wzorców, jak pokazano poniżej. The F# pipe operators ('|>', '<|', etc.) and F# composition operators ('>>', '<<') Operatory potoków języka F# („|>”, „<|” itp.) oraz operatory kompozycji języka F# („>>”, „<<”) are used extensively when processing data. These operators are themselves functions są często używane podczas przetwarzania danych. Operatory te są funkcjami which make use of Partial Application. wykorzystującymi częściową aplikację. To learn more about these operators, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/functions/#function-composition-and-pipelining Aby dowiedzieć się więcej o tych operatorach, zobacz https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/functions/#function-composition-and-pipelining To learn more about Partial Application, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/functions/#partial-application-of-arguments Aby dowiedzieć się więcej o częściowej aplikacji, zobacz: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/functions/#partial-application-of-arguments Squares a value. Podnosi wartość do potęgi drugiej. Adds 1 to a value. Dodaje 1 do wartości. Tests if an integer value is odd via modulo. Sprawdza, czy wartość liczby całkowitej jest nieparzysta za pomocą operacji modulo. A list of 5 numbers. More on lists later. Lista 5 liczb. Więcej informacji na temat list znajduje się dalej. Given a list of integers, it filters out the even numbers, W oparciu o podaną listę liczb całkowitych funkcja filtruje liczby parzyste, squares the resulting odds, and adds 1 to the squared odds. podnosi nieparzyste wyniki do potęgi drugiej, a następnie dodaje 1 do podniesionych do potęgi drugiej liczb nieparzystych. A shorter way to write 'squareOddValuesAndAddOne' is to nest each Krótszym sposobem zapisu „squareOddValuesAndAddOne” jest zagnieżdżenie każdego sub-result into the function calls themselves. wyniku podrzędnego w samych wywołaniach funkcji. This makes the function much shorter, but it's difficult to see the Dzięki temu funkcja będzie znacznie krótsza, ale trudno będzie zobaczyć order in which the data is processed. kolejność przetwarzania danych. A preferred way to write 'squareOddValuesAndAddOne' is to use F# pipe operators. Preferowanym sposobem zapisu funkcji „squareOddValuesAndAddOne” jest użycie operatorów potoków języka F#. This allows you to avoid creating intermediate results, but is much more readable Dzięki temu unika się tworzenia wyników pośrednich, a całość jest znacznie bardziej czytelna than nesting function calls like 'squareOddValuesAndAddOneNested' niż w przypadku zagnieżdżania wywołań funkcji, np. „squareOddValuesAndAddOneNested” You can shorten 'squareOddValuesAndAddOnePipeline' by moving the second `List.map` call Możesz skrócić wywołanie „squareOddValuesAndAddOnePipeline” przez przeniesienie drugiego wywołania „List.map” into the first, using a Lambda Function. do pierwszego, korzystając z funkcji lambda. Note that pipelines are also being used inside the lambda function. F# pipe operators Należy zauważyć, że potoki są również używane w funkcji lambda. Operatorów potoków języka F# can be used for single values as well. This makes them very powerful for processing data. można również użyć w przypadku pojedynczych wartości. Dzięki temu jest to bardzo zaawansowane narzędzie do przetwarzania danych. Lastly, you can eliminate the need to explicitly take 'values' in as a parameter by using '>>' W końcu możesz wyeliminować potrzebę jawnego przyjmowania elementu „values” jako parametru, używając wyrażenia „>>”, to compose the two core operations: filtering out even numbers, then squaring and adding one. aby zredagować dwie kluczowe operacje: odfiltrowywanie liczb parzystych, a następnie podnoszenie do potęgi drugiej i dodawanie jedynki. Likewise, the 'fun x -> ...' bit of the lambda expression is also not needed, because 'x' is simply Podobnie fragment „fun x -> ...” wyrażenia lambda nie jest wymagany, ponieważ wartość „x” jest po prostu being defined in that scope so that it can be passed to a functional pipeline. Thus, '>>' can be used definiowana w tym zakresie w celu przekazania do potoku funkcyjnego. Dlatego można również użyć wyrażenia „>>” there as well. w tym miejscu. The result of 'squareOddValuesAndAddOneComposition' is itself another function which takes a Wynikiem funkcji „squareOddValuesAndAddOneComposition” jest inna funkcja, która przyjmuje list of integers as its input. If you execute 'squareOddValuesAndAddOneComposition' with a list listę liczb całkowitych w formie danych wejściowych. Jeśli wykonasz funkcję „squareOddValuesAndAddOneComposition” z listą of integers, you'll notice that it produces the same results as previous functions. liczb całkowitych, funkcja będzie podawać takie same wyniki jak poprzednie funkcje. This is using what is known as function composition. This is possible because functions in F# Używa się tu kompozycji funkcji. Jest to możliwe, ponieważ funkcje w języku F# use Partial Application and the input and output types of each data processing operation match używają częściowej aplikacji, a typy danych wejściowych i wyjściowych dla każdej operacji przetwarzania danych są dopasowane do the signatures of the functions we're using. podpisów funkcji, których używamy. Lists are ordered, immutable, singly-linked lists. They are eager in their evaluation. Listy są uporządkowane, niezmienne i jednokierunkowe. Są wartościowane przed przetworzeniem. This module shows various ways to generate lists and process lists with some functions Ten moduł pokazuje różne sposoby generowania list i ich przetwarzania przy użyciu niektórych funkcji in the 'List' module in the F# Core Library. w module „Lista” w bibliotece podstawowej języka F#. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/lists Aby dowiedzieć się więcej, zobacz: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/lists Lists are defined using [ ... ]. This is an empty list. Listy definiuje się za pomocą zapisu [ ... ]. To jest pusta lista. This is a list with 3 elements. ';' is used to separate elements on the same line. Jest to lista z trzema elementami. Znak „;” oddziela elementy w tym samym wierszu. You can also separate elements by placing them on their own lines. Możesz również oddzielić elementy przez umieszczenie ich w osobnych wierszach. This is a list of integers from 1 to 1000 To jest lista liczb całkowitych z zakresu od 1 do 1000 Lists can also be generated by computations. This is a list containing Listy można także generować za pomocą obliczeń. To jest lista zawierająca all the days of the year. wszystkie dni roku. Print the first 5 elements of 'daysList' using 'List.take'. Wydrukuj pięć pierwszych elementów listy „daysList” przy użyciu wyrażenia „List.take”. Computations can include conditionals. This is a list containing the tuples Obliczenia mogą obejmować wyrażenia warunkowe. To jest lista zawierająca krotki which are the coordinates of the black squares on a chess board. które są współrzędnymi czarnych kwadratów na szachownicy. Lists can be transformed using 'List.map' and other functional programming combinators. Listy można przekształcać za pomocą elementu „List.map” i innych kombinatorów programowania funkcjonalnego. This definition produces a new list by squaring the numbers in numberList, using the pipeline Ta definicja umożliwia utworzenie nowej listy przez podniesienie do kwadratu elementów na liście numberList za pomocą potoku operator to pass an argument to List.map. operatora, aby przekazać argument do elementu List.map. There are many other list combinations. The following computes the sum of the squares of the Istnieje wiele innych kombinacji listy. Następujący kod oblicza sumę kwadratów numbers divisible by 3. liczby podzielne przez 3. Arrays are fixed-size, mutable collections of elements of the same type. Tablice to zmienialne kolekcje o stałym rozmiarze, w których zawierają się elementy tego samego typu. Although they are similar to Lists (they support enumeration and have similar combinators for data processing), Chociaż są podobne do list (obsługują wyliczenia i mają podobne kombinatory przetwarzania danych), they are generally faster and support fast random access. This comes at the cost of being less safe by being mutable. ogólnie są szybsze i obsługują szybki dostęp losowy. Niemniej oznacza to mniejsze bezpieczeństwo związane z możliwością ich modyfikacji. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/arrays Aby dowiedzieć się więcej, zobacz https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/arrays This is The empty array. Note that the syntax is similar to that of Lists, but uses `[| ... |]` instead. To jest pusta tablica. Należy zauważyć, że składnia jest podobna do składni list, ale tutaj używa się zapisu „[| ... |]”. Arrays are specified using the same range of constructs as lists. Tablice określa się za pomocą tego samego zestawu konstrukcji co listy. This is an array of numbers from 1 to 1000. To jest tablica liczb z zakresu od 1 do 1000. This is an array containing only the words "hello" and "world". To jest tablica zawierająca tylko słowa „hello” i „world”. This is an array initialized by index and containing the even numbers from 0 to 2000. To jest tablica zainicjowana za pomocą indeksu i zawierająca liczby parzyste z zakresu od 0 do 2000. Sub-arrays are extracted using slicing notation. Tablice podrzędne wyodrębnia się za pomocą notacji wycinania. You can loop over arrays and lists using 'for' loops. Możesz zapętlić tablice i listy przy użyciu pętli „for”. You can modify the contents of an an array element by using the left arrow assignment operator. Możesz zmodyfikować zawartość elementu tablicy za pomocą operatora przypisania „strzałka w lewo”. To learn more about this operator, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/values/index#mutable-variables Aby dowiedzieć się więcej o tym operatorze, zobacz https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/values/index#mutable-variables You can transform arrays using 'Array.map' and other functional programming operations. Możesz przekształcić tablice za pomocą operacji „Array.map” i innych operacji programowania funkcjonalnego. The following calculates the sum of the lengths of the words that start with 'h'. Następujący kod oblicza sumę długości słów zaczynających się od litery „h”. Sequences are a logical series of elements, all of the same type. These are a more general type than Lists and Arrays. Sekwencje są logicznymi seriami elementów tego samego typu. Jest to typ bardziej ogólny niż listy i tablice. Sequences are evaluated on-demand and are re-evaluated each time they are iterated. Sekwencje są sprawdzane na żądanie, a ich ponowne sprawdzenie następuje za każdym razem, gdy są one iterowane. An F# sequence is an alias for a .NET System.Collections.Generic.IEnumerable<'T>. Sekwencja języka F# jest aliasem dla elementu .NET System.Collections.Generic.IEnumerable<'T>. Sequence processing functions can be applied to Lists and Arrays as well. Funkcje przetwarzania sekwencji można także zastosować dla list i tablic. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/sequences Aby dowiedzieć się więcej, zobacz https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/sequences This is the empty sequence. To jest pusta sekwencja. This a sequence of values. To jest sekwencja wartości. This is an on-demand sequence from 1 to 1000. To jest sekwencja na żądanie zawierająca liczby od 1 do 1000. This is a sequence producing the words "hello" and "world" To jest sekwencja generująca słowa „hello” i „world” This sequence producing the even numbers up to 2000. Ta sekwencja generuje numery parzyste nie większe niż 2000. This is an infinite sequence which is a random walk. To jest nieskończona sekwencja stanowiąca losowe przechodzenie. This example uses yield! to return each element of a subsequence. W tym przykładzie użyto instrukcji yield! do zwrócenia każdego elementu sekwencji podrzędnej. This example shows the first 100 elements of the random walk. Ten przykład przedstawia pierwszych 100 elementów losowego przechodzenia. Recursive functions can call themselves. In F#, functions are only recursive Funkcje rekursywne mogą wywoływać same siebie. W języku F# funkcje to jedyne rekursywne when declared using 'let rec'. w przypadku deklarowania przy użyciu wyrażenia „let rec”. Recursion is the preferred way to process sequences or collections in F#. Rekursja jest preferowanym sposobem przetwarzania sekwencji lub kolekcji w języku F#. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/functions/index#recursive-functions Aby dowiedzieć się więcej, zobacz https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/functions/index#recursive-functions This example shows a recursive function that computes the factorial of an Ten przykład przedstawia funkcję rekursywną, która oblicza silnię integer. It uses 'let rec' to define a recursive function. liczba całkowita. Używa deklaratora „let rec” do zdefiniowania funkcji rekursywnej. Computes the greatest common factor of two integers. Oblicza największy wspólny dzielnik dwóch liczb całkowitych. Since all of the recursive calls are tail calls, Jako że wszystkie wywołania rekurencyjne są wywołaniami ogonowymi, the compiler will turn the function into a loop, kompilator zamieni funkcję w pętlę, which improves performance and reduces memory consumption. która umożliwi zwiększenie wydajności i zmniejszenie zużycia pamięci. This example computes the sum of a list of integers using recursion. Ten przykład oblicza sumę listy liczb całkowitych przy użyciu rekursji. This makes 'sumList' tail recursive, using a helper function with a result accumulator. Operacja zamieni listę „sumList” w listę z rekursją ogonową przy użyciu funkcji pomocniczej z akumulatorem wyników. This invokes the tail recursive helper function, providing '0' as a seed accumulator. Spowoduje to wywołanie funkcji pomocniczej z rekursją ogonową, z wartością „0” jako akumulatorem początkowym. An approach like this is common in F#. Takie podejście jest typowe dla języka F#. Records are an aggregate of named values, with optional members (such as methods). Rekordy są agregacjami nazwanych wartości z opcjonalnymi elementami członkowskimi (np. metodami). They are immutable and have structural equality semantics. Są niezmienne i mają semantykę równości strukturalnej. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/records Aby dowiedzieć się więcej, zobacz https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/records This example shows how to define a new record type. Ten przykład przedstawia sposób definiowania nowego typu rekordu. This example shows how to instantiate a record type. W tym przykładzie pokazano sposób tworzenia wystąpienia typu rekordu. You can also do this on the same line with ';' separators. Możesz to również zrobić w tym samym wierszu, korzystając z separatorów „;”. This example shows how to use "copy-and-update" on record values. It creates Ten przykład przedstawia sposób użycia operacji „kopiuj i aktualizuj” na wartościach rekordu. Tworzy a new record value that is a copy of contact1, but has different values for nową wartość rekordu, która jest kopią elementu contact1, lecz ma inne wartości dla the 'Phone' and 'Verified' fields. pola „Phone” i „Verified”. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/copy-and-update-record-expressions Aby dowiedzieć się więcej, zobacz https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/copy-and-update-record-expressions This example shows how to write a function that processes a record value. Ten przykład przedstawia, jak napisać funkcję przetwarzającą wartość rekordu. It converts a 'ContactCard' object to a string. Konwertuje obiekt „ContactCard” na ciąg. This is an example of a Record with a member. Jest to przykład rekordu z elementem członkowskim. Members can implement object-oriented members. Elementy członkowskie mogą implementować elementy członkowskie zorientowane obiektowo. Members are accessed via the '.' operator on an instantiated type. Do elementów członkowskich uzyskuje się dostęp za pośrednictwem operatora „.” w typie skonkretyzowanym. Records can also be represented as structs via the 'Struct' attribute. Rekordy można również reprezentować jako struktury za pośrednictwem atrybutu „Struct”. This is helpful in situations where the performance of structs outweighs Jest to przydatne w sytuacjach, w których wydajność struktur przewyższa the flexibility of reference types. elastyczność typów odwołań. Discriminated Unions (DU for short) are values which could be a number of named forms or cases. Unie rozłączne (DU, Discriminated Union) są wartościami, które mogą być liczbą nazwanych formularzy lub przypadków. Data stored in DUs can be one of several distinct values. Dane przechowywane w uniach rozłącznych mogą mieć jedną z kilku różnych wartości. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/discriminated-unions Aby dowiedzieć się więcej, zobacz https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/discriminated-unions The following represents the suit of a playing card. Następująca wartość reprezentuje kolor karty do gry. A Disciminated Union can also be used to represent the rank of a playing card. Unii rozłącznej można również użyć do reprezentowania wartości karty do gry. Represents the rank of cards 2 .. 10 Reprezentuje wartości kart 2 .. 10 Discriminated Unions can also implement object-oriented members. Unie rozłączne mogą również implementować elementy członkowskie zorientowane obiektowo. This is a record type that combines a Suit and a Rank. To jest typ rekordu łączący kolor i wysokość. It's common to use both Records and Disciminated Unions when representing data. Często używa się rekordów i unii rozłącznych w przypadku reprezentowania danych. This computes a list representing all the cards in the deck. Operacja oblicza listę reprezentującą wszystkie karty w talii. This example converts a 'Card' object to a string. Ten przykład umożliwia przekonwertowanie elementu „Card” na ciąg. This example prints all the cards in a playing deck. Ten przykład umożliwia wyświetlenie wszystkich kart w talii. Single-case DUs are often used for domain modeling. This can buy you extra type safety Unie rozłączne o pojedynczych przypadkach są często używane podczas modelowania domeny. Może to zapewnić większe bezpieczeństwo typów over primitive types such as strings and ints. niż typy pierwotne, np. ciągi i liczby całkowite. Single-case DUs cannot be implicitly converted to or from the type they wrap. Unie rozłączne o pojedynczych przypadkach nie mogą być niejawnie konwertowane do lub z typu przez nich opakowywanego. For example, a function which takes in an Address cannot accept a string as that input, Przykładowo funkcja przyjmująca adres nie może zaakceptować ciągu jako danych wejściowych or vive/versa. i na odwrót. You can easily instantiate a single-case DU as follows. Możesz z łatwością utworzyć wystąpienie dla unii rozłącznej o pojedynczym przypadku w następujący sposób. When you need the value, you can unwrap the underlying value with a simple function. Jeśli potrzebujesz wartości, możesz cofnąć opakowywanie wartości bazowej za pomocą prostej funkcji. Printing single-case DUs is simple with unwrapping functions. Drukowanie unii rozłącznych o pojedynczych przypadkach jest proste z funkcjami cofającymi opakowywanie. Disciminated Unions also support recursive definitions. Unie rozłączne obsługują również definicje rekursywne. This represents a Binary Search Tree, with one case being the Empty tree, Reprezentuje to binarne drzewo wyszukiwania, gdzie jeden przypadek jest pustym drzewem, and the other being a Node with a value and two subtrees. a drugi węzłem z wartością i dwoma poddrzewami. Check if an item exists in the binary search tree. Sprawdź, czy element istnieje w binarnym drzewie wyszukiwania. Searches recursively using Pattern Matching. Returns true if it exists; otherwise, false. Wyszukuje rekursywnie przy użyciu dopasowywania wzorca. Zwraca wartość true, jeśli element istnieje; w przeciwnym wypadku zwraca wartość false. Check the left subtree. Sprawdź lewe poddrzewo. Check the right subtree. Sprawdź prawe poddrzewo. Inserts an item in the Binary Search Tree. Wstawia element do binarnego drzewa wyszukiwania. Finds the place to insert recursively using Pattern Matching, then inserts a new node. Znajduje miejsce do wstawienia rekursywnego przy użyciu dopasowania wzorca, a następnie wstawia nowy węzeł. If the item is already present, it does not insert anything. Jeśli element jest już obecny, nie wstawia niczego. No need to insert, it already exists; return the node. Wstawianie nie jest konieczne, element już istnieje; zwróć węzeł. Call into left subtree. Wywołanie do lewego poddrzewa. Call into right subtree. Wywołanie do prawego poddrzewa. Discriminated Unions can also be represented as structs via the 'Struct' attribute. Unie rozłączne mogą być również reprezentowane w formie struktur za pośrednictwem atrybutu „Struct”. This is helpful in situations where the performance of structs outweighs Jest to przydatne w sytuacjach, w których wydajność struktur przewyższa the flexibility of reference types. elastyczność typów odwołań. However, there are two important things to know when doing this: Niemniej w przypadku tej operacji należy pamiętać o dwóch ważnych rzeczach: 1. A struct DU cannot be recursively-defined. 1. Unii rozłącznej w formie struktury nie można zdefiniować rekursywnie. 2. A struct DU must have unique names for each of its cases. 2. Unia rozłączna w formie struktury musi mieć unikatowe nazwy dla każdego ze swoich przypadków. Pattern Matching is a feature of F# that allows you to utilize Patterns, Dopasowywanie wzorca jest funkcją języka F# umożliwiającą wykorzystywanie wzorców, which are a way to compare data with a logical structure or structures, które są sposobem na porównywanie danych ze strukturami logicznymi lub strukturami, decompose data into constituent parts, or extract information from data in various ways. rozkładanie danych na części składowe lub wyodrębnianie informacji z danych na różne sposoby. You can then dispatch on the "shape" of a pattern via Pattern Matching. Następnie możesz wysłać „kształt” wzorca za pośrednictwem funkcji dopasowywania wzorca. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/pattern-matching Aby dowiedzieć się więcej, zobacz https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/pattern-matching A record for a person's first and last name Rekord zawierający imię i nazwisko osoby A Discriminated Union of 3 different kinds of employees Unia rozłączna trzech różnych rodzajów pracowników Count everyone underneath the employee in the management hierarchy, Licz wszystkich podlegających pracownikowi w hierarchii zarządzania, including the employee. z uwzględnieniem pracownika. Find all managers/executives named "Dave" who do not have any reports. Znajdź wszystkich kierowników/dyrektorów o imieniu „Dave”, którzy nie mają żadnych podwładnych. This uses the 'function' shorthand to as a lambda expression. Operacja używa skrótu słowa „function” jako wyrażenia lambda. [] matches an empty list. [] dopasuje pustą listę. '_' is a wildcard pattern that matches anything. „_” to wzorzec wieloznaczny, który pasuje do wszystkiego. This handles the "or else" case. Obsługuje przypadek „w przeciwnym razie”. You can also use the shorthand function construct for pattern matching, Możesz również użyć konstrukcji funkcji skrótu w przypadku dopasowywania wzorców, which is useful when you're writing functions which make use of Partial Application. co jest przydatne podczas pisania funkcji wykorzystujących częściową aplikację. Define some more functions which parse with the helper function. Zdefiniuj więcej funkcji, które będą analizować przy użyciu funkcji pomocniczej. Active Patterns are another powerful construct to use with pattern matching. Wzorce aktywne to kolejna zaawansowana konstrukcja do zastosowania podczas dopasowywania wzorców. They allow you to partition input data into custom forms, decomposing them at the pattern match call site. Umożliwiają one partycjonowanie danych wejściowych do formularzy niestandardowych przez ich rozkładanie w lokacji wywołania dopasowania wzorca. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/active-patterns Aby dowiedzieć się więcej, zobacz https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/active-patterns Pattern Matching via 'function' keyword and Active Patterns often looks like this. Dopasowywanie wzorców za pośrednictwem słowa kluczowego „function” i wzorców aktywnych często wygląda w następujący sposób. Call the printer with some different values to parse. Wywołaj drukarkę za pomocą innych wartości do przeanalizowania. Option values are any kind of value tagged with either 'Some' or 'None'. Wartości opcji to dowolne wartości oznaczone jako „Some” lub „None”. They are used extensively in F# code to represent the cases where many other Są one bardzo często używane w kodzie języka F# do reprezentowania przypadków, w których w wielu innych languages would use null references. językach użyte zostałyby odwołania o wartości null. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/options Aby dowiedzieć się więcej, zobacz https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/options First, define a zipcode defined via Single-case Discriminated Union. Najpierw zdefiniuj kod pocztowy zdefiniowany za pośrednictwem unii rozłącznej o pojedynczym przypadku. Next, define a type where the ZipCode is optional. Następnie zdefiniuj typ, w którym element ZipCode jest opcjonalny. Next, define an interface type that represents an object to compute the shipping zone for the customer's zip code, Następnie zdefiniuj typ interfejsu reprezentujący obiekt, aby obliczyć strefę wysyłki dla kodu pocztowego klienta given implementations for the 'getState' and 'getShippingZone' abstract methods. przy użyciu danych implementacji metod abstrakcyjnych „getState” i „getShippingZone”. Next, calculate a shipping zone for a customer using a calculator instance. Następnie oblicz strefę wysyłki dla klienta za pomocą wystąpienia kalkulatora. This uses combinators in the Option module to allow a functional pipeline for Operacja używa kombinatorów w module opcji, aby umożliwiać potokowi funkcjonalnemu transforming data with Optionals. przekształcanie danych z wykorzystaniem elementów opcjonalnych. Units of measure are a way to annotate primitive numeric types in a type-safe way. Jednostki miary są bezpiecznym sposobem dodawania adnotacji do pierwotnych typów numerycznych. You can then perform type-safe arithmetic on these values. Następnie możesz przeprowadzić bezpieczne operacje arytmetyczne dla tych wartości. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/units-of-measure Aby dowiedzieć się więcej, zobacz https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/units-of-measure First, open a collection of common unit names Najpierw otwórz kolekcję typowych nazw jednostek Define a unitized constant Definiuj stałą w jednostkach Next, define a new unit type Następnie zdefiniuj nowy typ jednostki Conversion factor mile to meter. Współczynnik konwersji mil na metry. Define a unitized constant Definiuj stałą w jednostkach Compute metric-system constant Oblicz stałą systemu metryk Values using Units of Measure can be used just like the primitive numeric type for things like printing. Wartości używające jednostek miary można dostosować tak jak pierwotny typ numeryczny, np. w przypadku drukowania. Classes are a way of defining new object types in F#, and support standard Object-oriented constructs. Klasy są sposobem definiowania nowych typów obiektów w języku F# i obsługują standardowe konstrukcje zorientowane obiektowo. They can have a variety of members (methods, properties, events, etc.) Mogą mieć różne elementy członkowskie (metody, właściwości, zdarzenia itp.) To learn more about Classes, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/classes Aby dowiedzieć się więcej o klasach, zobacz https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/classes To learn more about Members, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/members Aby dowiedzieć się więcej o elementach członkowskich, zobacz https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/members A simple two-dimensional Vector class. Prosta, dwuwymiarowa klasa Vector. The class's constructor is on the first line, Konstruktor klasy znajduje się w pierwszym wierszu and takes two arguments: dx and dy, both of type 'double'. i przyjmuje dwa argumenty: dx i dy, oba typu „double”. This internal field stores the length of the vector, computed when the To pole wewnętrzne przechowuje długość wektora obliczoną podczas object is constructed obiekt jest skonstruowany 'this' specifies a name for the object's self identifier. Wyraz „this” określa nazwę własnego identyfikatora obiektu. In instance methods, it must appear before the member name. W metodach wystąpień musi on znajdować się przed nazwą elementu członkowskiego. This member is a method. The previous members were properties. Ten element członkowski jest metodą. Poprzednie elementy członkowskie były właściwościami. This is how you instantiate the Vector2D class. Jest to sposób tworzenia wystąpienia dla klasy Vector2D. Get a new scaled vector object, without modifying the original object. Pobierz nowy skalowany obiekt wektora bez modyfikowania obiektu oryginalnego. Generic classes allow types to be defined with respect to a set of type parameters. Klasy ogólne umożliwiają definiowanie typów z uwzględnieniem zestawu parametrów typu. In the following, 'T is the type parameter for the class. W następującym przykładzie 'T jest parametrem typu dla klasy. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/generics/ Aby dowiedzieć się więcej, zobacz https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/generics/ This internal field store the states in a list. To wewnętrzne pole przechowuje stany na liście. Add a new element to the list of states. Dodaj nowy element do listy stanów. use the '<-' operator to mutate the value. użyj operatora „<-”, aby zmodyfikować wartość. Get the entire list of historical states. Pobierz całą listę stanów historycznych. Get the latest state. Pobierz najnowszy stan. An 'int' instance of the state tracker class. Note that the type parameter is inferred. Wystąpienie typu „int” klasy procedury śledzenia stanu. Należy zwrócić uwagę, że parametr typu jest wywnioskowany. Add a state Dodaj stan Interfaces are object types with only 'abstract' members. Interfejsy to typy obiektu, których wszystkie elementy członkowskie są abstrakcyjne. Object types and object expressions can implement interfaces. Typy obiektu i wyrażenia obiektu mogą implementować interfejsy. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/interfaces Aby dowiedzieć się więcej, zobacz https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/interfaces This is a type that implements IDisposable. To jest typ implementujący interfejs IDisposable. This is the implementation of IDisposable members. To jest implementacja elementów członkowskich interfejsu IDisposable. This is an object that implements IDisposable via an Object Expression To jest obiekt implementujący interfejs IDisposable za pośrednictwem wyrażenia obiektu Unlike other languages such as C# or Java, a new type definition is not needed W przeciwieństwie do innych języków, np. C# lub Java, nowy typ definicji nie jest wymagany to implement an interface. do zaimplementowania interfejsu. The FSharp.Core library defines a range of parallel processing functions. Here Biblioteka FSharp.Core definiuje zestaw funkcji przetwarzania równoległego. Tutaj you use some functions for parallel processing over arrays. niektóre funkcje są używane do równoległego przetwarzania tablic. To learn more, see: https://msdn.microsoft.com/en-us/visualfsharpdocs/conceptual/array.parallel-module-%5Bfsharp%5D Aby dowiedzieć się więcej, zobacz https://msdn.microsoft.com/en-us/visualfsharpdocs/conceptual/array.parallel-module-%5Bfsharp%5D First, an array of inputs. Najpierw tablica wartości wejściowych. Next, define a functions that does some CPU intensive computation. Następnie zdefiniuj funkcje, które wykonują obliczenia intensywnie korzystające z procesora. Next, do a parallel map over a large input array. Następnie wykonaj równoległe mapowanie dla dużej tablicy wejściowej. Next, print the results. Następnie wyświetl wyniki. Events are a common idiom for .NET programming, especially with WinForms or WPF applications. Zdarzenia są wspólnym idiomem dla programowania na platformie .NET, zwłaszcza przy użyciu aplikacji WinForms lub WPF. To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/members/events Aby dowiedzieć się więcej, zobacz https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/members/events First, create instance of Event object that consists of subscription point (event.Publish) and event trigger (event.Trigger). Najpierw utwórz wystąpienie obiektu Event, które składa się z punktu subskrypcji (event.Publish) i wyzwalacza zdarzenia (event.Trigger). Next, add handler to the event. Następnie dodaj procedurę obsługi do zdarzenia. Next, trigger the event. Następnie wyzwól zdarzenie. Next, create an instance of Event that follows standard .NET convention: (sender, EventArgs). Następnie utwórz wystąpienie zdarzenia zgodne ze standardową konwencją platformy .NET: (sender, EventArgs). Next, add a handler for this new event. Następnie dodaj procedurę obsługi dla tego nowego zdarzenia. Next, trigger this event (note that sender argument should be set). Następnie wyzwól to zdarzenie (zwróć uwagę, że argument elementu wysyłającego powinien być ustawiony).