[ update ] chapter 10 translation

* [ generate ] translation
gemmaro · Aug 18, 2023 · aedd4f1 · aedd4f1
1 parent 93206ab
commit aedd4f1
Show file tree

Hide file tree

Showing 12 changed files with 3,182 additions and 563 deletions.
diff --git a/.po4a-version b/.po4a-version
@@ -1,4 +1,4 @@
-po4a version 0.68.
+po4a version 0.69.
 Written by Martin Quinson and Denis Barbier.
 
 Copyright © 2002-2022 Software in the Public Interest, Inc.

diff --git a/text-ja/chapter1.md b/text-ja/chapter1.md
@@ -84,7 +84,7 @@ iterate f n x = iterate f (n - 1) (f x)
 実際に、根本的に型駆動な抽象化の強力な形式である型クラスをPureScriptは提供しています。
 この型クラスとは、関数型プログラミング言語Haskellによって有名になりました。
 
-## 多言語Webプログラミング
+## 多言語webプログラミング
 
 関数型プログラミングは成功を収めてきました。
 特に成功している応用例を挙げると、データ解析、構文解析、コンパイラの実装、ジェネリックプログラミング、並列処理といった具合に、枚挙に暇がありません。
@@ -169,7 +169,7 @@ PSCi対話式モードプロンプトに入力するコマンドは、行の先
 3
 ```
 
-各章には演習が含まれており、それぞれ難易度も示されています。
+各章には演習が含まれており、難易度も示されています。
 内容を完全に理解するために、各章の演習に取り組むことを強くお勧めします。
 
 本書は初心者にPureScriptへの導入を提供することを目的としており、課題に対するお決まりの解決策の一覧を提供するような類の本ではありません。
@@ -192,10 +192,10 @@ PSCi対話式モードプロンプトに入力するコマンドは、行の先
 - 非公式の[PureScript
   Cookbook](https://github.com/JordanMartinez/purescript-cookbook)は「Xするにはどうするの」といった類の質問にコードを混じえて答えを提供します。
 - [PureScriptドキュメントリポジトリ](https://github.com/purescript/documentation)には、PureScriptの開発者や利用者が書いた幅広い話題の記事と例が集まっています。
-- [PureScriptのWebサイト](https://www.purescript.org)には幾つかの学習資料へのリンクがあります。
+- [PureScriptのwebサイト](https://www.purescript.org)には幾つかの学習資料へのリンクがあります。
   コード例、映像、他の初心者向け資料などです。
 - [Try
-  PureScript!](https://try.purescript.org)は利用者がWebブラウザでPureScriptのコードをコンパイルできるWebサイトです。
+  PureScript!](https://try.purescript.org)は利用者がwebブラウザでPureScriptのコードをコンパイルできるwebサイトです。
   幾つかの簡単なコードの例もあります。
 
 もし例を読んで学ぶ方が好きでしたら、GitHubの`purescript`組織、`purescript-node`組織及び`purescript-contrib`組織にはPureScriptコードの例が沢山あります。

diff --git a/text-ja/chapter10.md b/text-ja/chapter10.md
diff --git a/text-ja/chapter3.md b/text-ja/chapter3.md
@@ -279,9 +279,9 @@ PureScriptで新たな問題に取り組むときは、まずはこれから扱
 
 ## 型構築子と種
 
-`List`は*型構築子*（type constructor、型コンストラクタ）の一例になっています。`List`そのものは型ではなく、何らかの型
-`a`があるとき `List a`が型になっています。つまり、 `List`は _型引数_ (type argument) `a`をとり、新たな型
-`List a`を _構築_ するのです。
+`List`は*型構築子*の一例になっています。
+`List`そのものは型ではなく、何らかの型 `a`があるとき `List a`が型になっています。
+つまり、 `List`は*型引数*`a`を取り、新たな型 `List a`を*構築*するのです。
 
 なお、ちょうど関数適用と同じように、型構築子は他の型に並置するだけで適用されます。
 実際、型`List Entry`は型構築子`List`が型`Entry`に*適用*されたもので、項目のリストを表しています。

diff --git a/text-ja/chapter5.md b/text-ja/chapter5.md
@@ -129,7 +129,7 @@ true
    数式\\( n! / k! (n - k)! \\)を使ってください。
    ここで \\( ! \\) は前に書いた階乗関数です。
    *手掛かり*：パターン照合を使って特殊な場合を取り扱ってください。
-   長い時間が掛かったりコールスタックのエラーでクラッシュしたりしたら、コーナーケースを更に追加してみてください。
+   長い時間が掛かったりコールスタックのエラーでクラッシュしたりしたら、特殊な場合を更に追加してみてください。
 1. （普通）[_パスカルの法則_](https://en.wikipedia.org/wiki/Pascal%27s_rule)を使って前の演習と同じ2項係数を計算する関数`pascal`を書いてください。
 
 ## 配列パターン
@@ -651,7 +651,7 @@ $ spago repl
 
 累算関数`combine`は`where`ブロックで定義されています。
 `combine`は`foldl`の再帰呼び出しで計算された外接矩形と、配列内の次の
-`Shape`を引数にとり、ユーザ定義の演算子`union`を使って2つの外接矩形の和を計算しています。
+`Shape`を引数に取り、ユーザ定義の演算子`union`を使って2つの外接矩形の和を計算しています。
 `shapeBounds`関数は、パターン照合を使用して、単一の図形の外接矩形を計算します。
 
 ## 演習