自由モノイドのイテレーター(24)

自由モノイドプログラミング言語の作成(MonIter バージョン1.2 仕様(8))

構文要素に対応するクラス(DomainFunction クラス：関数(引数は数値)の呼び出し)

    /// <summary>
    /// 関数(引数は数値)の呼び出しを表すクラス：関数名・関数の引数(数値)のリストで構成されます。
    /// </summary>
    internal class DomainFunction : Term
    {
        /// <summary>
        /// 関数名
        /// </summary>
        private readonly Identifier name;
        /// <summary>
        /// 関数の引数(数値)のリスト
        /// </summary>
        private readonly IEnumerable<DomainExpression> list;
        public DomainFunction(Identifier name, IEnumerable<DomainExpression> list)
        {
            this.name = name;
            this.list = list;
        }
        /// <summary>
        /// 式を評価して無限自由モノイドの値を取得します。
        /// </summary>
        /// <param name="env">引数の値が記録されています。</param>
        /// <param name="prog">構文木の全体。関数の定義をここから取得します。</param>
        /// <returns>式の値(無限自由モノイド)</returns>
        public FreeMonoid<int> Eval(Env<FreeMonoidUnion> env, Prog prog)
        {
            Definition? definition = prog.FindDefinition(name.Name);
            if (definition == null)
            {
                // 定義されていなかったとき
                return FreeMonoid<int>.Zero;
            }
            else
            {
                IEnumerable<string> namelist = definition.ParamList.Select(x => x.Name);
                IEnumerable<Number> valuelist = list.Select(x => x.Eval(env));
                IEnumerable<FreeMonoidUnion> unionlist = valuelist.Select(x => new FreeMonoidUnion(x));
                env = env.DefineList(namelist, unionlist);
                return definition.Exp.Eval(env, prog);
            }
        }
        /// <summary>
        /// 式を MonIter のコードの文字列に変換して取得します。
        /// </summary>
        /// <returns>MonIter のコードの文字列</returns>
        public string Print()
        {
            string prms = string.Join(", ", list.Select(x => x.Print()));
            return $"{name.Print()}({prms})";
        }
        /// <summary>
        /// 式を Python のコードの文字列に変換して取得します。
        /// </summary>
        /// <param name="yieldp">yield を表示するかどうか</param>
        /// <param name="typep">型名を表示するかどうか</param>
        /// <param name="indp">インデントを表示するかどうか</param>
        /// <param name="indcount">インデントの個数</param>
        /// <param name="perf">式のステートメントの文字列を変換する関数</param>
        /// <returns>Python のコードの文字列</returns>
        public string GeneratePython(bool yieldp, bool typep, bool indp, int indcount, Func<string, string> perf)
        {
            if (yieldp)
            {
                return $"yield from {name.Print()}(" + Prog.ListGeneratePython(false, typep, false, indcount, perf, ", ", list) + ")";
            }
            else
            {
                return $"{name.Print()}(" + Prog.ListGeneratePython(false, typep, false, indcount, perf, ", ", list) + ")";
            }
        }
        /// <summary>
        /// 式を C# のコードの文字列に変換して取得します。
        /// </summary>
        /// <param name="yieldp">yield return を表示するかどうか</param>
        /// <param name="typep">型名を表示するかどうか</param>
        /// <param name="indp">インデントを表示するかどうか</param>
        /// <param name="indcount">インデントの個数</param>
        /// <param name="perf">式のステートメントの文字列を変換する関数</param>
        /// <returns>C# のコードの文字列</returns>
        public string GenerateCS(bool yieldp, bool typep, bool indp, int indcount, Func<string, string> perf)
        {
            if (yieldp)
            {
                return $"foreach (int e in {name.Print()}(" + Prog.ListGenerateCS(false, typep, false, indcount, perf, ", ", list) + $"))\r\n" + Prog.GenerateCSBlock(indcount, true, "yield return e;\r\n");
            }
            else
            {
                return $"{name.Print()}(" + Prog.ListGenerateCS(false, typep, false, indcount, perf, ", ", list) + ")";
            }
        }
    }

Rustで作るプログラミング言語 —— コンパイラ／インタプリタの基礎からプログラミング言語の新潮流まで

初等整数論入門 (ちくま学芸文庫)

オイラーとリーマンのゼータ関数 シリーズ ゼータの現在

可換環論の勘どころ (数学のかんどころ 32)

集合と位相(増補新装版)(数学シリーズ)

新版 集合と位相 そのまま使える答えの書き方 (KS理工学専門書)