lean-ja / fp-lean-ja

Functional Programming in Lean の日本語訳. 演習問題への解答を含みます(作業中 🚧)
https://lean-ja.github.io/fp-lean-ja/
Other
8 stars 2 forks source link

1.5章 datatypes-and-patterns.mdを翻訳しました #18

Closed nesken7777 closed 6 months ago

nesken7777 commented 7 months ago

1.5章を翻訳しました。

その際、適切な翻訳が思いつかずにそのままにした箇所があります:

その辺りのご教示を含め、レビューをして頂けると助かります。

Seasawher commented 7 months ago

_ で囲まれた用語を強調として訳すのは良いと思います.

nesken7777 commented 7 months ago

レビューありがとうございます。 原文を直訳よりに訳すより日本人に分かりやすい意訳よりにすると良い感じですかね…?

Seasawher commented 7 months ago

直訳をとるか意訳をとるかは翻訳一般の大きな問題で、ケースバイケースだと思います。本リポジトリの方針としては、「日本人が読んだときに翻訳が理解の邪魔にならない」ことを目指します。

Seasawher commented 6 months ago

@nesken7777 レビューが大変遅くなり申し訳ありません.

こちらで訳文の修正を行いました. これでマージさせていただきますが,何かあれば遠慮なく issue を開いてください.

nesken7777 commented 6 months ago

ありがとうございます。 いただいたレビューをこれからの翻訳の参考にさせていただきます。