feat(data-type): BigIntのセクションを追加 (#1184)

* feat(data-type): BigIntのセクションを追加

* fix(data-type): プリミティブ型の種類は7つに増えた

* fix(data-type): ES2020を追加

* fix typo

* fix

* fix

* fix

* fix

* Update source/basic/data-type/README.md

Co-authored-by: Suguru Inatomi <[email protected]>

* Update source/basic/data-type/README.md

Co-authored-by: Suguru Inatomi <[email protected]>

Co-authored-by: Suguru Inatomi <[email protected]>

Author: azu

.textlintrc.js

@@ -65,6 +65,7 @@ module.exports = {
             "max-kanji-continuous-len": {
                 "max": 6,
                 "allow": [
+                    "倍精度浮動小数",
                     "浮動小数点数",
                     "排他的論理和",
                     "文字列演算子",

source/basic/data-type/README.md

@@ -22,11 +22,12 @@ JavaScriptでは、文字列も一度作成したら変更できないイミュ
 オブジェクトは、一度作成した後もその値自体を変更できるためミュータブル（mutable）の特性を持ちます。
 オブジェクトは、値そのものではなく値への参照を経由して操作されるため、参照型のデータとも言います。
 
-データ型を細かく見ていくと、6つのプリミティブ型とオブジェクトからなります。
+データ型を細かく見ていくと、7つのプリミティブ型とオブジェクトからなります。
 
 - プリミティブ型（基本型）
     - 真偽値（Boolean）: `true`または`false`のデータ型
     - 数値（Number）: `42` や `3.14159` などの数値のデータ型
+    - 巨大な整数（BigInt）: ES2020から追加された`9007199254740992n`などの任意精度の整数のデータ型
     - 文字列（String）: `"JavaScript"` などの文字列のデータ型
     - undefined: 値が未定義であることを意味するデータ型
     - null: 値が存在しないことを意味するデータ型
@@ -43,6 +44,7 @@ JavaScriptでは、文字列も一度作成したら変更できないイミュ
 ```js
 console.log(typeof true);// => "boolean"
 console.log(typeof 42); // => "number"
+console.log(typeof 9007199254740992n); // => "bigint"
 console.log(typeof "JavaScript"); // => "string"
 console.log(typeof Symbol("シンボル"));// => "symbol"
 console.log(typeof undefined); // => "undefined"
@@ -107,7 +109,12 @@ false; // => false
 
 ### 数値（Number）{#number}
 
-数値は大きく分けて`42`のような整数リテラルと`3.14159`のような浮動小数点数リテラルがあります。
+数値には`42`のような整数リテラルと`3.14159`のような浮動小数点数リテラルがあります。
+
+これらのリテラルで表現できる数値は[IEEE 754][]の倍精度浮動小数として扱われます。
+倍精度浮動小数では64bitで数値を表現します。
+64bitのうち52bitを数字の格納のために使い、11bitを小数点の位置に使い、残りの1bitはプラスとマイナスの符号です。
+そのため、正確に扱える数値の最大値は`2^53-1`（2の53乗から1引いた値）となります。
 
 #### 整数リテラル {#integer-literal}
 
@@ -189,7 +196,6 @@ console.log(0x30A2); // => 12450
 
 #### 浮動小数点数リテラル {#floating-point-number-literal}
 
-JavaScriptの浮動小数点数は[IEEE 754][]を採用しています。
 浮動小数点数をリテラルとして書く場合には、次の2種類の表記が利用できます。
 
 - `3.14159` のような `.`（ドット）を含んだ数値
@@ -215,6 +221,40 @@ JavaScriptの浮動小数点数は[IEEE 754][]を採用しています。
 2e8; // => 200000000
 ```
 
+### [ES2020] BigInt {#Bigint-literal}
+
+`1`や`3.14159`などの数値リテラルは[IEEE 754][]の倍精度浮動小数であるため、正確に扱える数値の最大値は`2^53-1`（2×10の53乗から1引いた値）です。
+この数値リテラルで安全に表せる最大の数値は`Number.MAX_SAFE_INTEGER`として定義されています。
+
+```js
+console.log(Number.MAX_SAFE_INTEGER); // => 9007199254740991
+```
+
+数値リテラルで`2^53-1`（`9007199254740991`）よりも大きな値を表現したり計算すると間違った結果となる場合があります。
+
+この問題を解決するために、ES2020では`BigInt`という新しい整数型のデータ型とリテラルが追加されました。
+数値リテラルは倍精度浮動小数（64bit）で数値を扱うのに対して、BigIntでは任意の精度の整数を扱えます。
+そのため、BigIntでは`2^53-1`（`9007199254740991`）よりも大きな整数を正しく表現できます。
+
+BigIntリテラルは、数値の後ろに`n`をつけます。
+
+{{book.console}}
+```
+console.log(1n); // => 1n
+// 2^53-1より大きな値も扱える
+console.log(9007199254740992n); // => 9007199254740992n
+```
+
+BigIntは整数を扱うデータ型であるため、次のように小数点を含めた場合は構文エラーとなります。
+
+<!-- textlint-disable -->
+<!-- doctest:SyntaxError -->
+```js
+1.2n; // => SyntaxError
+```
+
+<!-- textlint-enable -->
+
 ### 文字列（String）{#string}
 
 文字列リテラル共通のルールとして、同じ記号で囲んだ内容を文字列として扱います。