[infra] Get a map value with a default whatwg/infra@d86cb0e

Author: triple-underscore

infra-ja.html

@@ -123,8 +123,8 @@
 
 ●●options
 
-spec_date:2025-01-29
-trans_update:2025-01-29
+spec_date:2025-05-19
+trans_update:2025-07-16
 source_checked:230223
 spec_status:LS
 original_url:https://infra.spec.whatwg.org/
@@ -364,14 +364,10 @@
 ~key群を取得する:#map-getting-the-keys
 値~群を取得する:#map-getting-the-values
 ~entryを包含して:#map-exists
-	map.包含して:#map-exists
-	map.存在-:#map-exists
-	~map内に存在する:#map-exists
+	存在-:#map-exists
 ~entryの値を取得する:#map-get
-	map.取得する:#map-get
+	~DF:#map-with-default
 ~entryの値を設定する:#map-set
-	map.設定する:#map-set
-map.除去する:#map-remove
 ~entryを除去する:#map-remove
 map.~clearする:#map-clear
 map.~cloneする:#map-clone
@@ -1039,7 +1035,7 @@
 
 Commits:
 	<a href="https://github.com/whatwg/infra/commits">GitHub whatwg/infra/commits</a>
-	<a href="https://infra.spec.whatwg.org/commit-snapshots/8c74b2ac77ba602b36d79034229be465b972d17b/" id="commit-snapshot-link">Snapshot as of this commit</a>
+	<a href="https://infra.spec.whatwg.org/commit-snapshots/d86cb0e0e7d27441549d1216963c714fae67bc14/" id="commit-snapshot-link">Snapshot as of this commit</a>
 	<a href="https://twitter.com/infrastandard">@infrastandard</a>
 
 Tests:
@@ -7062,7 +7058,7 @@ <h3 title="Maps">5.2. ~map</h3>
 <p class="example" id="example-map-notation">
 %M ~EQ `有順序~map$ «[ `a^l → `x^bl, `b^l → `y^bl ]»
 が与えられた下では、
-%M[`a^l] は `~byte列$ `x^bl を表す。
+%M[ `a^l ] の結果は `~byte列$ `x^bl になる。
 ◎
 Let example be the ordered map «[ "a" → `x`, "b" → `y` ]». Then example["a"] is the byte sequence `x`.
 </p>
@@ -7093,49 +7089,56 @@ <h3 title="Maps">5.2. ~map</h3>
 `~entryの値を取得する@
 ~algoは、
 所与の
-( %~key )
+( %~key, %既定 ~DF ε )
 に対し
 ⇒
 ~RET %M は［
 `~key$map %~key を伴う`~entryを包含して$いる
 ］ならば その`値$map ／
-~ELSE_ ε
+~ELSE_ %既定
 ◎
-To get the value of an entry in an ordered map map given a key key:
+To get the value of an entry in an ordered map map given a key key and an optional default:
+• If map does not contain key and default is given, then return default.
 • Assert: map contains key.
 • Return the value of the entry in map whose key is key.
 </p>
 
 <p class="trans-note">【
-原文では、
-表明を通して［
-%M が該当する`~entryを包含して$いない場合
-］には，この~algoは利用し得ないものと定義されているが
-（すなわち、
-この演算を利用する前に，該当する`~entryを包含して$いることを確保する必要がある）、
-和訳では，これに意図的に従わず、
-ε を返すものと定義を改める
-— したがって、
-`~entry$の`値$mapは ε をとり得ないことになる。
+`~entry$の`値$mapが ε をとることは，決してないので、
+結果が ε ならば %M は該当する`~entryを包含して$いないことになる。
 】</p>
 
 <p>
 `~entryの値を取得する$は、
 ~indexing構文でも表記できる
 — 当の~mapの直後に角括弧で括られた`~key$mapを供することにより。
+既定の値 %既定 は、
+直後に
+“<span id="map-with-default">~DF %既定</span>”
+【原文では “`with default^en %既定” 】
+を記すことにより，与えれる。
 ◎
-We can also denote getting the value of an entry using an indexing syntax, by providing a key inside square brackets directly following a map.
+We can also denote getting the value of an entry using an indexing syntax, by providing a key inside square brackets directly following a map. A default can be given by adding the phrase with default followed by the default value.
 </p>
 
-<p class="example">
-~IF［
-%M[ `test^l ] ~NEQ ε
-］
-⇒
-~RET %M[ `test^l ]
+<div class="example">
+<p>
+%M として «[ `a^l → `x^l, `b^l → `y^l ]» が与えられたなら：
+<p>
+<ul>
+	<li>
+%M[ `a^l ] の結果は `x^l になる。
+</li>
+	<li>
+%M[ `a^l ] ~DF `z^l の結果も `x^l になる。
+</li>
+	<li>
+%M[ `c^l ] ~DF `z^l の結果は `z^l になる。
+</li>
+</ul>
 ◎
-If map["test"] exists, then return map["test"].
-</p>
+Let example be the ordered map «[ "a" → "x", "b" → "y" ]». Then example["a"] is the same as example["a"] with default "z", namely "x". example["c"] would hit an assert. example["c"] with default "z" is "z".
+</div>
 	</li>
 	<li>
 <p>