This sample will guide you through elements of the F# language. このサンプルは、F# 言語の要素を紹介します。 To execute the code in F# Interactive, highlight a section of code and press Alt-Enter or right-click F# Interactive でコードを実行するには、コードの一部を強調表示して、Alt キーを押しながら Enter キーを押すか、右マウス ボタンをクリックし and select "Execute in Interactive". You can open the F# Interactive Window from the "View" menu. [対話形式で実行]5D; を選択します。[表示]5D; メニューから F# Interactive ウィンドウを開くことができます。 For more about F#, see: F# の詳細については、次のページを参照してください: To see this tutorial in documentation form, see: このチュートリアルをドキュメント形式で表示するには、次を参照してください: To learn more about applied F# programming, use 適用された F# プログラミングの詳細については、次を使用します To install the Visual F# Power Tools, use Visual F# Power Tools をインストールするには、次を使用します 'Tools' --> 'Extensions and Updates' --> `Online` and search [ツール]5D; --> [拡張機能と更新プログラム]5D; --> [オンライン]5D; と検索 For additional templates to use with F#, see the 'Online Templates' in Visual Studio, F# で使用するその他のテンプレートについては、Visual Studio の 'オンライン テンプレート' を参照してください。 'New Project' --> 'Online Templates' ([新しいプロジェクト]5D; --> [オンライン テンプレート]5D;) を参照してください。 F# supports three kinds of comments: F# は、3 種類のコメントをサポートしています: 1. Double-slash comments. These are used in most situations. 1. ダブルスラッシュ コメント。これはほとんどの場合に使用されます。 2. ML-style Block comments. These aren't used that often. 2. ML スタイル ブロック コメント。これはそれほど頻繁には使用されません。 3. Triple-slash comments. These are used for documenting functions, types, and so on. 3. トリプル スラッシュ コメント。これは、関数や型などの文書化に使用されます。 They will appear as text when you hover over something which is decorated with these comments. このコメントで修飾されているものをポイントすると、これがテキストとして表示されます。 They also support .NET-style XML comments, which allow you to generate reference documentation, これは .NET スタイルの XML コメントもサポートしています。このコメントを使用すると、リファレンス ドキュメントを生成できます。 and they also allow editors (such as Visual Studio) to extract information from them. また、(Visual Studio などの) エディターでそこから情報を抽出することもできます。 To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/xml-documentation 詳細については、次を参照してください: https://docs.microsoft.com/ja-jp/dotnet/articles/fsharp/language-reference/xml-documentation Open namespaces using the 'open' keyword. 'open' キーワードを使用して名前空間を開きます。 To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/import-declarations-the-open-keyword 詳細については、次を参照してください: https://docs.microsoft.com/ja-jp/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. モジュールは、値、型、関数値などの、F# コードのグループ化です。 Grouping code in modules helps keep related code together and helps avoid name conflicts in your program. コードをモジュールにグループ化することで、関連コードを 1 つにまとめて、プログラムでの名前の競合を回避することができます。 To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/modules 詳細については、次を参照してください: https://docs.microsoft.com/ja-jp/dotnet/articles/fsharp/language-reference/modules This is a sample integer. これは、サンプルの整数値です。 This is a sample floating point number. これは、サンプルの浮動小数点数です。 This computed a new number by some arithmetic. Numeric types are converted using これは、演算によって新しい数値を計算したものです。数値型は、関数 'int'、'double' などを使用して変換されます。 functions 'int', 'double' and so on. 関数の 'int'、'double' などです。 This is a list of the numbers from 0 to 99. これは 0 ～ 99 の数値のリストです。 This is a list of all tuples containing all the numbers from 0 to 99 and their squares. これは、0 ～ 99 のすべての数値とその二乗を含むすべてのタプルのリストです。 The next line prints a list that includes tuples, using '%A' for generic printing. 次の行は、タプルを含むリストを出力します。一般的な出力に '%A' を使用しています。 This is a sample integer with a type annotation これは、型の注釈付きのサンプルの整数です Values in F# are immutable by default. They cannot be changed 既定では、F# の値は不変です。明示的に変更可能として指定しない限り、 in the course of a program's execution unless explicitly marked as mutable. プログラムの実行の過程で変更することはできません。 To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/values/index#why-immutable 詳細については、次を参照してください: https://docs.microsoft.com/ja-jp/dotnet/articles/fsharp/language-reference/values/index#why-immutable Binding a value to a name via 'let' makes it immutable. 'let' を介して値を名前にバインドすると、変更できなくなります。 The second line of code fails to compile because 'number' is immutable and bound. コードの 2 番目の行は、'number' が変更できず、バインドされているため、コンパイルに失敗します。 Re-defining 'number' to be a different value is not allowed in F#. F# では、'number' を別の値に再定義することはできません。 A mutable binding. This is required to be able to mutate the value of 'otherNumber'. 変更可能なバインド。これは 'otherNumber' の値を変更できるようにするために必要です。 When mutating a value, use '<-' to assign a new value. 値を変換する場合は、'<-' を使用して新しい値を割り当てます。 You could not use '=' here for this purpose since it is used for equality この場合、'=' は等価を示すために使用するため、ここで使用することはできません or other contexts such as 'let' or 'module' または、'let' や 'module' などの他のコンテキスト Much of F# programming consists of defining functions that transform input data to produce F# プログラミングの多くは、生成する入力データを変換する定義する関数で構成されています useful results. 有用な結果。 To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/functions/ 詳細については、次を参照してください: https://docs.microsoft.com/ja-jp/dotnet/articles/fsharp/language-reference/functions/ You use 'let' to define a function. This one accepts an integer argument and returns an integer. 関数を定義するには、'let' を使用します。これは整数の引数を受け取り、整数を返します。 Parentheses are optional for function arguments, except for when you use an explicit type annotation. 明示的な型の注釈を使用する場合を除いて、かっこは関数引数では省略可能です。 Apply the function, naming the function return result using 'let'. 関数を適用します。'let' を使用し、関数の戻り値の結果に名前を付けます。 The variable type is inferred from the function return type. 変数の型は、関数の戻り値の型から推論されます。 This line uses '%d' to print the result as an integer. This is type-safe. この行は '%d' を使用して結果を整数として出力します。これはタイプ セーフです。 If 'result1' were not of type 'int', then the line would fail to compile. 'result1' が 'int' 型でなかった場合、行はコンパイルに失敗します。 When needed, annotate the type of a parameter name using '(argument:type)'. Parentheses are required. 必要であれば、'(引数:型)' を使用してパラメーター名の型に注釈を付けます。かっこは必須です。 Conditionals use if/then/elid/elif/else. 条件は、if/then/elid/elif/else を使用します。 Note that F# uses whitespace indentation-aware syntax, similar to languages like Python. F# は Python などの言語のように、空白のインデント対応構文を使用することに注意してください。 This line uses '%f' to print the result as a float. As with '%d' above, this is type-safe. この行は '%f' を使用して結果を浮動小数として出力します。上記の '%d' と同様に、これはタイプ セーフです。 Booleans are fundamental data types in F#. Here are some examples of Booleans and conditional logic. ブール値は F# の基本のデータ型です。ブール値と条件ロジックの例をいくつか示します。 To learn more, see: 詳細については、次を参照してください: and 」および「 Booleans values are 'true' and 'false'. ブール型の値は 'true' と 'false' です。 Operators on booleans are 'not', '&&' and '||'. ブール値の演算子は 'not'、'&&'、および '||' です。 This line uses '%b'to print a boolean value. This is type-safe. この行は '%b' を使用してブール値を出力します。これはタイプ セーフです。 Strings are fundamental data types in F#. Here are some examples of Strings and basic String manipulation. 文字列は F# の基本のデータ型です。文字列と基本的な文字列操作の例をいくつか示します。 To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/strings 詳細については、次を参照してください: https://docs.microsoft.com/ja-jp/dotnet/articles/fsharp/language-reference/strings Strings use double quotes. 文字列は二重引用符を使用します。 Strings can also use @ to create a verbatim string literal. 文字列は @ を使用して、verbatim 文字列リテラルを作成することもできます。 This will ignore escape characters such as '\', '\n', '\t', etc. これは、'\'、'\n'、'\t' などのエスケープ文字を無視します。 String literals can also use triple-quotes. 文字列リテラルは三重引用符を使用することもできます。 String concatenation is normally done with the '+' operator. 通常、文字列の連結は '+' 演算子を使用して実行されます。 This line uses '%s' to print a string value. This is type-safe. この行は、'%s' を使用して文字列値を出力します。これはタイプ セーフです。 Substrings use the indexer notation. This line extracts the first 7 characters as a substring. サブ文字列はインデクサー表記を使用します。この行はサブ文字列として最初の 7 文字を抽出します。 Note that like many languages, Strings are zero-indexed in F#. 多くの言語と同様に、F# では、文字列のインデックスは 0 から始まることに注意してください。 Tuples are simple combinations of data values into a combined value. タプルは、データ値と合計値の単純な組み合わせです。 To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/tuples 詳細については、次を参照してください: https://docs.microsoft.com/ja-jp/dotnet/articles/fsharp/language-reference/tuples A simple tuple of integers. 整数のシンプルなタプルです。 A function that swaps the order of two values in a tuple. タプルの 2 つの値の順序を入れ替える関数。 F# Type Inference will automatically generalize the function to have a generic type, F# 型の推定は、ジェネリック型を持つように関数を自動的に一般化し、 meaning that it will work with any type. 任意の型で動作することを意味します。 A tuple consisting of an integer, a string, タプルを構成するのは、整数、文字列、 and a double-precision floating point number. および倍精度浮動小数点数です。 A simple tuple of integers with a type annotation. 型の注釈が指定された整数のシンプルなタプル。 Type annotations for tuples use the * symbol to separate elements タプルの型の注釈では、要素を区切るために * の記号を使用します Tuples are normally objects, but they can also be represented as structs. タプルは通常はオブジェクトですが、構造体として表すこともできます。 These interoperate completely with structs in C# and Visual Basic.NET; however, C# と Visual Basic.NET では、これらは構造体と完全に相互運用されます。ただし、 struct tuples are not implicitly convertable with object tuples (often called reference tuples). 構造体のタプルは、オブジェクト タプル (参照タプルと呼ばれることが多い) と暗黙的に変換できません。 The second line below will fail to compile because of this. Uncomment it to see what happens. このため、以下の 2 番目の行はコンパイルに失敗します。発生する事象を確認するには、コメントを解除します。 Although you cannot implicitly convert between struct tuples and reference tuples, 構造体タプルと参照タプル間で暗黙的に変換することはできませんが、 you can explicitly convert via pattern matching, as demonstrated below. 以下に示すように、パターン マッチングを使用して明示的に変換できます。 The F# pipe operators ('|>', '<|', etc.) and F# composition operators ('>>', '<<') F# パイプ演算子 ('|>'、'<|' など) と F# 合成演算子 ('>>'、'<<') are used extensively when processing data. These operators are themselves functions は、データの処理時に幅広く使用されます。これらの演算子はそれ自体が関数であり、 which make use of Partial Application. 部分適用を利用します。 To learn more about these operators, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/functions/#function-composition-and-pipelining これらの演算子の詳細については、次を参照してください: https://docs.microsoft.com/ja-jp/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 部分適用の詳細については、次を参照してください: https://docs.microsoft.com/ja-jp/dotnet/articles/fsharp/language-reference/functions/#partial-application-of-arguments Squares a value. 値を 2 乗します。 Adds 1 to a value. 値に 1 を追加します。 Tests if an integer value is odd via modulo. 剰余を使って整数値が奇数であるかどうかをテストします。 A list of 5 numbers. More on lists later. 5 個の数値のリストです。リストの詳細については後述。 Given a list of integers, it filters out the even numbers, 整数のリストを指定すると、偶数を除外し、 squares the resulting odds, and adds 1 to the squared odds. 結果の奇数を 2 乗し、2 乗した奇数に 1 を加算します。 A shorter way to write 'squareOddValuesAndAddOne' is to nest each 'squareOddValuesAndAddOne' を記述するためのより簡単な方法は、 sub-result into the function calls themselves. それぞれのサブ結果を関数呼び出し自体に入れ子にすることです。 This makes the function much shorter, but it's difficult to see the これにより、関数は大幅に短くなりますが、データが処理される順序を order in which the data is processed. 判別するのは難しくなります。 A preferred way to write 'squareOddValuesAndAddOne' is to use F# pipe operators. 'squareOddValuesAndAddOne' を記述するための推奨される方法は、F# パイプ演算子を使用する方法です。 This allows you to avoid creating intermediate results, but is much more readable これにより、中間結果を作成しなくてもよくなります。また、 than nesting function calls like 'squareOddValuesAndAddOneNested' 'squareOddValuesAndAddOneNested' のような関数呼び出しを入れ子にするよりもはるかに読みやすくすることができます You can shorten 'squareOddValuesAndAddOnePipeline' by moving the second `List.map` call ラムダ関数を使用して、2 番目の `List.map` 呼び出しを先頭に移動することにより、 into the first, using a Lambda Function. 'squareOddValuesAndAddOnePipeline' を短くすることができます。 Note that pipelines are also being used inside the lambda function. F# pipe operators パイプラインはラムダ関数の内部でも使用されることに注意してください。F# パイプ演算子は、 can be used for single values as well. This makes them very powerful for processing data. 単一の値にも使用できます。これにより、データ処理能力が向上します。 Lastly, you can eliminate the need to explicitly take 'values' in as a parameter by using '>>' 最後に、'>>' を使用して次の 2 つのコア操作を作成すると、'values' をパラメーターとして to compose the two core operations: filtering out even numbers, then squaring and adding one. 明示的に受け取る必要がなくなります: 偶数を除外してから、2 乗して 1 を加算する。 Likewise, the 'fun x -> ...' bit of the lambda expression is also not needed, because 'x' is simply 同様に、ラムダ式の 'fun x -> ...' ビットも必要ありません。 'x' は単に、 being defined in that scope so that it can be passed to a functional pipeline. Thus, '>>' can be used 関数型パイプラインに渡すことができるようにそのスコープ内で定義されているだけだからです。そのため、 there as well. そこでも同様に '>>' を使用できます。 The result of 'squareOddValuesAndAddOneComposition' is itself another function which takes a 'squareOddValuesAndAddOneComposition' の結果は、それ自体が別の関数です。その関数は、 list of integers as its input. If you execute 'squareOddValuesAndAddOneComposition' with a list 整数のリストを入力として受け取ります。整数のリストを指定して 'squareOddValuesAndAddOneComposition' を of integers, you'll notice that it produces the same results as previous functions. 実行すると、前の関数と同じ結果が生成されることがわかります。 This is using what is known as function composition. This is possible because functions in F# これは、関数合成と呼ばれるものを使用しています。これが可能なのは、F# の関数が use Partial Application and the input and output types of each data processing operation match 部分適用を使用しており、各データ処理操作の入力と出力の型が、使用している the signatures of the functions we're using. 関数のシグネチャと一致するためです。 Lists are ordered, immutable, singly-linked lists. They are eager in their evaluation. リストは、順序指定された、変更できない単方向リストです。 リストは集中評価されます。 This module shows various ways to generate lists and process lists with some functions このモジュールは、リストを生成し、F# コア ライブラリ内の 'List' モジュールに含まれる in the 'List' module in the F# Core Library. いくつかの関数を使用してリストを処理するためのさまざまな方法を示しています。 To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/lists 詳細については、次を参照してください: https://docs.microsoft.com/ja-jp/dotnet/articles/fsharp/language-reference/lists Lists are defined using [ ... ]. This is an empty list. リストは [ ... ] を使用して定義されます。これは空のリストです。 This is a list with 3 elements. ';' is used to separate elements on the same line. これは 3 つの要素を含むリストです。';' は同じ行にある要素を区切るために使用されます。 You can also separate elements by placing them on their own lines. 要素は、それぞれの行に配置することで分割することもできます。 This is a list of integers from 1 to 1000 これは 1 ～ 1000 の整数のリストです Lists can also be generated by computations. This is a list containing リストは計算によっても生成できます。これは、次を含むリストです: all the days of the year. 1 年のすべての日。 Print the first 5 elements of 'daysList' using 'List.take'. 'List.take' を使用して 'daysList' の最初の 5 つの要素を出力します。 Computations can include conditionals. This is a list containing the tuples 計算には条件を含めることができます。これはタプルを含むリストです which are the coordinates of the black squares on a chess board. チェス盤の黒いマス目の座標のタプルを含むリストです。 Lists can be transformed using 'List.map' and other functional programming combinators. リストは 'List.map' と他の関数型プログラミング連結子を使用して変換することができます。 This definition produces a new list by squaring the numbers in numberList, using the pipeline この定義は、パイプラインを使用して numberList 内の数値を 2 乗することによって新しいリストを生成します operator to pass an argument to List.map. 引数を List.map に渡す演算子です。 There are many other list combinations. The following computes the sum of the squares of the 他に多くのリストの組み合わせがあります。次の二乗和を計算します: numbers divisible by 3. 3 で割り切れる数。 Arrays are fixed-size, mutable collections of elements of the same type. 配列は、型が同じ要素の固定サイズの変更可能なコレクションです。 Although they are similar to Lists (they support enumeration and have similar combinators for data processing), これらはリストと似ています (列挙型をサポートし、データ処理のための同様の連結子を備えています) が、 they are generally faster and support fast random access. This comes at the cost of being less safe by being mutable. 一般的により高速であり、高速ランダム アクセスをサポートしています。その代わり、変更可能であるため安全性が低下します。 To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/arrays 詳細については、次を参照してください: https://docs.microsoft.com/ja-jp/dotnet/articles/fsharp/language-reference/arrays This is The empty array. Note that the syntax is similar to that of Lists, but uses `[| ... |]` instead. これは空の配列です。構文はリストの構文と似ていますが、代わりに `[| ... |]` を使用することにご注意ください。 Arrays are specified using the same range of constructs as lists. 配列は、リストと同じコンストラクトの範囲を使用して指定されます。 This is an array of numbers from 1 to 1000. これは 1 ～ 1000 の数値の配列です。 This is an array containing only the words "hello" and "world". これは "hello" と "world" のみを含む配列です。 This is an array initialized by index and containing the even numbers from 0 to 2000. これはインデックスによって初期化され、0 ～ 2000 の間の偶数を含む配列です。 Sub-arrays are extracted using slicing notation. サブ配列はスライス表記法を使用して抽出されます。 You can loop over arrays and lists using 'for' loops. 'for' ループを使用して、配列とリストに渡ってループできます。 You can modify the contents of an an array element by using the left arrow assignment operator. 左矢印代入演算子を使用して、配列要素の内容を変更できます。 To learn more about this operator, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/values/index#mutable-variables この演算子の詳細については、次を参照してください: https://docs.microsoft.com/ja-jp/dotnet/articles/fsharp/language-reference/values/index#mutable-variables You can transform arrays using 'Array.map' and other functional programming operations. 'Array.map' と他の関数型プログラミング操作を使用して、配列を変換できます。 The following calculates the sum of the lengths of the words that start with 'h'. 以下は、'h' で始まる単語の長さの合計を計算します。 Sequences are a logical series of elements, all of the same type. These are a more general type than Lists and Arrays. シーケンスは論理的な一連の要素であり、すべてが同じ型です。これらはリストや配列よりも一般的な型です。 Sequences are evaluated on-demand and are re-evaluated each time they are iterated. シーケンスはオンデマンドで評価され、繰り返されるたびに再評価されます。 An F# sequence is an alias for a .NET System.Collections.Generic.IEnumerable<'T>. F# シーケンスは .NET System.Collections.Generic.IEnumerable<'T> のエイリアスです。 Sequence processing functions can be applied to Lists and Arrays as well. シーケンス処理関数はリストと配列にも適用できます。 To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/sequences 詳細については、次を参照してください: https://docs.microsoft.com/ja-jp/dotnet/articles/fsharp/language-reference/sequences This is the empty sequence. これは空のシーケンスです。 This a sequence of values. これは一連の値です。 This is an on-demand sequence from 1 to 1000. これは 1 ～ 1000 のオンデマンドのシーケンスです。 This is a sequence producing the words "hello" and "world" これは 単語 "hello" と "world" を生成するシーケンスです This sequence producing the even numbers up to 2000. このシーケンスは、2000 までの偶数を生成します。 This is an infinite sequence which is a random walk. これはランダム ウォークである無限シーケンスです。 This example uses yield! to return each element of a subsequence. この例では、yield! を使用して、サブシーケンスの各要素を返します。 This example shows the first 100 elements of the random walk. この例では、ランダム ウォークの最初の 100 要素を示します。 Recursive functions can call themselves. In F#, functions are only recursive 再帰関数は自身を呼び出すことができます。F# では、関数は単に再帰的です when declared using 'let rec'. 'let rec' を使用して宣言される場合。 Recursion is the preferred way to process sequences or collections in F#. 再帰は、F# でシーケンスまたはコレクションを処理するための推奨される方法です。 To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/functions/index#recursive-functions 詳細については、次を参照してください: https://docs.microsoft.com/ja-jp/dotnet/articles/fsharp/language-reference/functions/index#recursive-functions This example shows a recursive function that computes the factorial of an この例では、次の階乗を計算する再帰関数を示します integer. It uses 'let rec' to define a recursive function. 整数。'let rec' を使用して、再帰関数を定義します。 Computes the greatest common factor of two integers. 2 つの整数の最大公約数を計算します。 Since all of the recursive calls are tail calls, すべての再帰呼び出しは末尾呼び出しであるため、 the compiler will turn the function into a loop, コンパイラは関数をループにします which improves performance and reduces memory consumption. これによりパフォーマンスが向上し、メモリの消費を抑えることができます。 This example computes the sum of a list of integers using recursion. この例では、再帰を使用して整数のリストの合計を計算します。 This makes 'sumList' tail recursive, using a helper function with a result accumulator. これは、ヘルパー関数を結果アキュムレータと共に使用して 'sumList' を末尾再帰にします。 This invokes the tail recursive helper function, providing '0' as a seed accumulator. これは、シード アキュムレータとして '0' を指定して、末尾再帰的なヘルパー関数を呼び出します。 An approach like this is common in F#. F# では、このようなアプローチは一般的です。 Records are an aggregate of named values, with optional members (such as methods). レコードは、オプションのメンバー (メソッドなど) を含む名前付きの値の集合です。 They are immutable and have structural equality semantics. これらは変更できず、構造上の等価セマンティクスを持ちます。 To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/records 詳細については、次を参照してください: https://docs.microsoft.com/ja-jp/dotnet/articles/fsharp/language-reference/records This example shows how to define a new record type. この例では、新しいレコード型を定義する方法を示します。 This example shows how to instantiate a record type. この例では、レコードの種類をインスタンス化する方法を示します。 You can also do this on the same line with ';' separators. ';' 区切りを使用して、同じ行でこれを行うこともできます。 This example shows how to use "copy-and-update" on record values. It creates この例では、レコード値で "copy-and-update" を使用する方法を示します。次を作成します: a new record value that is a copy of contact1, but has different values for contact1 のコピーであるレコード値。ただし、次の値は異なります: the 'Phone' and 'Verified' fields. [電話番号]5D; および [検証済み]5D; フィールド。 To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/copy-and-update-record-expressions 詳細については、次を参照してください: https://docs.microsoft.com/ja-jp/dotnet/articles/fsharp/language-reference/copy-and-update-record-expressions This example shows how to write a function that processes a record value. この例では、レコード値を処理する関数を記述する方法を示します。 It converts a 'ContactCard' object to a string. 'ContactCard' オブジェクトを文字列に変換します。 This is an example of a Record with a member. これは、メンバーを含むレコードの例です。 Members can implement object-oriented members. メンバーはオブジェクト指向のメンバーを実装できます。 Members are accessed via the '.' operator on an instantiated type. メンバーには、インスタンス化された型に対する '.' 演算子を介してアクセスできます。 Records can also be represented as structs via the 'Struct' attribute. レコードは 'Struct' 属性を介して構造体として表すこともできます。 This is helpful in situations where the performance of structs outweighs これは、構造体のパフォーマンスが参照型の柔軟性よりも the flexibility of reference types. 重要である場合に役立ちます。 Discriminated Unions (DU for short) are values which could be a number of named forms or cases. 判別共用体 (略して DU) は、多数の名前付きのフォームまたはケースである可能性のある値です。 Data stored in DUs can be one of several distinct values. DU に格納されるデータは、複数の個別の値のいずれかになります。 To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/discriminated-unions 詳細については、次を参照してください: https://docs.microsoft.com/ja-jp/dotnet/articles/fsharp/language-reference/discriminated-unions The following represents the suit of a playing card. たとえば、次は一揃いのトランプを表します。 A Disciminated Union can also be used to represent the rank of a playing card. 判別共用体はトランプのランクを表すためにも使用できます。 Represents the rank of cards 2 .. 10 2 ～ 10 の札のランクを表します Discriminated Unions can also implement object-oriented members. 判別共用体はオブジェクト指向のメンバーを実装することもできます。 This is a record type that combines a Suit and a Rank. これは Suit と Rank を組み合わせたレコード型です。 It's common to use both Records and Disciminated Unions when representing data. データを表すときには、レコードと判別共用体の両方を使用するのが一般的です。 This computes a list representing all the cards in the deck. これは、一組のトランプのすべてのカードを表すリストを計算します。 This example converts a 'Card' object to a string. この例では 'Card' オブジェクトを文字列に変換します。 This example prints all the cards in a playing deck. この例では、一組のトランプのカードすべてを印刷します。 Single-case DUs are often used for domain modeling. This can buy you extra type safety 単一ケースの DU は、ドメイン モデリングで多く使用されます。これにより、文字列や整数などの over primitive types such as strings and ints. プリミティブ型に加えて、さらにタイプ セーフが追加されます。 Single-case DUs cannot be implicitly converted to or from the type they wrap. 単一ケースの DU は、ラップする型との間で暗黙的に変換することはできません。 For example, a function which takes in an Address cannot accept a string as that input, たとえば、アドレスを受け取る関数は文字列をその入力として受け入れることはできません or vive/versa. (その逆もできません)。 You can easily instantiate a single-case DU as follows. 次のように、単一ケースの DU のインスタンスを簡単に作成できます。 When you need the value, you can unwrap the underlying value with a simple function. 値が必要な場合は、簡単な関数を使用して基になる値のラップを解除できます。 Printing single-case DUs is simple with unwrapping functions. 単一ケースの DU は、関数のラップを解除するだけで出力できます。 Disciminated Unions also support recursive definitions. 判別共用体は再帰的な定義もサポートしています。 This represents a Binary Search Tree, with one case being the Empty tree, これはバイナリ検索ツリーを表します。片方のケースは空のツリーであり、 and the other being a Node with a value and two subtrees. もう片方は値と 2 つのサブツリーを含むノードです。 Check if an item exists in the binary search tree. バイナリ検索ツリーにアイテムが存在するかどうかを確認します。 Searches recursively using Pattern Matching. Returns true if it exists; otherwise, false. パターン マッチングを使用して再帰的に検索します。存在する場合は true を返し、そうでない場合は false を返します。 Check the left subtree. 左側のサブツリーを確認します。 Check the right subtree. 右側のサブツリーを確認します。 Inserts an item in the Binary Search Tree. バイナリ検索ツリーにアイテムを挿入します。 Finds the place to insert recursively using Pattern Matching, then inserts a new node. パターン マッチングを使用して再帰的に挿入する場所を検索し、新しいノードを挿入します。 If the item is already present, it does not insert anything. アイテムが既に存在する場合は、何も挿入しません。 No need to insert, it already exists; return the node. 既に存在しているため、挿入する必要はありません。ノードを返します。 Call into left subtree. 左側のサブツリーに呼び出します。 Call into right subtree. 右側のサブツリーに呼び出します。 Discriminated Unions can also be represented as structs via the 'Struct' attribute. 判別共用体は、'Struct' 属性を介して構造体として表すこともできます。 This is helpful in situations where the performance of structs outweighs これは、構造体のパフォーマンスが参照型の柔軟性よりも the flexibility of reference types. 重要である場合に役立ちます。 However, there are two important things to know when doing this: ただし、これを行うときに理解しておく必要のある重要な点が 2 つあります: 1. A struct DU cannot be recursively-defined. 1. 構造体 DU は再帰的に定義できません。 2. A struct DU must have unique names for each of its cases. 2. 構造体 DU の名前は各ケースに対して一意である必要があります。 Pattern Matching is a feature of F# that allows you to utilize Patterns, パターン マッチングはパターンを使用できるようにする F# の機能です。 which are a way to compare data with a logical structure or structures, これは、データと 1 つまたは複数の論理構造を比較したり、 decompose data into constituent parts, or extract information from data in various ways. データを構成要素部分に分解したり、さまざまな方法でデータから情報を抽出したりするための方法です。 You can then dispatch on the "shape" of a pattern via Pattern Matching. その後、パターン マッチングを介してパターンの "形" でディスパッチできます。 To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/pattern-matching 詳細については、次を参照してください: https://docs.microsoft.com/ja-jp/dotnet/articles/fsharp/language-reference/pattern-matching A record for a person's first and last name 個人の姓および名のレコード A Discriminated Union of 3 different kinds of employees 3 種類の社員の判別共用体 Count everyone underneath the employee in the management hierarchy, 管理階層構造の中で、ある社員の下にいる全員の数を数えます including the employee. (その社員自身を含む)。 Find all managers/executives named "Dave" who do not have any reports. 名前が "Dave" で、レポートのないすべてのマネージャー/役員を検索します。 This uses the 'function' shorthand to as a lambda expression. これは、ラムダ式として 'function' の短縮形を使用します。 [] matches an empty list. [] は空白のリストに一致します。 '_' is a wildcard pattern that matches anything. '_' は、任意のものに一致するワイルドカード パターンです。 This handles the "or else" case. これは "or else" ケースを処理します。 You can also use the shorthand function construct for pattern matching, パターン マッチングのために、短縮形の関数コンストラクトを使用することもできます。 which is useful when you're writing functions which make use of Partial Application. これは、部分適用を利用する関数を記述している場合に役立ちます。 Define some more functions which parse with the helper function. ヘルパー関数で解析する別の関数をいくつか定義します。 Active Patterns are another powerful construct to use with pattern matching. アクティブなパターンは、パターン マッチングで使用するもう 1 つの強力なコンストラクトです。 They allow you to partition input data into custom forms, decomposing them at the pattern match call site. パターン マッチの呼び出しサイトで分解して、入力データをカスタム フォームにパーティション分割できるようにします。 To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/active-patterns 詳細については、次を参照してください: https://docs.microsoft.com/ja-jp/dotnet/articles/fsharp/language-reference/active-patterns Pattern Matching via 'function' keyword and Active Patterns often looks like this. 'function' キーワードとアクティブ パターンによるパターン マッチングは、多くの場合、次のようになります。 Call the printer with some different values to parse. 解析するいくつかの異なる値でプリンターを呼び出します。 Option values are any kind of value tagged with either 'Some' or 'None'. オプション値とは、'Some' または 'None' が指定されたあらゆる種類の値です。 They are used extensively in F# code to represent the cases where many other F# コードで広く使用され、他の多くの言語で null 参照が使用される languages would use null references. ケースを表します。 To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/options 詳細については、次を参照してください: https://docs.microsoft.com/ja-jp/dotnet/articles/fsharp/language-reference/options First, define a zipcode defined via Single-case Discriminated Union. まず、単一ケースの判別共用体を介して定義した郵便番号を定義します。 Next, define a type where the ZipCode is optional. 次に、郵便番号が省略可能である型を定義します。 Next, define an interface type that represents an object to compute the shipping zone for the customer's zip code, 次に、オブジェクトを表すインターフェイスの型を定義して、顧客の郵便番号の出荷ゾーンを計算し、 given implementations for the 'getState' and 'getShippingZone' abstract methods. 'getState' および 'getShippingZone' 抽象メソッドの実装が指定されています。 Next, calculate a shipping zone for a customer using a calculator instance. 次に、電卓のインスタンスを使用して顧客の出荷ゾーンを計算します。 This uses combinators in the Option module to allow a functional pipeline for これは、オプション モジュール内の連結子を使用することにより、オプションを使用したデータ変換のために transforming data with Optionals. 関数型パイプラインを使用できるようにします。 Units of measure are a way to annotate primitive numeric types in a type-safe way. 測定単位は、タイプ セーフな方法でプリミティブな数値型に注釈を付ける方法です。 You can then perform type-safe arithmetic on these values. 次に、これらの値に対してタイプ セーフの算術を実行できます。 To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/units-of-measure 詳細については、次を参照してください: https://docs.microsoft.com/ja-jp/dotnet/articles/fsharp/language-reference/units-of-measure First, open a collection of common unit names まず、共通の単位名のコレクションを開きます Define a unitized constant 単位化された定数を定義します Next, define a new unit type 次に、新しい単位の種類を定義します Conversion factor mile to meter. マイルからメートルへの変換係数。 Define a unitized constant 単位化された定数を定義します Compute metric-system constant メートル法の定数を計算します Values using Units of Measure can be used just like the primitive numeric type for things like printing. 測定単位を使用する値は、印刷などに対するプリミティブな数値型と同じように使用できます。 Classes are a way of defining new object types in F#, and support standard Object-oriented constructs. クラスは、F# で新しいオブジェクト型を定義する方法であり、標準のオブジェクト指向のコンストラクトをサポートします。 They can have a variety of members (methods, properties, events, etc.) さまざまなメンバー (メンバー、プロパティ、イベントなど) を含めることができます To learn more about Classes, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/classes クラスの詳細については、次を参照してください: https://docs.microsoft.com/ja-jp/dotnet/articles/fsharp/language-reference/classes To learn more about Members, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/members メンバーの詳細については、次を参照してください: https://docs.microsoft.com/ja-jp/dotnet/articles/fsharp/language-reference/members A simple two-dimensional Vector class. 単純な 2 次元のベクター クラス。 The class's constructor is on the first line, クラスのコンストラクターは最初の行にあり、 and takes two arguments: dx and dy, both of type 'double'. また、dx と dy の 2 つの引数を取ります。どちらも 'double' 型です。 This internal field stores the length of the vector, computed when the この内部フィールドはベクトルの長さを格納します。これは、次の時点でに計算されます: object is constructed オブジェクトが構築されます 'this' specifies a name for the object's self identifier. 'this' は、オブジェクトの自己識別子の名前を指定します。 In instance methods, it must appear before the member name. インスタンス メソッドでは、メンバー名の前に表示される必要があります。 This member is a method. The previous members were properties. このメンバーはメソッドです。前のメンバーはプロパティでした。 This is how you instantiate the Vector2D class. これは、Vector2D クラスのインスタンスを作成する方法です。 Get a new scaled vector object, without modifying the original object. 元のオブジェクトを変更せずに、新しく調節されたベクター オブジェクトを取得します。 Generic classes allow types to be defined with respect to a set of type parameters. ジェネリック クラスでは、型パラメーターのセットに対して型を定義することができます。 In the following, 'T is the type parameter for the class. 以下では、'T はクラスの型パラメーターです。 To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/generics/ 詳細については、次を参照してください: https://docs.microsoft.com/ja-jp/dotnet/articles/fsharp/language-reference/generics/ This internal field store the states in a list. この内部フィールドは状態をリストに保存します。 Add a new element to the list of states. 状態のリストに新しい要素を追加します。 use the '<-' operator to mutate the value. '<-' 演算子を使用して、値を変換します。 Get the entire list of historical states. 状態の履歴のリスト全体を取得します。 Get the latest state. 最新の状態を取得します。 An 'int' instance of the state tracker class. Note that the type parameter is inferred. 状態トラッカー クラスの 'int' インスタンス。型パラメーターは推論されていることに注意してください。 Add a state 状態を追加します Interfaces are object types with only 'abstract' members. インターフェイスは 'abstract' メンバーのみを持つオブジェクト型です。 Object types and object expressions can implement interfaces. オブジェクト型とオブジェクト式はインターフェイスを実装できます。 To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/interfaces 詳細については、次を参照してください: https://docs.microsoft.com/ja-jp/dotnet/articles/fsharp/language-reference/interfaces This is a type that implements IDisposable. これは IDisposable を実装する型です。 This is the implementation of IDisposable members. これは IDisposable メンバーの実装です。 This is an object that implements IDisposable via an Object Expression これは、オブジェクト式を使用して IDisposable を実装するオブジェクトです Unlike other languages such as C# or Java, a new type definition is not needed C# や Java などの他の言語とは異なり、インターフェイスを実装するために to implement an interface. 新しい型定義は必要ありません。 The FSharp.Core library defines a range of parallel processing functions. Here FSharp.Core ライブラリは並列処理関数の範囲を定義します。ここでは you use some functions for parallel processing over arrays. アレイ全体で並列処理に対していくつかの関数を使用できます。 To learn more, see: https://msdn.microsoft.com/en-us/visualfsharpdocs/conceptual/array.parallel-module-%5Bfsharp%5D 詳細については、次を参照してください: https://msdn.microsoft.com/ja-jp/visualfsharpdocs/conceptual/array.parallel-module-%5Bfsharp%5D First, an array of inputs. まず、入力の配列です。 Next, define a functions that does some CPU intensive computation. 次に、CPU 集約型の計算を実行する関数を定義します。 Next, do a parallel map over a large input array. 次に、大きい入力配列に対して並列マップを実行します。 Next, print the results. 次に、結果を印刷します。 Events are a common idiom for .NET programming, especially with WinForms or WPF applications. イベントは、特に WinForms または WPF アプリケーションでの .NET プログラミングの一般的な用法です。 To learn more, see: https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/members/events 詳細については、次を参照してください: https://docs.microsoft.com/ja-jp/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). まず、サブスクリプション ポイント (event.Publish) およびイベント トリガー (event.Trigger) で構成されるイベント オブジェクトのインスタンスを作成します。 Next, add handler to the event. 次に、ハンドラーをイベントに追加します。 Next, trigger the event. 次に、イベントをトリガーします。 Next, create an instance of Event that follows standard .NET convention: (sender, EventArgs). 次に、標準的な .NET 表記規則に従うイベントのインスタンスを作成します: (sender, EventArgs)。 Next, add a handler for this new event. 次に、この新しいイベントのハンドラーを追加します。 Next, trigger this event (note that sender argument should be set). 次に、このイベントをトリガーします (sender 引数を設定する必要があります)。