SML# オープンコンパイラプロジェクト by 大堀 淳

関数型まつり2025
採択
2025/06/15 10:30〜
Track A
招待セッション50分
Intermediate 言語処理系 理論

SML# オープンコンパイラプロジェクト

AtsushiOhori 大堀 淳 AtsushiOhori
7

対象とする聴衆のレベル(該当するレベルを記載してください。)

  • Beginner
  • Intermediate: 分野の基礎知識を持っている

セッションのテーマ(該当するテーマを記載してください。なければ追加頂いて良いです)

  • 言語処理系(コンパイラー、インタープリターなど)
  • 理論
  • データベースプログラミング入門

セッションの概要

SML# は我々が開発しているML系関数型言語であり,そのコンパイラはMITライセンスによって公開されている.

本講演では,まずSML# の概要とその特徴的な機能,さらにその基礎となった理論を解説する.SML# 開発の最大の動機はSQLの関数型言語への統合であった.そこで本講演では,SQLによるデータベース問い合わせの基礎,及び,SQL統合を可能にしたレコード多相性の理論を解説し,その理解のもとSML# のSQL統合機能を紹介する.以上のSML# の紹介に続き,SML# コンパイラの内部構造を概説する.特に,ややわかりにくいコンパイラのスタートアップの流れを説明する.

以上の理解を背景に,SML# のソースコードを活かしたオープンなコンパイラプロジェクトを提案する.このプロジェクトは,

  • 種々の拡張等が可能な言語開発基盤の構築,
  • 新しい機能実現のための型理論の構築

などをオープンに共同で行うことを意図している.そのためにSML# チームは,SML# の内部構造やコンパイラの基礎理論等のノウハウや知識を提供したいと考えている.それ以上のオープンの意味は,今後の参加者に委ねられる.