リサーチ
プログラミング言語とツールラボ
Relational Programming: miniKanren
miniKanren はリレーショナル (純粋な論理) プログラミングのパワーを汎用プログラミングにもたらす小さな組み込み言語のファミリーです。
miniKanren はリレーショナル (純粋な論理) プログラミングのパワーを汎用プログラミングにもたらす小さな組み込み言語のファミリーです。プロジェクトにおける現在の研究の方向性には、部分評価や関数変換など、パフォーマンスを改善するためのいくつかの技法が含まれています。部分評価は、ソースコードに静的なインスペクションを実行して変換することにより、リレーショナルプログラムの非効率性を排除できるようにします。また、パフォーマンスを改善するために、miniKanren の関数型プログラミング言語への変換にも取り組んでいます。