論理学の考え方で、 関数型プログラミング言語の定義&実装の仕方の例に触発されて、 深夜アニメを見ながら OCamlでつくられた、 脱関数型プログラミング言語 obake (おばけ)を紹介します。 関数型言語とかは前世紀に置いていって、21世紀は論理学を基にした新しいプログラミングパラダイムで脱関数型言語しましょう! break world 「Hello, world!」を書こうと思ったのですが、あまりに難しいので最初はすぐ停止するプログラムです。プログラムは「命令」からできていて、命令は2つの要素、「値」と「計算」の組み合わせです。 「命令」 = 「値」 + 「計算」 breakは組み込み「計算」になります。これだけでは「命令」にはならないので、プログラム起動時に自動的に「現実世界」という「値」が設定されて、「命令」が作られます。値を組み合わせることによって
![論理学の考え方でつくられた、LLプログラミング言語 obake - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/cba2e8daceb400b3231cfd3b9aa63786edb76a9d/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-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTkxNiZoPTMzNiZ0eHQ9JUU4JUFCJTk2JUU3JTkwJTg2JUU1JUFEJUE2JUUzJTgxJUFFJUU4JTgwJTgzJUUzJTgxJTg4JUU2JTk2JUI5JUUzJTgxJUE3JUUzJTgxJUE0JUUzJTgxJThGJUUzJTgyJTg5JUUzJTgyJThDJUUzJTgxJTlGJUUzJTgwJTgxTEwlRTMlODMlOTclRTMlODMlQUQlRTMlODIlQjAlRTMlODMlQTklRTMlODMlOUYlRTMlODMlQjMlRTMlODIlQjAlRTglQTglODAlRTglQUElOUUlMjBvYmFrZSZ0eHQtY29sb3I9JTIzMjEyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTU2JnR4dC1jbGlwPWVsbGlwc2lzJnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnM9MjY0YjQ1YmUxMjBhOTY2ZWUxODg4ZDE0MzdiNzU4NzQ%26mark-x%3D142%26mark-y%3D112%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTYxNiZ0eHQ9JTQwa2lreCZ0eHQtY29sb3I9JTIzMjEyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTM2JnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnM9ZDFmNGUwYWMyODg4YzY4OGNiM2RiMmZiMmZmNjA5OGE%26blend-x%3D142%26blend-y%3D491%26blend-mode%3Dnormal%26s%3D952a173c9ac3c67dbf339d23a0bfd32b)