自作言語・コンパイラ・ランタイム作成の技術相談・設計レビュー（テキスト・非同期対応）

自作プログラミング言語の構文設計、AST構築、IR（中間表現）の設計、バイトコードVMや実行エンジンの実装、最適化に関する技術相談・コードレビューを受け付けます。

通話対応は行わず、MENTAメッセージやGitHubのIssue/PRを通じた非同期テキストでのやり取りのみとなります。時間拘束がないため、コードや仕様をじっくり読んだ上で回答します。

対応できる主な領域

• 言語仕様・構文設計
  • 文法定義（EBNF）、パース戦略（再帰下降、PEG、LALRなど）の選定
  • 型システム（静的/動的型付け、型推論、サブタイピング等）の設計方針
• コンパイラ基盤・IR設計
  • ASTの設計とトラバース
  • 中間表現（Three-Address Code、SSA形式、カスタムIRなど）の構造設計
  • 基本的な最適化パスの設計（定数畳み込み、デッドコード削除など）
• ランタイム・実行系
  • スタックマシン / レジスタマシンのVM実装
  • ガベージコレクション（Mark & Sweep、参照カウント等）の組み込み
  • C ABI連携（FFI）やJIT/ネイティブコード生成の方針整理

やり取りの形式（非同期のみ）

1. 仕様・コードの共有
   • リポジトリ（GitHubなど）や設計メモ、詰まっている点（ビルドエラー、パースの不具合、設計の迷い）を共有いただきます。
2. 調査・レビュー
   • いただいた内容を確認し、問題箇所の特定、設計の代替案、参考実装の提示などをテキストで返信します。
3. 追加質問・壁打ち
   • 回答に対する疑問点や追加の論点をテキストでやり取りします。

※ 即レスを保証するものではありませんが、原則24〜48時間以内に具体的に回答します。

向いている相談例

• 「言語処理系の本を読んで作っているが、型検査の実装で行き詰まった」
• 「独自IRを作りたいが、データ構造をどう持たせるべきか相談したい」
• 「自作VMのディスパッチ処理が遅いので、高速化のあたりをつけたい」
• 「仕様が複雑化してきたので、構文の整理や曖昧性の排除について意見がほしい」

※ 課題や代行実装（代わりにコードをゼロから全部書くこと）は受け付けていません。設計の壁打ちや、ご自身の実装を前に進めるための技術アドバイスとしてご利用ください。