Merge pull request #112 from KANIYONIKA/Translate-generics/new_types.md

dalance · web-flow · commit 79c3ec5fe4e0 · 2023-01-18T08:00:41.000+09:00
Translate generics/new types.md
diff --git a/src/SUMMARY.md b/src/SUMMARY.md
@@ -222,7 +222,7 @@
         - [テストケース: 空トレイト](generics/bounds/testcase_empty.md)
     - [複数のジェネリック境界](generics/multi_bounds.md)
     - [Where句](generics/where.md)
-    - [New Type Idiom](generics/new_types.md)
+    - [ニュータイプイディオム](generics/new_types.md)
     - [関連型](generics/assoc_items.md)
         - [関連型が必要になる状況](generics/assoc_items/the_problem.md)
         - [関連型](generics/assoc_items/types.md)
diff --git a/src/generics/new_types.md b/src/generics/new_types.md
@@ -1,10 +1,19 @@
+<!--
 # New Type Idiom
+-->
+# ニュータイプイディオム
 
+<!--
 The `newtype` idiom gives compile time guarantees that the right type of value is supplied
 to a program.
+-->
+既に定義済みの型であっても`struct`を使うことであたかも別の型`newtype`であるかのように定義することが可能です。なお、それらが正しい型としてプログラムに供給されているか否かは、コンパイル時に保証されます。
 
+<!--
 For example, an age verification function that checks age in years, *must* be given
 a value of type `Years`.
+-->
+例えば、年齢を年単位で確認する`old_enough`には「Years」という型の値を *与えなければならない* ようにすることが可能です。
 
 ```rust, editable
 struct Years(i64);
@@ -20,6 +29,7 @@ impl Years {
 
 impl Days {
     /// truncates partial years
+    /// 1年に満たない日付は切り捨て
     pub fn to_years(&self) -> Years {
         Years(self.0 / 365)
     }
@@ -38,9 +48,16 @@ fn main() {
 }
 ```
 
+<!--
 Uncomment the last print statement to observe that the type supplied must be `Years`.
+-->
+最後の print文 のコメントを外して、与えられた型が `Years` でなければならないことを確認してください。
 
+<!--
 To obtain the `newtype`'s value as the base type, you may use the tuple or destructuring syntax like so:
+-->
+`newtype`の元に使われている型のデータを取得するには、以下のようにタプルや分配構文を用いることで取得できます。
+
 ```rust, editable
 struct Years(i64);
 
