NEPLg2.1 Trait システム仕様

最終更新: 2026-03-27

1. 設計原則

let Eq trait:
    let eq %fn Self fn Self bool \a \b ...

let i32 impl for Eq:
    let eq %fn i32 fn i32 bool \a \b i32_eq a b

trait 境界の詳細構文は今後も調整がありうるが、関数型そのものは fn A B 形式へ揃える。

let sort .T: Ord %fn Vec .T Vec .T \v ...

複数引数ならカリー化して書く。

let merge .T %fn Vec .T fn Vec .T Vec .T
    where .T: Ord
    \a \b ...

この設計自体は維持し、表記のみ新構文へ追従させる。

Core 層と Casual 層を別モジュールに分け、同じ bare 名を使い分ける設計は維持する。

use core::collections::vec as *
get vec proof

use std::collections::vec as *
get vec 3

where 節や trait 境界を満たさない候補を落とす。

let x %Option i32 get vec idx
let y %i32 get vec idx

core::vec::get vec proof
std::vec::get vec 3

ここで修飾名で解決できるのは bare 名の候補集合 の曖昧性だけである。impl Eq for i32 のような同一 (trait, target type) への重複 impl は Coherence 違反であり、修飾名では解決できない。

compiler.md で言及している次の capability trait は、現時点ではコア構文として凍結していない将来拡張である。

これらは Resource IR 導入後のメモリ API / 解放 API を trait 境界で表す候補であり、本章では名前と役割だけを予約する。stdlib.md の trait 一覧でも将来導入候補として同じ位置づけで扱う。