プログラミング言語が2-圏として考えられるということについてソースから訳出した。(2023.2.22) 動機 最近、chatGPTにいろいろ尋ねるのが流行っているらしい。Haskellで有名なモナドの概念がなぜ導入されたか尋ねている人を見かけて、そういやそういう記事見たことないなと思ったので適当に調べた。 一次ソース 元ネタは以下のマイナーだと思われる文献 An abstract view of programming languages Eugenio Moggi教授のあんま読まれてない方の論文 Denotational Semantics Peter D. Mosses教授のこの論文(2部あって後半の方) 邦訳があり邦訳で読んだ。 プログラミングのモナド発見の経緯 プログラミングのモナドはなんか包んだり抜き出したり見たいな感じの概念で知られてますが、プログラミングの概念をモジュール化す
![【追記あり】ChatGPTじゃなくて人力でモナドが発明された経緯を適当に調べた(ソース付き)。 - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/2f3aab5649fe0454363e9fc2ee7bf7e7ced139ae/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-9f5428127621718a910c8b63951390ad.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTkxNiZoPTMzNiZ0eHQ9JUUzJTgwJTkwJUU4JUJGJUJEJUU4JUE4JTk4JUUzJTgxJTgyJUUzJTgyJThBJUUzJTgwJTkxQ2hhdEdQVCVFMyU4MSU5OCVFMyU4MiU4MyVFMyU4MSVBQSVFMyU4MSU4RiVFMyU4MSVBNiVFNCVCQSVCQSVFNSU4QSU5QiVFMyU4MSVBNyVFMyU4MyVBMiVFMyU4MyU4QSVFMyU4MyU4OSVFMyU4MSU4QyVFNyU5OSVCQSVFNiU5OCU4RSVFMyU4MSU5NSVFMyU4MiU4QyVFMyU4MSU5RiVFNyVCNSU4QyVFNyVCNyVBRiVFMyU4MiU5MiVFOSU4MSVBOSVFNSVCRCU5MyVFMyU4MSVBQiVFOCVBQSVCRiVFMyU4MSVCOSVFMyU4MSU5RiVFRiVCQyU4OCVFMyU4MiVCRCVFMyU4MyVCQyVFMyU4MiVCOSVFNCVCQiU5OCVFMyU4MSU4RCVFRiVCQyU4OSVFMyU4MCU4MiZ0eHQtY29sb3I9JTIzMjEyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTU2JnR4dC1jbGlwPWVsbGlwc2lzJnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnM9ZDcyMTNlNmU3YTE3ODYzMjg0M2Y3MzlmMjlhZGMzYTg%26mark-x%3D142%26mark-y%3D112%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTcxNiZ0eHQ9JTQwaUhka3omdHh0LWNvbG9yPSUyMzIxMjEyMSZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT0zMiZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZzPTMyYmIyZjhmOGFiYjE1NGEyZTgyMTY3YmUxM2ZlYTRl%26blend-x%3D142%26blend-y%3D491%26blend-mode%3Dnormal%26s%3D4c22e5875f80f6af23b8a621afc679c3)