「Functional Programming in Lean」の日本語訳を始めました

[Seasawher]

Lean をプログラミング言語として使うことに興味がわいてきたので，勉強を兼ねて訳すことにしました．

イントロダクションだけ訳して push しました (private リポジトリです)

https://github.com/lean-ja/fp-lean-ja

私ひとりでもくもくと進める予定ですが，協力してくださるのはもちろん大歓迎です．

協力してくださる場合，作業内容が被らないように一言おっしゃってくださると助かります．

[aconite-ac]

翻訳するドキュメントとして良いチョイスだと思います！(自分も訳そうと思っていました)

翻訳のレビュー等でお手伝いできたらと思います。
レビューが必要な際は、Issue等でお気軽にメンションして頂ければと思います。

[Seasawher]

@aconite-ac

ありがとうございます。

本書はリファレンスとして引用したい場面が多いので、日本語訳があった方が良いなと思いました！

[Seasawher]

翻訳のレビュー等でお手伝いできたらと思います。
レビューが必要な際は、Issue等でお気軽にメンションして頂ければと思います。

ありがとうございます。ぜひお願いします

章ごとに分担できると楽になるんですが、それにはもっと翻訳ルールをきっちり決める必要がありそうですね

[ihuku]

はじめまして。
宜しければ、Seasawherさんのリポジトリでの翻訳作業に参加させていただけますでしょうか。

なお、許可いただけたら、の話ではありますが…。
ここに気付かず個人的に一部翻訳した箇所もありまして…。作業箇所が重複しておらず、文体等々にも問題がなければ、取り込ませていただけますと幸いです。
https://github.com/ihuku/fp-lean-jp

[Seasawher]

連絡ありがとうございます！！参加は大歓迎です．ぜひ参加していただきたいです．

「まだ途中だから」と思って非公開リポジトリで作業していたのですが，作業リポジトリを公開にしておいた方が探しやすくてよかったですね．公開にしておきます．

私が翻訳したのは 1.3 節までなのであまり被っていないと思いますし，被っていたとしても誤訳を修正するいい機会になるので大変ありがたいです．

[Seasawher]

@ihuku
https://github.com/lean-ja/fp-lean-ja こちらが作業中のリポジトリです

[ihuku]

@Seasawher ありがとうございます！よろしくお願いしますm(_ _)m

それでは、2章、3章、9章、10章は私の方で仕掛かり中ですので、これらをSeasawherさんの翻訳ルールでざっと見直したうえで、後日プルリクします。

[Seasawher]

よろしくお願いします

[Seasawher]

結構作業量が多いと思うので，必要ならお手伝いしますよ

ドラフトPRを先に出していただければ，適宜お手伝いできます