Merge pull request #286 from Quramy/i18n-jp-tsconfig-strict-options

Translate some options in strict mode family into ja

Author: Orta

packages/tsconfig-reference/copy/ja/categories/Strict_Type_Checking_Options_6173.md

@@ -0,0 +1,15 @@
+---
+display: "厳密なチェック"
+---
+
+ビルド時に利用可能なすべての改善を有効化するため、[`strict`](#strict)オプションの利用を推奨します。
+
+TypeScriptは幅広いJavaScriptパターンと、デフォルトで様々なスタイルの柔軟性を許容しています。
+コードベースの安全性と潜在的なスケーラビリティは、これらのテクニックとしばしば相反します。
+
+サポートされるJavaScriptの多様さにより、TypeScriptを新しいバージョンへアップグレードすると2種類のエラーが明らかになるでしょう:
+
+- すでにコードベースに存在していたエラー。TypeScriptのJavaScriptに対する理解が洗練されて発見されます。
+- 新しい問題領域に取り組む一連の新しいエラー。
+
+通常、TypeScriptは後者のエラーに対するコンパイラフラグを追加しますが、デフォルトでは有効化しません。

packages/tsconfig-reference/copy/ja/options/noImplicitAny.md

@@ -0,0 +1,26 @@
+---
+display: "No Implicit Any"
+oneline: "Avoid introducing anys inside your codebase when a type could be specified"
+---
+
+いくつかの型アノテーションが存在しないケースにおいて、TypeScriptは変数の型が推論できないときに、`any`型へフォールバックします。
+
+このため、エラーを見逃す可能性があります。例えば:
+
+```ts twoslash
+// @noImplicitAny: false
+function fn(s) {
+  // エラーにならない？
+  console.log(s.subtr(3));
+}
+fn(42);
+```
+
+ただし、`noImplicitAny`を有効化すると、TypeScriptは型が`any`に推論されるときは常にエラーを発生させます:
+
+```ts twoslash
+// @errors: 7006
+function fn(s) {
+  console.log(s.subtr(3));
+}
+```

packages/tsconfig-reference/copy/ja/options/strict.md

@@ -0,0 +1,11 @@
+---
+display: "Strict"
+oneline: "Enable TypeScript's most in-depth type checking rules"
+---
+
+`strict`フラグは、プログラムの正しさを強く保証するための幅広い型チェックの挙動を有効化します。
+このオプションの有効化は、以降で述べるすべての_strictモードファミリー_オプションの有効化と等価です。
+必要に応じて、個別のstrictモードファミリーを無効化できます。
+
+今後のTypeScriptのバージョンがこのフラグの配下により厳密なチェックを導入するかもしれません。この場合、TypeScriptのアップグレードにより、プログラムに新しい種類のエラーが発見されることもあるでしょう。
+適切かつ可能な場合、この挙動を無効化するための対応するフラグも追加されます。

packages/tsconfig-reference/copy/ja/options/strictFunctionTypes.md

@@ -0,0 +1,55 @@
+---
+display: "Strict Function Types"
+oneline: "Ensure that function parameters are consistent"
+---
+
+有効化すると、このフラグは関数のパラメータをより正しくチェックするようになります。
+
+次は`strictFunctionTypes`が無効な場合の基本的な例です:
+
+```ts twoslash
+// @strictFunctionTypes: false
+function fn(x: string) {
+  console.log("Hello, " + x.toLowerCase());
+}
+
+type StringOrNumberFunc = (ns: string | number) => void;
+
+// 安全でない代入
+let func: StringOrNumberFunc = fn;
+// 安全でない呼び出し - エラーとなります
+func(10);
+```
+
+`strictFunctionTypes`を_有効化_すると、エラーが正しく検知されます:
+
+```ts twoslash
+// @errors: 2322
+function fn(x: string) {
+  console.log("Hello, " + x.toLowerCase());
+}
+
+type StringOrNumberFunc = (ns: string | number) => void;
+
+// 安全でない代入は抑止されます
+let func: StringOrNumberFunc = fn;
+```
+
+私達はこの機能を開発する際、本質的に安全でないClass階層を数多く見つけました。中にはDOMのものも含まれていました。
+このため、この設定は_function_構文で記述された関数にのみ適用され、_メソッド_として記述された関数には適用されません:
+
+```ts twoslash
+type Methodish = {
+  func(x: string | number): void;
+};
+
+function fn(x: string) {
+  console.log("Hello, " + x.toLowerCase());
+}
+
+// 最終的に安全でない代入となりますが、エラー検知はされません
+const m: Methodish = {
+  func: fn
+};
+m.func(10);
+```

packages/tsconfig-reference/copy/ja/options/strictNullChecks.md

@@ -0,0 +1,59 @@
+---
+display: "Strict Null Checks"
+oneline: "Ensure that nullability is respected in the type checker"
+---
+
+`strictNullChecks`が`false`のとき、`null`と`undefined`は言語により事実上無視されます。
+これは実行時の予期しないエラーの原因となります。
+
+`strictNullChecks`が`true`のとき、`null`と`undefined`はそれ自身に明示的な型が与えられ、具体的な値を期待して利用しようとした場合にエラーとなります。
+
+例えば、次のTypeScriptコードの`users.find`は実際にユーザーを見つけられる保証がありません。
+しかし、ユーザーを見つけられたかのようにコードを書くことができます:
+
+```ts twoslash
+// @strictNullChecks: false
+// @target: ES2015
+declare const loggedInUsername: string;
+
+const users = [
+  { name: "Oby", age: 12 },
+  { name: "Heera", age: 32 }
+];
+
+const loggedInUser = users.find(u => u.name === loggedInUsername);
+console.log(loggedInUser.age);
+```
+
+`strictNullChecks`を`true`にすると、`loggedInUser`を利用する前に存在を確認していないことを示すエラーが発生します。
+
+```ts twoslash
+// @errors: 2339 2532
+// @target: ES2020
+// @strictNullChecks
+declare const loggedInUsername: string;
+
+const users = [
+  { name: "Oby", age: 12 },
+  { name: "Heera", age: 32 }
+];
+
+const loggedInUser = users.find(u => u.name === loggedInUsername);
+console.log(loggedInUser.age);
+```
+
+単純化してみると配列の`find`関数が次のようになっていることから、2つ目の例はエラーとなったのです:
+
+
+```ts
+// strictNullChecks: trueのとき
+type Array = {
+  find(predicate: (value: any, index: number) => boolean): S | undefined;
+};
+
+// strictNullChecks: falseのとき、undefinedは型システムから取り除かれ、
+// 常に結果が見つかるかのようにコードを書けるようになります
+type Array = {
+  find(predicate: (value: any, index: number) => boolean): S;
+};
+```