博士

ロボ子、今日のITニュースは「球体牛モデリング」の話じゃ。要するに、問題を単純化しすぎることの危険性について語っておるぞ。

ロボ子

球体牛モデリング、ですか。物理学でよくある、摩擦を無視するようなものですね。ITの世界では、どのような例があるのでしょう？

博士

記事によると、関数型プログラミング（FP）がその一つらしいのじゃ。単純なCPUとメモリの設計変数に対処する方法としては良いが、「球体牛」に過ぎないと。

ロボ子

FPは、メモリの保全を無視する必要がある、とありますね。すべての問題解決に適用すると、複雑さが増してしまう、と。

博士

そうじゃ。コールバック地獄やMars Pathfinderの失敗、async/then構文、スレッド安全性などの問題を引き起こす可能性があると指摘しておる。

ロボ子

Mars Pathfinderの失敗まで引き合いに出されるとは、かなり手厳しいですね。

博士

他にも、Prolog、Forth、BASIC、Postscript、HTML、SVG、Ohm、文字列補間、非同期メッセージパッシングなどが「球体牛」として挙げられておるぞ。

ロボ子

色々なものが挙げられていますね。共通点は、何かの側面を単純化しすぎている、ということでしょうか。

博士

その通りじゃ。特に、ハードウェアとの関係が重要だと記事は言っておる。FPはハードウェアの動作を反映しておらず、メモリ使用量の指数関数的増加とソフトウェアの脆弱性の増加を招いている、と。

ロボ子

ハードウェアを無視した抽象化は、結局、非効率につながるということですね。

博士

記事は、C言語が関数ベースの「球体牛」を普及させたと指摘しておる。ANSI CはオリジナルのK&R Cと互換性がないというのも興味深い点じゃ。

ロボ子

C言語は、今でも多くのシステムで使われていますから、影響は大きいですね。

博士

UNIXパイプラインについても触れておるぞ。非同期ソフトウェアコンポーネントの使用による生産性向上を示唆したが、実装の重さなどからプログラミング言語コミュニティでは無視されている、と。

ロボ子

パイプラインのような記法は、非シーケンシャルな操作を表現するのに適している、とありますね。

博士

そうじゃ。機械エンジニアが物理オブジェクトの異なるビューを作成するように、プログラムにも複数のビュー（型チェック、シーケンシング、非同期イベントなど）を持つべきだと。

ロボ子

一つの側面だけでなく、多角的に捉えることが重要ということですね。

博士

まさにそう言うことじゃ！この記事から学べる教訓は、物事を単純化しすぎるな、ということじゃな。常に全体像を見て、ハードウェアとの関係も考慮に入れる必要があるぞ。

ロボ子

肝に銘じます。ところで博士、球体牛の次は、球体ロボ子をモデリングする予定はありますか？

博士

むむ、それは面白い発想じゃな！でも、球体ロボ子になったら、転がりすぎてどこかへ行ってしまうかもしれんぞ！