kuwadgi https://blog.hatena.ne.jp/kuwadgi/ 嫌われプログラミングの代弁者 https://kuwadgi.info/ どの様な話？ 前に、プログラミング言語の中での関数は、 「⚫︎ー⚪︎」をプログラミングだとして、 ⚫︎を呼ぶ側、⚪︎を呼ばれる側だとすると、 関数はーだと 書きましたが、 関数は「ー⚪︎（ただし⚪︎の中身は考えない）」 でも良いのでは、と思いました。 いずれにしても、中身は考えないのが特徴だと思います。 語り得る？ すると、関数型プログラミングの立場では、プログラミングの中身は語り得ないのでは無いか？ と言う疑問が湧きます。 ウィトゲンシュタインは、その著書の論理哲学論考の中で、 複数の論理構造の間で、何が共有されているかを、言語によって語ることはできず、ただ、示すことしかできない。（論理哲学… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkuwadgi.info%2Fentry%2F2023%2F10%2F28%2F121900" title="語ることが出来ない　１ - 嫌われプログラミングの代弁者" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2023-10-28 12:19:00 rich https://kuwadgi.info/entry/2023/10/28/121900 1.0 100%