① マルチランタイム言語
OCaml・Python・ブラウザ JS で同一意味論を実装。アクター＋スケジューラ＋ビルトイン。
AIPL とは
AIPL（Actor-based Intelligent Parallel Language）は、研究用に設計された アクターモデルの並列言語です。3 つの柱で構成されています。
② 次世代言語予測（AICE）
MAP-Elites GA が .aice 仕様から普遍的な言語設計軸を経験的に導出。
③ セルフホスト
AIPL 自身が AIPL を解析・型検査・評価・スケジュール（Level A → C-3、37/37 smoke）。
主な機能
型安全
注釈・ユニオン・ジェネリクス・長さ付き配列。HM スタイルの推論（OCaml infer.ml）。
能力エフェクト
!{fs, ai, net, mut} による副作用の静的追跡。
CSP チャネル
要素型付きチャネルでアクター間通信を構造化。
線形・所有
use-after-move 検出と pub 可視性による所有モデル。
構造化並行
scope { future ... } による自動 join と線形 future ハンドル。
クロス言語アクター
Python アクター ⇄ OCaml アクターを共通 HTTP ワイヤ形式で相互呼び出し。
実装フェーズ
| Phase | 機能 |
|---|---|
| 11 | 型注釈 / ユニオン / ジェネリクス / 長さ付き配列 |
| 12 | 能力エフェクト !{fs,ai,net,mut} |
| 13 | CSP チャネル |
| 14 | 線形 / use-after-move |
| 15 | 所有（pub 可視性） |
| 16 | any 境界での transient cast |
| 17 | 構造化並行 scope { future ... } |
このサイトの技術スタック
Node.js
Express
MongoDB Atlas
Heroku
フロントは静的 HTML/CSS、バックエンドは Express。訪問カウンターは MongoDB Atlas に保存され、Atlas 接続の疎通確認も兼ねています。