kuwadgi https://blog.hatena.ne.jp/kuwadgi/ 嫌われプログラミングの代弁者 https://kuwadgi.info/ 本当に関数型プログラミングがやりたかった事【妄想】 よく、 関数型はlet とアロー関数だけだ と言うと、 違う。もっと本質的なものが有る と応え返される事が有りますが、 本質的なものとは何でしょうか？ 私は、 上限方向と下限方向の作りが対照的（なら良いな） 束因果ダイアログで上限方向と下限方向の作りが対照的となる様なプログラムの書き方 こそがその”本質的な”だったのでは無いかと思う様になりました。 これにより、 仕様とプログラムが対照的になる。暗示的な因果ダイアログが無くなっても、容易にプログラムから仕様を導き出せる テストが仕様になる（正しく合一する） より簡単にプログラムが作れる からで… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkuwadgi.info%2Fentry%2F2025%2F07%2F25%2F203053" title="形而上学と関数型プログラミング　２ - 嫌われプログラミングの代弁者" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/k/kuwadgi/20250712/20250712082221.png Hatena Blog https://hatena.blog 2025-07-25 20:30:53 rich https://kuwadgi.info/entry/2025/07/25/203053 1.0 100%