kuwadgi https://blog.hatena.ne.jp/kuwadgi/ 嫌われプログラミングの代弁者 https://kuwadgi.info/ 「広義の」が落ちぶれていく様 関数型プログラミングなどは、 関数という言葉を再定義し、 「広義の」とする事で、 見通しを良くしよう のでは無いかとポストモーテム的に思います。 しかし、 プログラミング言語の「関数」の定義の強固さに敗れ たとしか思えません。「テスト」も同様です。 プログラミングに絡む場合、「広義の」は敗れてすたこらさーとなるのが運命です。 「射」も同様では？ 確かに最初の定義（「構造保存写像を一般化した圏論上の概念である。」 射（圏論） Wikipedia 日本語版）では、 とても同格と言えない「原因→結果」の矢印も射といえそう ですが、数学的に取り扱う場合、 矢印の前と後の両… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkuwadgi.info%2Fentry%2F2026%2F05%2F23%2F085923" 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/20250627/20250627194114.png Hatena Blog https://hatena.blog 2026-05-23 08:59:23 rich https://kuwadgi.info/entry/2026/05/23/085923 1.0 100%