Development of a Functional Programming Language without Abstraction of Computing Resources

• Project/Area Number: 24K14894
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Review Section: Basic Section 60050:Software-related
• Research Institution: Niigata University
• Principal Investigator: 上野 雄大 新潟大学, 自然科学系, 准教授 (60551554)
• Project Period (FY): 2024-04-01 – 2029-03-31
• Project Status: Granted (Fiscal Year 2024)
• Budget Amount: ¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000); Fiscal Year 2028: ¥520,000 (Direct Cost: ¥400,000、Indirect Cost: ¥120,000); Fiscal Year 2027: ¥520,000 (Direct Cost: ¥400,000、Indirect Cost: ¥120,000); Fiscal Year 2026: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000); Fiscal Year 2025: ¥520,000 (Direct Cost: ¥400,000、Indirect Cost: ¥120,000); Fiscal Year 2024: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
• Keywords: 関数型言語 / コンパイラ / ガベージコレクション / 動的型付け / SML#

Outline of Research at the Start

本研究では、すでに広く実用化されているC言語などのように、最新の計算機ハードウェアの機能やソフトウェアの恩恵を直接享受できるような関数型言語を作ることを目指す。関数型言語が理論設計の段階から持っている仮定のうち現実の計算機システムとかけ離れているもの、なかでも「メモリは自動的に管理されること」および「プログラムの中にしかデータがないこと」に焦点を当て、関数型言語の特徴を保ちながら、それらの仮定を除去することを試みる。本研究の全成果はSML#コンパイラに実装し公開する予定である。