自由モノイドプログラミング言語の作成(MonIter バージョン1.2 仕様(1)) C# 形式のコードを変換する機能は作成できました。ここで、この言語を改造してモノイド的論理プログラミング言語(MonoLog)、モノイド的クロージャー調査用言語(MonoClosure)を作る計画…

自由モノイドプログラミング言語の作成(MonIter C#スタイル版 バージョン1.2 (3)) 構文解析の概要 (Roslyn API) - C# | Microsoft Learnのサンプルを参考にして構文木を調べます。 フィボナッチ数列の例 引数で渡すバージョン mon fib(int x, int y) => x & …

自由モノイドプログラミング言語の作成(MonIter C#スタイル版 バージョン1.2 (2)) フィボナッチ数列の例 フィボナッチ数列の例を遅延評価ができるように書き直すと以下のようになります。型 eint が使えるようにします。 using eint = System.Collections.Ge…

自由モノイドプログラミング言語の作成(MonIter C#スタイル版 バージョン1.2) このプログラミング言語はもともと自由モノイドを無限個の積に拡張したものをプログラミング言語の実装から定義しようとしたものなのですが、 有限個と無限個の積については定義…

自由モノイドプログラミング言語の作成(MonIter C#版 バージョン1.2) 「Roslyn for Scripting」で C# のコードを実行できるようになりました。これについては簡単な説明が書かれた文献が見つかりませんでした。【レポート】C#でスクリプト実行できる Roslyn …

自由モノイドプログラミング言語の作成(MonIter C#版 バージョン1.1) C# のコードを生成するために構文の要素を変更します。C# の関数の定義ではパラメーターに型を指定しなければならないのでその部分を変更します。全体の構文は同じです。以前 C# のコード…