Mere: 言語を作る

この連載について

Mere は小さな ML 系プログラミング言語です —— Hindley–Milner 型推論、代数的 データ型、パターンマッチ。それを積み上げて、最終的には自分自身をブラウザ上で 型検査・評価・コンパイルでき、4 つのバックエンド（ツリーウォーキング インタプリタ、 C、LLVM IR、WebAssembly）へコードを生成し、そのすべてで型安全な並行処理を走らせる ところまで作りました。

この連載は完成した言語のツアーではありません。意思決定の記録です —— 各要素が 何であり、どう作り、どんな課題が出て、どう解決したか。選択が本当の分岐だったときは、 取らなかった選択肢と、選んだ理由も物語の一部にします —— 「これはまだ作らない」 という答えだったときも含めて。

Mere の背後にある考え

ほぼすべての決定を貫く一つの信念があります：

正しさの検証可能性を最適化し、暗黙を明示にする。

具体的には：

• 暗黙は意図的に取り除く。 実行時の表現や挙動がひそかに変わるものは表に出す —— メモリの所有権、エフェクト、そして（後には）どの値がスレッド境界を越えられるか、 これらすべてが型に見える形になります。
• 妥協は避けられない。だから「どこで」を選ぶ。 どの設計ページも、妥協が無いふりを せず、自分が行っているトレードオフを名指しします。
• 記述量は許容する。 コードは AI の支援で書くので、「打鍵量が多い」ことはかつての ほどのコストではありません。おかげで、人間第一の言語なら簡潔さのために隠すところを、 明示的に設計できます。

これは賢さや速さの話ではありません。プログラムを見て、それが何をするか分かるため のものです。

各要素をどう決めたか

プロジェクト全体を貫き、ほぼ毎回登場するパターンがあります：

1. 紙上 trial —— コミットする前に、設計を紙の上で（そしてしばしば使い捨ての プロトタイプで）考え抜く。
2. 未決事項を構造化する —— 決めきれない論点は Q-### として立て、意図的に open のままにする。実装が答えを迫った時点で決める。
3. dogfooding —— 実際のプログラムをツールチェインに通し、設計文書では見えない 問題を炙り出す。

全体のアーク

• 土台 —— 思想、母言語に OCaml を選ぶこと、動く最小 ML コア。
• メモリ —— 5 つの戦略を、Trivial / Drop / with を伴う統一された リージョン/ビューモデルへ蒸留する。
• エフェクト —— 隠れた環境状態ではなく、能力（capability）として受け渡す副作用と、 細分化された借用注釈。
• コード生成 —— 一つの言語、4 つのバックエンドを歩調をそろえて保つ。
• セルフホスト —— Mere 自身の字句解析器・構文解析器・整形器・評価器・型検査器・ コード生成器を Mere で書き、ブラウザで動かす。
• 並行処理 —— spawn / チャネル / par_map を Send / Sync の型安全とともに、 すべてのバックエンドで。
• これから —— そして同じくらい大事な、意図的に作らなかったもの。

どこから読んでも構いませんが、各パートはおおむねこの順で積み上がっています。