review イントロダクション

[aconite-ac]

レビュー作業の開始が遅れてしまい申し訳ありません。 イントロダクションについてレビューを行いました。

レビューの方針

レビュー作業を次のステップに分け、ステップ毎に commit しました。

• スタイルの統一
• 訳語の統一
• 意味的誤りの修正
• 表現の添削
  • 主に、誤解を招く表現や、理解に時間のかかりそうな表現について添削します。

(ただし、各ステップでの変更以外に、以前の commit での見落としや編集ミスの修正が含まれる可能性があります。)

レビュイーがレビューを確認する際は、主に「表現の添削」以外のステップについて、客観的な誤りを指摘していただけると幸いです。 ただし、「表現の添削」ステップについてレビュイーから変更提案があった場合は、基本的にその提案を採用する方針です。

重要な変更点とその変更理由

• https://github.com/lean-ja/fp-lean-ja/blob/90d3d337f2a238b7dcd17f277aa42b995572062b/functional-programming-lean/src/introduction.md?plain=1#L52 https://github.com/lean-ja/fp-lean-ja/blob/90d3d337f2a238b7dcd17f277aa42b995572062b/functional-programming-lean/src/introduction.md?plain=1#L54
  • ここでの lean は、elan と lake と同様にシェルコマンドのことだと思われます。
• https://github.com/lean-ja/fp-lean-ja/blob/90d3d337f2a238b7dcd17f277aa42b995572062b/functional-programming-lean/src/introduction.md?plain=1#L62 https://github.com/lean-ja/fp-lean-ja/blob/90d3d337f2a238b7dcd17f277aa42b995572062b/functional-programming-lean/src/introduction.md?plain=1#L63
  • 既存の訳だと本書の書式のことなのかLean のコードの書式なのか分かりにくいと思いました。
• https://github.com/lean-ja/fp-lean-ja/blob/90d3d337f2a238b7dcd17f277aa42b995572062b/functional-programming-lean/src/introduction.md?plain=1#L12 https://github.com/lean-ja/fp-lean-ja/blob/90d3d337f2a238b7dcd17f277aa42b995572062b/functional-programming-lean/src/introduction.md?plain=1#L15
  • like any other が指すのは「他の言語」ではなく「他の（＝関数以外の）値」だと思われます。

[Seasawher]

ありがとうございます！