「関数型プログラミングって何？」日本語訳 - Okapies' Archive

この記事は、技術翻訳 Advent Calendar 2016 の15日目です（枠が空いてたので勝手にお邪魔してます）。前回（6日目）は、id:msyksphinz さんの「個人が趣味で技術書を翻訳するという意義について」でした。 今回ご紹介するのは、昨年末に公開された Kris Jenkins さん (@krisajenkins) の "What Is Functional Programming?" です。日本語訳の公開については著者から承諾済みです。また、London Functional Programmers meetup での同タイトルの講演動画が公開されています。 関数型プログラミングの考え方は、世間ではどうも小難しい話だと思われている節があります。その理由の一つに、議論の抽象度が（比較的）高いことが挙げられるでしょう。例えば、以前このブログで紹介した「なぜ関数プログラミング

[kaputte]

関数型＋長文てアレ思い出すんだよね…

[t-wada]

"関数型プログラミングとは、純粋な関数を書いて隠れた入出力をなるべく取り除き、できるだけ多くのコードを入力と出力の関係だけで記述することだ"

[otituke]

ずーーーっと理解できなかった関数型プログラミングが氷解するように理解できた（気がする）、Part2もぜひ翻訳していただきたい。。

[sutatin]

「職業プログラマ向けの純粋関数の定義」これくらい割り切ってくれてる方がありがたい。

[yimajo]

“（僕は実のところ、隠れた出力を表す「副作用 (side-effect)」という語だけでなく、隠れた入力を表す「副原因 (side-cause)」という語も必要だと思う。これ以降の記事では、ほとんどの場所では簡潔に「副作用」とだけ書くが

[gen0083]

引数と戻り値は1つではない、隠れた入出力がある

[tmatsuu]

とても良かった。理解できた気がする

[takatama]

分かりやすい

[luccafort]

副作用は悪なのか？以降がどうしても内容が頭に入ってこないのは背景によるものなのかもしれない、想定している環境をぼくがきちんと想像できてない気がする。

[rjge]

”それを把握する方法は三つしかない: 関数の定義に飛び込むか、複雑性を表層に持ってくるか、無視を決め込んでうまくいくことを祈るか”

[efcl]

関数型プログラミングと副作用と副原因について

[airos]

すごく良かった。いま関数型勉強中なので助かります。

[Dai_Kamijo]

"関数型プログラミングとは、純粋な関数を書いて隠れた入出力をなるべく取り除き、できるだけ多くのコードを入力と出力の関係だけで記述することだ" / “「関数型プログラミングって何？」日本語訳 - Okapies' Archiv

[tettekete37564]

カプセル化とは責任の境界を明確にし分離する事。この主張からするとどれほどコールスタックが深くなろうとも main 関数のスコープから time を渡せるようにしろという話になる。どこに境界を引く？その設計が OOP のキモ

[ch1248]

素晴らしい。

[massa142]

“隠れた出力を表す「副作用 (side-effect)」という語だけでなく、隠れた入力を表す「副原因 (side-cause)」という語も必要”

[lalala360]

関数よりさらに細かい単位でも、if分岐やforループが式の形で書けると、入出力の関係がわかりやすくなって好き。

[k1take]

ちょっと分かった！(気がする)

[hogege]

φ(･_･

[itouhiro]

「あらゆる関数には二組の入力（引数、副原因）と二組の出力（返値、副作用）がある。副作用副原因があると複雑性（他のコードに依存）。なければデバッグ・テストが簡単。複雑性を表層に移す→引数化。純粋関数」

[jumperson]

"関数型言語は副作用の積極的な排除を可能な限り助け、それができない場合は厳重に制御するのに役立つ。"関数型言語の定義が明確だなー。

[kasumani]

「関数型プログラミングって何？」日本語訳 この記事は、技術翻訳 Advent Calendar 2016 の15日目です（枠が空いてたので勝手にお邪魔してます）。前回（6日目）は、id:msyksphinz さんの「個人が趣味で技術書を翻訳するという意

[tick2tack]

"関数型プログラミング言語とは、副作用なしでプログラミングすることをサポートしたり奨励したりするような言語だ"

[to4iki]

導入部

[plurielleirulp]

“隠れた出力を表す「副作用 (side-effect)」という語だけでなく、隠れた入力を表す「副原因 (side-cause)」という語も必要だと思う”

[sublatphile]

“隠れた出力を表す「副作用 (side-effect)」という語だけでなく、隠れた入力を表す「副原因 (side-cause)」という語も必要だと思う”

[Nilfs]

いい記事。これは広めたい

[yfujisawa]

素晴らしい慧眼だ。ここまで分かりやすく関数型の本質を紹介している文章は今まで見たことがない。

[lifeisadog]

いいこと言ってる。余裕のない現場ではなかなか難しいのだけど

[igrep]

"関数が〈純粋〉であるとは、全ての入力が入力として包み隠さず宣言されていて、同様に出力が出力として宣言されている" やっぱり型に現れることが大事よね

[minoru0707]

なんとなくわかるような気がしないでもない。