関数型 vs staticおじさん

Satofumi @satofumi_

@kmizu @MtCedar 会話に混ざりたいけど、会話できるほどの知識がないのに気づきました…。

杉山哲男 @MtCedar

@satofumi_ @kmizu 雑談なので遠慮なく

kmizu @kmizu

@MtCedar リスパーをLisp上級者、あるいはLispを好んで使うプログラマだとすると、たぶんそういったこと（ループを再帰呼び出しとして書くこと）は好きではないと思います。（続く）

kmizu @kmizu

@MtCedar ループは常に再帰として書くことができる、というのは真なのですが、これは単に関数型プログラミングにおける基本的な道具がループでないというだけであって、生の再帰呼び出しをそのまま使うことが推奨されているわけではありません。（続)

kmizu @kmizu

@MtCedar .@kmizu まずreduce(foldLeft)やmapなどの高階関数を使って書けないか考え、それらで書けない時に初めて(末尾)再帰で書くのが普通の考え方かと。

kmizu @kmizu

@MtCedar .@kmizu ちなみに、リスパーと関数型言語プログラマーを同一視、あるいは近似するのは結構危険かと思います。リスパーはむしろS式とそれによって実現されるマクロにこだわるという面に特異なところがあります。

杉山哲男 @MtCedar

@kmizu いやいや、だからなんで高階関数とか訳のわからないものを使おうとするのか。

杉山哲男 @MtCedar

@kmizu フローチャートで書ける処理を、わざわざフローチャートで書きにくいような複雑な処理として記述するという発想がよくわかりません。

kmizu @kmizu

@MtCedar 自分の答えとしては、簡潔に書けますし、考える労力をより割かなくて良いからということになります。

kmizu @kmizu

@MtCedar それはすぎさん流ネタですよね？ >フローチャートで書ける処理を、わざわざフローチャートで書きにくいような複雑な処理として記述するという発想

杉山哲男 @MtCedar

@kmizu 理解できない、とは言い過ぎかもしれませんが、馴染めない考え方だと言うのが正直なところです。たぶん、思考の抽象化の方法が違うんだと思います。

杉山哲男 @MtCedar

@kmizu 僕がプログラムを書く時は、メモリイメージに対する書き換えの手続きとして処理を考えるので、オブジェクト指向はまだ分かるけれど、関数型プログラミングは根本的に相容れない感じです。

kmizu @kmizu

@MtCedar hmhm。とすると、ちょっと気になるのですが、たとえば、int x = ...; int y = ...; x + y; のx + yはどういうモデルで理解されますか？（結果の代入は考えない）

杉山哲男 @MtCedar

@kmizu add r1,r2 ですかね。

杉山哲男 @MtCedar

@kmizu 言い方が悪いかな。要はCPUの加算器を駆動する指示と理解しています。

kmizu @kmizu

@MtCedar なるほど。では、たとえばより複雑なデータ型、たとえば多倍長整数型(CPUの加算器が直接扱えない大きさ） BigIntがあったとして、BigInt x = ..., y = ...; x + y に相当する演算はどうとらえるべきでしょうか？

杉山哲男 @MtCedar

@kmizu 言語の実装によるでしょうが、大抵は多倍長整数の領域を2つ指定すると加算してくれるサブルーチン呼び出しになると思います

kmizu @kmizu

@MtCedar x + yを単に「二つの値を加算した結果の値を生成する」ととらえるのであれば、intだろうとBigIntだろうと同じように（人間は）扱えますが、CPUの加算器を駆動する指示というレベルまで抽象度を落とすのであれば、かなり面倒なのでは？という疑問です。

kmizu @kmizu

@MtCedar あくまでメモリ領域ベースでとらえるなら、結果の値を格納する場所が問題になりますが、実行スタックに格納されるべきですか？

杉山哲男 @MtCedar

@kmizu 脳内モデルに面倒も何もないと思うのですが。

杉山哲男 @MtCedar

@kmizu それは呼び出し規約の問題なので、呼び出されるルーチンの実装に依存します

kmizu @kmizu

@MtCedar なるほど。だとすると、その捉え方は日常のプログラミングを不必要に複雑にしているように思えます（もちろん、リソースに敏感にならなければいけない局面では抽象度を落として考える事も必要ですが）

杉山哲男 @MtCedar

@kmizu 要は慣れの問題じゃないでしょうか。慣れたモデルのプログラミングの方が、頭を使わなくて済みます。

kmizu @kmizu

@MtCedar 慣れとは別に抽象度の高低の問題があると思います（抽象度を高くし過ぎると逆に理解しにくくなる事はあると思いますが）

杉山哲男 @MtCedar

@kmizu 誤解があるといけないので、明言しておきますが、僕は関数型プログラミングのモデルが誰にでも理解しにくいとは思っていません。プログラマは自分のメンタルモデルに即した言語を選ぶべきで、押し付けは良くないという話です。