Revise paragraph in "ライフタイムの省略"

[niku]

ライフタイムの省略の最初の段落が意味を取りにくかったので相談です．

こんな感じで改善してみようかと思うのですが，いかがでしょうか．
訳にはあまり自信がありません．

もしOKそうなら適用してプルリクエストをちゃんと作ります．

---

Rust supports powerful local type inference in function bodies, but it's forbidden in item signatures to allow reasoning about the types based on the item signature alone.

Rust は関数本体の部分では強力なローカル型推論をサポートします。しかし要素のシグネチャの部分では、型が要素のシグネチャだけでわかるようにするため，(型推論が)許されていません。

However, for ergonomic reasons a very restricted secondary inference algorithm called “lifetime elision” applies in function signatures.

とはいえ、人間工学的な理由により(訳注:人間が読みやすいように)"ライフタイムの省略"と呼ばれている、非常に制限された第二の推論アルゴリズムはシグネチャの部分に適用されます。

It infers only based on the signature components themselves and not based on the body of the function, only infers lifetime parameters, and does this with only three easily memorizable and unambiguous rules.

その推論はシグネチャのコンポーネントだけに基づき、関数本体には基づかず、ライフタイムパラメータだけを推論します。そしてたった3つの覚えやすく明確なルールに従って行います。

This makes lifetime elision a shorthand for writing an item signature, while not hiding away the actual types involved as full local inference would if applied to it.

ライフタイムの省略で要素のシグネチャを短く書くことができます。しかしローカル型推論が適用されるときのように実際の型を隠すことはできません。

[KeenS]

一応レビューでも議論のあった所ですね。
#64 (comment)

改善した方が読み易いのでプルリクお願いします。

一点だけ、

(訳注:人間が読みやすいように)

はやや怪しいかもしれません。書き手に対してパラメータを省略出来るようにする意味もあると思うので合ってるか自身ないです。

あとは細かい点ですが

第二の推論アルゴリズムはシグネチャの部分に適用されます。

「第二の推論アルゴリズム"が"シグネチャの部分に適用されます。」ですかね。

[tatsuya6502]

(訳注:人間が読みやすいように)

はやや怪しいかもしれません。書き手に対してパラメータを省略出来るようにする意味もあると思うので合ってるか自身ないです。

そうですね。「読みやすさ」というよりも、省略できることによる「使いやすさ」という意味が強いと思います。この単語は Rust のコアチームメンバーが好んで使っていて、コンパイラの振る舞いやライブラリの API を決めるための議論でも、必ずといっていいほど出てきます。いずれの場合も、使いやすいか？気が利いてるか？という意味で使われているようです。

「人間工学的」と訳すと伝わらないと思ったので、エラーハンドリングの章の冒頭では、以下のように、カタカナ表記＋カッコで説明としました。

この章では、エラーを処理する上でどのような課題があるかを吟味し、標準ライブラリを使うと、それがいかにシンプルでエルゴノミック（人間にとって扱いやすいもの）に変わるのかを紹介します。

[niku]

コメントありがとうございます．

「第二の推論アルゴリズム"が"シグネチャの部分に適用されます。」ですかね。

「が」にしました．

ergonomic
カタカナ表記＋カッコ

「エルゴノミック（人間にとっての扱いやすさ）」にしました．

[KeenS]

ありがとうございます。マージします。