三井 翔吾

型無しラムダ計算を基礎とした独自の関数型言語 Mogul のインタプリタです。 JavaScript で実装されており、ブラウザ上で動作します。 Mogul 言語は私が構文規則・仕様などを独自に決めている自作言語で。構文解析器・実行エンジン・インタプリタすべてを自分で実装しています。 型無しラムダ計算の初学者に向けて、トライアンドエラー可能な実行環境を提供する目的で作っている教育用のツールです。 ラムダ式の簡約過程をステップ毎に見ることができます。