Use "singleton type" instead of "value type"

php/doc-en@f908fff

Author: mumumu

language/types.xml

@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="utf-8"?>
 <!-- $Revision$ -->
-<!-- EN-Revision: 5fccbe5195820cd9ec0045674312ec567ef5f6ed Maintainer: mumumu Status: ready -->
+<!-- EN-Revision: f908fff129bcd8ec1605658e06457cb04e5b2b51 Maintainer: mumumu Status: ready -->
 <chapter xml:id="language.types" xmlns="http://docbook.org/ns/docbook">
  <title>型</title>
 
@@ -130,7 +130,7 @@ int(16)
  &language.types.void;
  &language.types.never;
  &language.types.relative-class-types;
- &language.types.value;
+ &language.types.singleton;
  &language.types.iterable;
  &language.types.declarations;
  &language.types.type-juggling;

language/types/declarations.xml

@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="utf-8"?>
 <!-- $Revision$ -->
-<!-- EN-Revision: 13273912b0f773c35f05297a47daa7f76dd52669 Maintainer: mumumu Status: ready -->
+<!-- EN-Revision: f908fff129bcd8ec1605658e06457cb04e5b2b51 Maintainer: mumumu Status: ready -->
 
 <sect1 xml:id="language.types.declarations">
  <title>型宣言</title>
@@ -279,8 +279,8 @@ Stack trace:
    <title>union 型</title>
    <warning>
     <simpara>
-     union 型の中で、Value型 &true; と
-     &false; を同時に組み合わせて使うことはできません。
+     union 型の中で、シングルトン型 <type>true</type> と
+     <type>false</type> を同時に組み合わせて使うことはできません。
      <type>bool</type> 型を使ってください。
     </simpara>
    </warning>

language/types/value.xml renamed to language/types/singleton.xml

@@ -1,28 +1,28 @@
 <?xml version="1.0" encoding="utf-8"?>
 <!-- $Revision$ -->
-<!-- EN-Revision: 5fccbe5195820cd9ec0045674312ec567ef5f6ed Maintainer: mumumu Status: ready -->
-<sect1 xml:id="language.types.value">
- <title>Value型</title>
+<!-- EN-Revision: f908fff129bcd8ec1605658e06457cb04e5b2b51 Maintainer: mumumu Status: ready -->
+<sect1 xml:id="language.types.singleton">
+ <title>シングルトン型</title>
 
  <para>
-  Value(値)型は、値の型だけでなく、値そのものもチェックされる型です。
-  PHP はふたつのValue型をサポートしています。
+  シングルトン型は、ただひとつの値のみを受け入れる型です。
+  PHP はふたつのシングルトン型をサポートしています。
   PHP 8.0.0 以降でサポートされた &false; 型と、
   PHP 8.2.0 以降でサポートされた &true; 型です。
  </para>
 
  <warning>
   <simpara>
    PHP 8.2.0 より前のバージョンでは、
-   &false; 型は
+   <type>false</type>型は
    <link linkend="language.types.type-system.composite.union">union 型</link>
    の一部としてのみ使える型でした。
   </simpara>
  </warning>
 
  <note>
   <simpara>
-   カスタムのValue型を定義することはできません。
+   カスタムのシングルトン型を定義することはできません。
    そうしたい場合、<link linkend="language.types.enumerations">列挙型(Enum)</link> を使うことを検討してください。
   </simpara>
  </note>

language/types/type-system.xml

@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="utf-8"?>
 <!-- $Revision$ -->
-<!-- EN-Revision: 5fccbe5195820cd9ec0045674312ec567ef5f6ed Maintainer: mumumu Status: ready -->
+<!-- EN-Revision: f908fff129bcd8ec1605658e06457cb04e5b2b51 Maintainer: mumumu Status: ready -->
 <sect1 xml:id="language.types.type-system">
  <title>型システム</title>
 
@@ -31,9 +31,6 @@
     <listitem>
      <simpara>組み込みの型</simpara>
      <itemizedlist>
-      <listitem>
-       <simpara>ヌル(<type>null</type>)</simpara>
-      </listitem>
       <listitem>
        <simpara>
         スカラー型:
@@ -74,18 +71,28 @@
         <type>self</type>, <type>parent</type>, <type>static</type>
        </simpara>
       </listitem>
-     </itemizedlist>
-    </listitem>
-    <listitem>
-     <simpara>
-      <link linkend="language.types.value">Value型</link>
-     </simpara>
-     <itemizedlist>
       <listitem>
-       <simpara><type>false</type></simpara>
+       <simpara>
+        <link linkend="language.types.singleton">シングルトン型</link>
+       </simpara>
+       <itemizedlist>
+        <listitem>
+         <simpara><type>false</type></simpara>
+        </listitem>
+        <listitem>
+         <simpara><type>true</type></simpara>
+        </listitem>
+       </itemizedlist>
       </listitem>
       <listitem>
-       <simpara><type>true</type></simpara>
+       <simpara>
+        Unit 型
+       </simpara>
+       <itemizedlist>
+        <listitem>
+         <simpara><type>null</type></simpara>
+        </listitem>
+       </itemizedlist>
       </listitem>
      </itemizedlist>
     </listitem>